=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.101 retrieving revision 1.115 diff -u -p -r1.101 -r1.115 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/26 10:37:43 1.101 +++ OpenXM/doc/Attic/genkou19991125.tex 1999/12/28 18:47:12 1.115 @@ -1,6 +1,6 @@ \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.114 1999/12/28 14:53:40 tam Exp $ \usepackage{jssac} @@ -153,20 +153,6 @@ OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ ¤Þ¤º, OpenXM µ¬Ìó¤ÏÄÌ¿®»þ¤Ë¤ä¤ê¤È¤ê¤µ¤ì¤ë¶¦Ä̤Υǡ¼¥¿·Á¼°¤Ë¤Ä¤¤¤Æ¤Ïµ¬Äê ¤¹¤ë¤¬, OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤¬¥¹¥¿¥Ã¥¯¤ËÀѤà, ¥ª¥Ö¥¸¥§¥¯¥È¤Î¹½Â¤¤Þ¤Ç¤Ï -<<<<<<< genkou19991125.tex -µ¬Äꤷ¤Ê¤¤. ¤Ä¤Þ¤ê, ¥ª¥Ö¥¸¥§¥¯¥È¤Î¹½Â¤¤Ï³Æ¿ô³Ø¥·¥¹¥Æ¥à¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤¤ë -¤È¤¤¤¦¤³¤È¤Ç¤¢¤ë. ¤³¤Î¤³¤È¤ÏÄÌ¿®Ï©¤«¤é¥Ç¡¼¥¿¤ò¼õ¤±¼è¤Ã¤¿ºÝ¤Ë, ³Æ¿ô³Ø¥·¥¹ -¥Æ¥à¤¬¸ÇÍ­¤Î¥Ç¡¼¥¿¹½Â¤¤ËÊÑ´¹¤·¤Æ¤«¤é¥¹¥¿¥Ã¥¯¤ËÀѤळ¤È¤ò°ÕÌ£¤¹¤ë. ¤³¤ÎÊÑ -´¹¤Ï1ÂÐ1Âбþ¤Ç¤¢¤ëɬÍפϤʤ¤. -¤·¤«¤·, ÊÑ´¹ÊýË¡¤Ï¤¢¤¤¤Þ¤¤¤µ¤¬¤Ê¤¤¤è¤¦¤Ëʸ½ñ²½¤µ¤ì¤Æ¤¤¤ëɬÍפ¬¤¢¤ë. -¸å½Ò¤¹¤ë OpenMath ¤Ç¤Ï¤³¤Îʸ½ñ¤ò phrase dictionary ¤È¸Æ¤ó¤Ç¤¤¤ë. - -¼¡¤Ë OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ÎÌ¿Îᥳ¡¼¥É¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë. OpenXM ¥¹¥¿¥Ã¥¯ -¥Þ¥·¥ó¤Ë¤ª¤±¤ë¤¹¤Ù¤Æ¤ÎÌ¿Îá¤Ï4¥Ð¥¤¥È¤ÎŤµ¤ò»ý¤Ä. OpenXM µ¬Ìó¤Î¾¤Îµ¬Äê¤È -ƱÍͤË, 4¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤Ï32¥Ó¥Ã¥ÈÀ°¿ô¤È¸«¤Ê¤µ¤ì¤ë¤Î¤Ç, ¤³¤ÎÏÀʸ¤Ç¤â¤½¤Î -ɽµ­¤Ë¤·¤¿¤¬¤¦. OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤Ï¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¤³ -¤È¤Ï¤Ê¤¤. ¸½ºß¤Î¤È¤³¤í, OpenXM µ¬Ìó¤Ç¤Ï°Ê²¼¤ÎÌ¿Î᤬ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. -======= µ¬Äꤷ¤Ê¤¤. ¤Ä¤Þ¤ê, ¥ª¥Ö¥¸¥§¥¯¥È¤Î¹½Â¤¤Ï³Æ¿ô³Ø¥·¥¹¥Æ¥à¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤ ¤ë¤È¤¤¤¦¤³¤È¤Ç¤¢¤ë. ¤³¤Î¤³¤È¤ÏÄÌ¿®Ï©¤«¤é¥Ç¡¼¥¿¤ò¼õ¤±¼è¤Ã¤¿ºÝ¤Ë, ³Æ¿ô³Ø ¥·¥¹¥Æ¥à¤¬¸ÇÍ­¤Î¥Ç¡¼¥¿¹½Â¤¤ËÊÑ´¹¤·¤Æ¤«¤é¥¹¥¿¥Ã¥¯¤ËÀѤळ¤È¤ò°ÕÌ£¤¹¤ë. @@ -181,7 +167,6 @@ OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ Äê¤ÈƱÍͤË, 4 ¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤Ï32¥Ó¥Ã¥ÈÀ°¿ô¤È¸«¤Ê¤µ¤ì¤ë¤Î¤Ç, ¤³¤ÎÏÀʸ¤Ç¤â ¤½¤Îɽµ­¤Ë¤·¤¿¤¬¤¦. OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤Ï¥¹¥¿¥Ã¥¯¤ËÀÑ¤Þ¤ì ¤ë¤³¤È¤Ï¤Ê¤¤. ¸½ºß¤Î¤È¤³¤í, OpenXM µ¬Ìó¤Ç¤Ï°Ê²¼¤ÎÌ¿Î᤬ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. ->>>>>>> 1.100 \begin{verbatim} #define SM_popSerializedLocalObject 258 @@ -466,6 +451,7 @@ OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content ¤Þ¤¿, ¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸ÇÍ­¤Î¥ª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍѤ¤¤Æ¤¤¤ë. + \item NetSolve http://www.cs.utk.edu/netsolve/ @@ -477,27 +463,37 @@ NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, ¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹. ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë. ¸½ºß ¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë. -\item MP (Multi Protocol) +\item MP (Multi Project) + http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html -²Ê³Øµ»½Ñ·×»»¤ò¹Ô¤Ê¤¦¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤ò¸úΨŪ¤Ë -¸ò´¹¤µ¤»¤ë¤³¤È¤òÌÜŪ¤È¤·¤¿¥×¥í¥È¥³¥ë¤òºîÀ®¤·¤Æ¤¤¤ë. -³Æ¥Î¡¼¥É¤Ë¾ðÊó¤òÉղä·¤¿ÌÚ¹½Â¤ ``annotated syntax tree'' ¤ò -ÍѤ¤¤Æ¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤òɽ¸½¤·, ¸úΨŪ¤Ê¥Ç¡¼¥¿¸ò´¹¤ò -¹Ô¤Ê¤¦¤³¤È¤òÌÜɸ¤Ë¤·¤Æ¤¤¤ë. -¸½ºß¤¹¤Ç¤Ë C ¸À¸ì¤ÇÍøÍѲÄǽ¤Ê¥é¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤¤¤ë. +¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤È¥Ð¥¤¥ÈÎó¤Ø¤ÎÊÑ´¹ÊýË¡¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È. +¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ç¤Ï, ¿ô³Ø¥½¥Õ¥È´Ö¤Ç¿ô³Ø¥Ç¡¼¥¿¤ò¤ä¤ê¤È¤ê¤¹¤ëºÝ¤Î +¥Ð¥¤¥Ê¥êɽ¸½¤òµ¬Äꤷ¤Æ¤¤¤ë. +MP ¤Ï¿ô¼°¤ò¹½Ê¸Ìڤΰì¼ï¤Çɽ¤·¤Æ¤ª¤ê, OpenMath ¤ÈƱÍÍ, +°Û¤Ê¤ë¼ïÎà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤Ç°Û¤Ê¤ë¥ª¥Ö¥¸¥§¥¯¥È¤Ë¼è¤ê°ã¤¨¤é¤ì¤Ê¤¤¤è¤¦, +¾ðÊó¤òÉղäǤ­¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë. +¤Þ¤¿, ÊÑ´¹¤µ¤ì¤¿¥Ç¡¼¥¿¤Ï¥Ç¡¼¥¿Ä¹¤¬¾®¤µ¤¯¤Ê¤ë¤è¤¦¹Í褵¤ì¤Æ¤ª¤ê, +¥Õ¥¡¥¤¥ë ¤ä TCP/IP Åù¤ËÆɤ߽ñ¤­¤¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë. +¤·¤«¤·, ¤³¤ì¤é¤Ë¸Â¤é¤º, OpenXM ¤ä MPI, MCP(¸å½Ò) Åù¤ËÍøÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤é¤ì¤ë. +¤¹¤Ç¤Ë C ¸À¸ì¤Ë¤è¤ë¥é¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤ª¤ê, +GNU Common Lisp ¤Ë¤è¤ë¼ÂÁõ¤â·×²è¤µ¤ì¤Æ¤¤¤ë. + \item MCP (Mathematical Computation Protocol) http://horse.mcs.kent.edu/\~{}pwang/ ¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð -¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò¹Ô¤Ê¤¦. ¸ò -´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³Ø -Ū¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenXM ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë. ¼ÂºÝ, ¿ô -³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î -´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. ¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë +¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, +¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò +¹Ô¤Ê¤¦. +¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³Ø +Ū¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenXM ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë. +¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, +GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. +¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë. \end{itemize}