version 1.101, 1999/12/26 10:37:43 |
version 1.117, 1999/12/30 14:21:34 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.100 1999/12/26 10:34:17 ohara Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.116 1999/12/29 09:21:34 tam Exp $ |
|
|
\usepackage{jssac} |
\usepackage{jssac} |
|
|
Line 49 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤ |
|
Line 49 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤ |
|
¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤òÍѤ¤¤¿¼ÂÁõ¤Ë½àµò¤·¤ÆOpenXM ¤ÎÀâÌÀ¤ò¤¹¤ë. |
¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤òÍѤ¤¤¿¼ÂÁõ¤Ë½àµò¤·¤ÆOpenXM ¤ÎÀâÌÀ¤ò¤¹¤ë. |
|
|
|
|
\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} |
\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}\label{sec:messages} |
|
|
ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë. ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤Î¾ì¹ç |
ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë. ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤Î¾ì¹ç |
¤Ë¤Ä¤¤¤Æ¤Î¤ßÀâÌÀ¤ò¹Ô¤Ê¤¦. |
¤Ë¤Ä¤¤¤Æ¤Î¤ßÀâÌÀ¤ò¹Ô¤Ê¤¦. |
Line 153 OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ |
|
Line 153 OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ |
|
|
|
¤Þ¤º, OpenXM µ¬Ìó¤ÏÄÌ¿®»þ¤Ë¤ä¤ê¤È¤ê¤µ¤ì¤ë¶¦Ä̤Υǡ¼¥¿·Á¼°¤Ë¤Ä¤¤¤Æ¤Ïµ¬Äê |
¤Þ¤º, OpenXM µ¬Ìó¤ÏÄÌ¿®»þ¤Ë¤ä¤ê¤È¤ê¤µ¤ì¤ë¶¦Ä̤Υǡ¼¥¿·Á¼°¤Ë¤Ä¤¤¤Æ¤Ïµ¬Äê |
¤¹¤ë¤¬, OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤¬¥¹¥¿¥Ã¥¯¤ËÀѤà, ¥ª¥Ö¥¸¥§¥¯¥È¤Î¹½Â¤¤Þ¤Ç¤Ï |
¤¹¤ë¤¬, OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤¬¥¹¥¿¥Ã¥¯¤ËÀѤà, ¥ª¥Ö¥¸¥§¥¯¥È¤Î¹½Â¤¤Þ¤Ç¤Ï |
<<<<<<< genkou19991125.tex |
|
µ¬Äꤷ¤Ê¤¤. ¤Ä¤Þ¤ê, ¥ª¥Ö¥¸¥§¥¯¥È¤Î¹½Â¤¤Ï³Æ¿ô³Ø¥·¥¹¥Æ¥à¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤¤ë |
|
¤È¤¤¤¦¤³¤È¤Ç¤¢¤ë. ¤³¤Î¤³¤È¤ÏÄÌ¿®Ï©¤«¤é¥Ç¡¼¥¿¤ò¼õ¤±¼è¤Ã¤¿ºÝ¤Ë, ³Æ¿ô³Ø¥·¥¹ |
|
¥Æ¥à¤¬¸ÇͤΥǡ¼¥¿¹½Â¤¤ËÊÑ´¹¤·¤Æ¤«¤é¥¹¥¿¥Ã¥¯¤ËÀѤळ¤È¤ò°ÕÌ£¤¹¤ë. ¤³¤ÎÊÑ |
|
´¹¤Ï1ÂÐ1Âбþ¤Ç¤¢¤ëɬÍפϤʤ¤. |
|
¤·¤«¤·, ÊÑ´¹ÊýË¡¤Ï¤¢¤¤¤Þ¤¤¤µ¤¬¤Ê¤¤¤è¤¦¤Ëʸ½ñ²½¤µ¤ì¤Æ¤¤¤ëɬÍפ¬¤¢¤ë. |
|
¸å½Ò¤¹¤ë OpenMath ¤Ç¤Ï¤³¤Îʸ½ñ¤ò phrase dictionary ¤È¸Æ¤ó¤Ç¤¤¤ë. |
|
|
|
¼¡¤Ë OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ÎÌ¿Îᥳ¡¼¥É¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë. OpenXM ¥¹¥¿¥Ã¥¯ |
|
¥Þ¥·¥ó¤Ë¤ª¤±¤ë¤¹¤Ù¤Æ¤ÎÌ¿Îá¤Ï4¥Ð¥¤¥È¤ÎŤµ¤ò»ý¤Ä. OpenXM µ¬Ìó¤Î¾¤Îµ¬Äê¤È |
|
ƱÍͤË, 4¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤Ï32¥Ó¥Ã¥ÈÀ°¿ô¤È¸«¤Ê¤µ¤ì¤ë¤Î¤Ç, ¤³¤ÎÏÀʸ¤Ç¤â¤½¤Î |
|
ɽµ¤Ë¤·¤¿¤¬¤¦. OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤Ï¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¤³ |
|
¤È¤Ï¤Ê¤¤. ¸½ºß¤Î¤È¤³¤í, OpenXM µ¬Ìó¤Ç¤Ï°Ê²¼¤ÎÌ¿Î᤬ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. |
|
======= |
|
µ¬Äꤷ¤Ê¤¤. ¤Ä¤Þ¤ê, ¥ª¥Ö¥¸¥§¥¯¥È¤Î¹½Â¤¤Ï³Æ¿ô³Ø¥·¥¹¥Æ¥à¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤ |
µ¬Äꤷ¤Ê¤¤. ¤Ä¤Þ¤ê, ¥ª¥Ö¥¸¥§¥¯¥È¤Î¹½Â¤¤Ï³Æ¿ô³Ø¥·¥¹¥Æ¥à¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤ |
¤ë¤È¤¤¤¦¤³¤È¤Ç¤¢¤ë. ¤³¤Î¤³¤È¤ÏÄÌ¿®Ï©¤«¤é¥Ç¡¼¥¿¤ò¼õ¤±¼è¤Ã¤¿ºÝ¤Ë, ³Æ¿ô³Ø |
¤ë¤È¤¤¤¦¤³¤È¤Ç¤¢¤ë. ¤³¤Î¤³¤È¤ÏÄÌ¿®Ï©¤«¤é¥Ç¡¼¥¿¤ò¼õ¤±¼è¤Ã¤¿ºÝ¤Ë, ³Æ¿ô³Ø |
¥·¥¹¥Æ¥à¤¬¸ÇͤΥǡ¼¥¿¹½Â¤¤ËÊÑ´¹¤·¤Æ¤«¤é¥¹¥¿¥Ã¥¯¤ËÀѤळ¤È¤ò°ÕÌ£¤¹¤ë. |
¥·¥¹¥Æ¥à¤¬¸ÇͤΥǡ¼¥¿¹½Â¤¤ËÊÑ´¹¤·¤Æ¤«¤é¥¹¥¿¥Ã¥¯¤ËÀѤळ¤È¤ò°ÕÌ£¤¹¤ë. |
Line 181 OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ |
|
Line 167 OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ |
|
Äê¤ÈƱÍͤË, 4 ¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤Ï32¥Ó¥Ã¥ÈÀ°¿ô¤È¸«¤Ê¤µ¤ì¤ë¤Î¤Ç, ¤³¤ÎÏÀʸ¤Ç¤â |
Äê¤ÈƱÍͤË, 4 ¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤Ï32¥Ó¥Ã¥ÈÀ°¿ô¤È¸«¤Ê¤µ¤ì¤ë¤Î¤Ç, ¤³¤ÎÏÀʸ¤Ç¤â |
¤½¤Îɽµ¤Ë¤·¤¿¤¬¤¦. OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤Ï¥¹¥¿¥Ã¥¯¤ËÀѤޤì |
¤½¤Îɽµ¤Ë¤·¤¿¤¬¤¦. OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤Ï¥¹¥¿¥Ã¥¯¤ËÀѤޤì |
¤ë¤³¤È¤Ï¤Ê¤¤. ¸½ºß¤Î¤È¤³¤í, OpenXM µ¬Ìó¤Ç¤Ï°Ê²¼¤ÎÌ¿Î᤬ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. |
¤ë¤³¤È¤Ï¤Ê¤¤. ¸½ºß¤Î¤È¤³¤í, OpenXM µ¬Ìó¤Ç¤Ï°Ê²¼¤ÎÌ¿Î᤬ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. |
>>>>>>> 1.100 |
|
|
|
\begin{verbatim} |
\begin{verbatim} |
#define SM_popSerializedLocalObject 258 |
#define SM_popSerializedLocalObject 258 |
Line 466 OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content |
|
Line 451 OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content |
|
¤Þ¤¿, ¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸ÇͤΥª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath |
¤Þ¤¿, ¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸ÇͤΥª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath |
µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍѤ¤¤Æ¤¤¤ë. |
µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍѤ¤¤Æ¤¤¤ë. |
|
|
|
|
\item NetSolve |
\item NetSolve |
|
|
http://www.cs.utk.edu/netsolve/ |
http://www.cs.utk.edu/netsolve/ |
Line 477 NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, |
|
Line 463 NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, |
|
¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹. ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë. ¸½ºß |
¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹. ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë. ¸½ºß |
¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë. |
¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë. |
|
|
\item MP (Multi Protocol) |
|
|
|
|
\item MP (Multi Project) |
|
|
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
|
|
²Ê³Øµ»½Ñ·×»»¤ò¹Ô¤Ê¤¦¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤ò¸úΨŪ¤Ë |
¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Î¶¦ÄÌɽ¸½¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È. MP ¤Î¼ç¤Ê´Ø¿´¤Ï, ¤³¤Î |
¸ò´¹¤µ¤»¤ë¤³¤È¤òÌÜŪ¤È¤·¤¿¥×¥í¥È¥³¥ë¤òºîÀ®¤·¤Æ¤¤¤ë. |
¶¦ÄÌɽ¸½¤ÎºÇŬ²½¤Ç¤¢¤ë. ¿ô³Ø¥·¥¹¥Æ¥à´Ö¤Ç, Ì¿Îá¤òÁ÷¿®¤·¤¿¤ê¥Ç¡¼¥¿¤ò¼õ |
³Æ¥Î¡¼¥É¤Ë¾ðÊó¤òÉղä·¤¿ÌÚ¹½Â¤ ``annotated syntax tree'' ¤ò |
¤±ÅϤ¹»ÅÁȤß(control integration)¤Ï, ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë. |
ÍѤ¤¤Æ¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤òɽ¸½¤·, ¸úΨŪ¤Ê¥Ç¡¼¥¿¸ò´¹¤ò |
MP ¤Ï´û¸¤Î contorl integration ¤ËÂФ·¤ÆÊ䴰ŪÌò³ä¤ò²Ì¤¿¤¹. |
¹Ô¤Ê¤¦¤³¤È¤òÌÜɸ¤Ë¤·¤Æ¤¤¤ë. |
|
¸½ºß¤¹¤Ç¤Ë C ¸À¸ì¤ÇÍøÍѲÄǽ¤Ê¥é¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤¤¤ë. |
|
|
|
|
MP ¤Ç¤Ï¿ô¼°¤ò¹½Ê¸Ìڤΰì¼ï(annotated syntax tree)¤Èª¤¨¤ë. annotated |
|
syntax tree ¤Ë¤Ï¿ô³ØŪ¤Ê°ÕÌ£¤òÊݤ俤ޤÞɽ¸½¤µ¤ì¤Æ¤¤¤ë¤È¤¤¤¦ÆÃħ¤¬¤¢¤ë |
|
(¤³¤ÎÅÀ¤Ï OpenMath ¤È»÷¤Æ¤¤¤ë). MP ¤¬Ä󶡤¹¤ë¶¦ÄÌɽ¸½¤È¤Ï, ¤³¤Î¹½Ê¸ÌڤΠ|
|
¥Ð¥¤¥Ê¥ê¥¨¥ó¥³¡¼¥Ç¥£¥ó¥°, ¤Ä¤Þ¤ê¥Ð¥¤¥ÈÎó¤Ç¤Îɽ¸½¤Î¤³¤È¤Ç¤¢¤ë. MP ¤ÎÄêµÁ |
|
¤¹¤ëɽ¸½¤Ç¤Ï¥Ð¥¤¥ÈÎó¤ÎŤµ¤¬ºÇŬ²½¤µ¤ì¤Æ¤¤¤ë. ¤Þ¤¿, ¥Ð¥¤¥È¥ª¡¼¥À¡¼¤ÎÁª |
|
Âò¤â²Äǽ¤Ç¤¢¤ë(\ref{sec:messages} ÀỲ¾È¤Î¤³¤È). |
|
|
|
¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ç¤Ï C ¸À¸ì¤ª¤è¤Ó GNU Common Lisp ¤Ç¼ÂÁõ¤ò¹Ô¤Ê¤Ã¤Æ¤¤¤ë. |
|
C ¸À¸ì¤Ë¤è¤ë¼ÂÁõ(MP-C ¥é¥¤¥Ö¥é¥ê)¤Ï¾åµ¤Î¥¦¥§¥Ö¥Ú¡¼¥¸¤«¤é¼ýÆÀ²Äǽ¤Ç¤¢¤ë. |
|
¤³¤Î¥é¥¤¥Ö¥é¥ê¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤Ê¤¦¤Ë¤Ï, ¤Ê¤ó¤é¤«¤Î control integration |
|
¤¬É¬ÍפǤ¢¤ë. control integration ¤È¤·¤Æ¤Ï, ¥½¥±¥Ã¥È, MPI, PVM ¤Ê¤É¤¬Íø |
|
ÍѤǤ¤ë. |
|
|
\item MCP (Mathematical Computation Protocol) |
\item MCP (Mathematical Computation Protocol) |
|
|
http://horse.mcs.kent.edu/\~{}pwang/ |
http://horse.mcs.kent.edu/\~{}pwang/ |
|
|
¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð |
¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼ |
¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò¹Ô¤Ê¤¦. ¸ò |
¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë. ¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ |
´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³Ø |
¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á |
Ū¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenXM ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë. ¼ÂºÝ, ¿ô |
¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤¤ë. ¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath |
³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î |
¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. |
´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. ¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë |
¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤ò |
OpenMath ·Á¼°¤Ç¿ô¼°¤òµ½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç¤¢¤ë. |
µ½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç¤¢¤ë. |
|
|
\end{itemize} |
\end{itemize} |
|
|