[BACK]Return to genkou19991125.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.111 and 1.116

version 1.111, 1999/12/28 08:02:49 version 1.116, 1999/12/29 09:21:34
Line 1 
Line 1 
 \documentclass{jarticle}  \documentclass{jarticle}
   
 %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.110 1999/12/27 11:05:43 tam Exp $  %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.115 1999/12/28 18:47:12 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 451  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 462  NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê,
Line 463  NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê,
 ¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹.  ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë.  ¸½ºß  ¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹.  ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë.  ¸½ºß
 ¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë.  ¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë.
   
   
 \item MP (Multi Project)  \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 ¤Î¼ç¤Ê´Ø¿´¤Ï, ¤³¤Î
 MP ¤Ç¤Ï¿ô³Ø¥Ç¡¼¥¿¤ò¹½Ê¸ÌÚ¤òÍѤ¤¤Æ°·¤¤,  ¶¦ÄÌɽ¸½¤ÎºÇŬ²½¤Ç¤¢¤ë.  ¿ô³Ø¥·¥¹¥Æ¥à´Ö¤Ç, Ì¿Îá¤òÁ÷¿®¤·¤¿¤ê¥Ç¡¼¥¿¤ò¼õ
 ¤½¤Î¹½Ê¸ÌڤΥХ¤¥È¥¹¥È¥ê¡¼¥à¤Ø¤ÎÊÑ´¹ÊýË¡¤Ë¤Ä¤¤¤Æµ¬Äꤷ¤Æ¤¤¤ë.  ¤±ÅϤ¹»ÅÁȤß(control integration)¤Ï, ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë.
 ·×»»ÊýË¡¤Ë¤Ä¤¤¤Æ¤Ïµ¬Äꤷ¤Æ¤ª¤é¤º,  MP ¤Ï´û¸¤Î contorl integration ¤ËÂФ·¤ÆÊ䴰ŪÌò³ä¤ò²Ì¤¿¤¹.
 RPC ¤ä OpenXM, ¸å½Ò¤Î MCP Åù¤ÇÍѤ¤¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤ë.  
 Â®ÅÙŪ¤ÊÇÛθ¤â¤·¤Æ¤ª¤ê, ÊÂÎó·×»»¤ËÍѤ¤¤ë¤³¤È¤â  
 ¹Í¤¨¤é¤ì¤Æ¤¤¤ë.  
 ¸½ºß¤¹¤Ç¤Ë C ¸À¸ì¤Ë¤è¤ë¥é¥¤¥Ö¥é¥ê¤¬¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê,  
 Common Lisp ¤Ë¤è¤ë¼ÂÁõ¤â¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë.  
   
   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 ¤Ê¤É¤¬ÍøÍѤǤ­¤ë.
   
 %¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤Î¥Ð¥¤¥ÈÎó¤Ë¤è¤ëɽ¸½¤òÌÜŪ¤È¤¹¤ë¥×¥í¥¸¥§¥¯¥È.  
 %%MP ¤Ï¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤ò¹½Ê¸ÌÚ¤òÍѤ¤¤Æɽ¤·,  
 %²Ê³Øµ»½Ñ·×»»¤ò¹Ô¤Ê¤¦¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¤Î¾ðÊó¸ò´¹¤Ë»È¤¨¤ë¤è¤¦  
 %À߷פ·¤Æ¤¤¤ë.  
 %¤³¤Îɽ¸½¤ÏÄÌ¿®ÊýË¡¤Ë°Í¸¤·¤Ê¤¤¤¬, ®ÅÙÌ̤ËÇÛθ¤·¤Æ¤ª¤ê,  
 %ÊÂÎó·×»»¤Ë»ÈÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤é¤ì¤Æ¤¤¤ë.  
 %¤¹¤Ç¤Ë C ¸À¸ì¤ÇÍøÍѲÄǽ¤Ê¥é¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤ª¤ê,  
 %¸½ºß¤Ï Lisp ¤Ë¤è¤ë¼ÂÁõ¤â·×²è¤µ¤ì¤Æ¤¤¤ë.  
   
 \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}
   

Legend:
Removed from v.1.111  
changed lines
  Added in v.1.116

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>