===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.115
retrieving revision 1.116
diff -u -p -r1.115 -r1.116
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/28 18:47:12	1.115
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/29 09:21:34	1.116
@@ -1,6 +1,6 @@
 \documentclass{jarticle}
 
-%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.114 1999/12/28 14:53:40 tam Exp $
+%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.115 1999/12/28 18:47:12 tam Exp $
 
 \usepackage{jssac}
 
@@ -49,7 +49,7 @@ OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤
 ¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤òÍѤ¤¤¿¼ÂÁõ¤Ë½àµò¤·¤ÆOpenXM ¤ÎÀâÌÀ¤ò¤¹¤ë.
 
 
-\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}
+\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}\label{sec:messages}
 
 ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë.  ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤Î¾ì¹ç
 ¤Ë¤Ä¤¤¤Æ¤Î¤ßÀâÌÀ¤ò¹Ô¤Ê¤¦.
@@ -468,33 +468,35 @@ NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê,
 
 http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html
 
-¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤È¥Ð¥¤¥ÈÎó¤Ø¤ÎÊÑ´¹ÊýË¡¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È.
-¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ç¤Ï, ¿ô³Ø¥½¥Õ¥È´Ö¤Ç¿ô³Ø¥Ç¡¼¥¿¤ò¤ä¤ê¤È¤ê¤¹¤ëºÝ¤Î
-¥Ð¥¤¥Ê¥êɽ¸½¤òµ¬Äꤷ¤Æ¤¤¤ë.
-MP ¤Ï¿ô¼°¤ò¹½Ê¸Ìڤΰì¼ï¤Çɽ¤·¤Æ¤ª¤ê, OpenMath ¤ÈƱÍÍ,
-°Û¤Ê¤ë¼ïÎà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤Ç°Û¤Ê¤ë¥ª¥Ö¥¸¥§¥¯¥È¤Ë¼è¤ê°ã¤¨¤é¤ì¤Ê¤¤¤è¤¦,
-¾ðÊó¤òÉղäǤ­¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë.
-¤Þ¤¿, ÊÑ´¹¤µ¤ì¤¿¥Ç¡¼¥¿¤Ï¥Ç¡¼¥¿Ä¹¤¬¾®¤µ¤¯¤Ê¤ë¤è¤¦¹Í褵¤ì¤Æ¤ª¤ê,
-¥Õ¥¡¥¤¥ë ¤ä TCP/IP Åù¤ËÆɤ߽ñ¤­¤¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë.
-¤·¤«¤·, ¤³¤ì¤é¤Ë¸Â¤é¤º, OpenXM ¤ä MPI, MCP(¸å½Ò) Åù¤ËÍøÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤é¤ì¤ë.
-¤¹¤Ç¤Ë C ¸À¸ì¤Ë¤è¤ë¥é¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤ª¤ê,
-GNU Common Lisp ¤Ë¤è¤ë¼ÂÁõ¤â·×²è¤µ¤ì¤Æ¤¤¤ë.
+¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Î¶¦ÄÌɽ¸½¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È.  MP ¤Î¼ç¤Ê´Ø¿´¤Ï, ¤³¤Î
+¶¦ÄÌɽ¸½¤ÎºÇŬ²½¤Ç¤¢¤ë.  ¿ô³Ø¥·¥¹¥Æ¥à´Ö¤Ç, Ì¿Îá¤òÁ÷¿®¤·¤¿¤ê¥Ç¡¼¥¿¤ò¼õ
+¤±ÅϤ¹»ÅÁȤß(control integration)¤Ï, ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë.
+MP ¤Ï´û¸¤Î contorl integration ¤ËÂФ·¤ÆÊ䴰ŪÌò³ä¤ò²Ì¤¿¤¹.
 
+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)
 
 http://horse.mcs.kent.edu/\~{}pwang/
 
-¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë.  ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð
-¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê,
-¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò
-¹Ô¤Ê¤¦.
-¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³Ø
-Ū¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenXM ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.
-¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê,
-GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë.
-¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë
-OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë.
+¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë.  ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼
+¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë.  ¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ
+¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á
+¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.  ¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath 
+¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë.
+¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤ò
+µ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë.
 
 \end{itemize}