===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.117
retrieving revision 1.119
diff -u -p -r1.117 -r1.119
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/30 14:21:34	1.117
+++ OpenXM/doc/Attic/genkou19991125.tex	2000/01/05 14:12:05	1.119
@@ -1,6 +1,6 @@
 \documentclass{jarticle}
 
-%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.116 1999/12/29 09:21:34 tam Exp $
+%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.118 2000/01/04 11:43:37 tam Exp $
 
 \usepackage{jssac}
 
@@ -444,12 +444,13 @@ http://www.openmath.org/omsoc/
 ÄêµÁ¤µ¤ì¤¿É½¸½¤Ï, °Û¤Ê¤ë¼ïÎà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤­¤Ë
 ÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.  ¤·¤«¤·¤Ê¤¬¤é, ¿ô³Ø¥·¥¹¥Æ¥àƱ»Î¤ÎÄÌ¿®, Î㤨¤Ð¤¢¤ë
 ¿ô³Ø¥·¥¹¥Æ¥à¤«¤éÊ̤οô³Ø¥·¥¹¥Æ¥à¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤µ¤»¤ëÊýË¡¤Ê¤É¤Ï, ¤³¤Î¥×
-¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë.
+¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë. OpenXM ¤Ë¤ª¤±¤ë¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸Ç
+Í­¤Î¥ª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ
+¤¤¤Æ¤¤¤ë.
 
-OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content dictionary ¤Î³µÇ°
-¤Ë»÷¤Æ¤¤¤ë(¤â¤Á¤í¤ó OpenMath ¤ÎÊý¤¬¤â¤Ã¤ÈÂç³Ý¤«¤ê¤Ç¸·Ì©¤Êµ¬Äê¤Ç¤¢¤ë).
-¤Þ¤¿, ¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸ÇÍ­¤Î¥ª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath
-µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍѤ¤¤Æ¤¤¤ë.
+% ¤³¤³¤Ï½ñ¤«¤Ê¤¯¤Æ¤â¤¤¤¤¤è¤¦¤Ë»×¤¨¤Æ¤­¤¿¤Î¤Çºï½ü¤·¤Þ¤·¤¿¡£
+%OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content dictionary ¤Î³µÇ°
+%¤Ë»÷¤Æ¤¤¤ë(¤â¤Á¤í¤ó OpenMath ¤ÎÊý¤¬¤â¤Ã¤ÈÂç³Ý¤«¤ê¤Ç¸·Ì©¤Êµ¬Äê¤Ç¤¢¤ë).
 
 
 \item NetSolve
@@ -471,7 +472,7 @@ http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.
 ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Î¶¦ÄÌɽ¸½¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È.  MP ¤Î¼ç¤Ê´Ø¿´¤Ï, ¤³¤Î
 ¶¦ÄÌɽ¸½¤ÎºÇŬ²½¤Ç¤¢¤ë.  ¿ô³Ø¥·¥¹¥Æ¥à´Ö¤Ç, Ì¿Îá¤òÁ÷¿®¤·¤¿¤ê¥Ç¡¼¥¿¤ò¼õ
 ¤±ÅϤ¹»ÅÁȤß(control integration)¤Ï, ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë.
-MP ¤Ï´û¸¤Î contorl integration ¤ËÂФ·¤ÆÊ䴰ŪÌò³ä¤ò²Ì¤¿¤¹.
+MP ¤Ï´û¸¤Î control integration ¤ËÂФ·¤ÆÊ䴰ŪÌò³ä¤ò²Ì¤¿¤¹.
 
 MP ¤Ç¤Ï¿ô¼°¤ò¹½Ê¸Ìڤΰì¼ï(annotated syntax tree)¤Èª¤¨¤ë.  annotated
 syntax tree ¤Ë¤Ï¿ô³ØŪ¤Ê°ÕÌ£¤òÊݤ俤ޤÞɽ¸½¤µ¤ì¤Æ¤¤¤ë¤È¤¤¤¦ÆÃħ¤¬¤¢¤ë
@@ -486,17 +487,28 @@ C ¸À¸ì¤Ë¤è¤ë¼ÂÁõ(MP-C ¥é¥¤¥Ö¥é¥ê)¤Ï¾åµ­¤Î¥¦¥§¥Ö¥Ú¡¼¥¸¤
 ¤¬É¬ÍפǤ¢¤ë.  control integration ¤È¤·¤Æ¤Ï, ¥½¥±¥Ã¥È, MPI, PVM ¤Ê¤É¤¬Íø
 ÍѤǤ­¤ë.
 
+
 \item MCP (Mathematical Computation Protocol)
 
 http://horse.mcs.kent.edu/\~{}pwang/
 
-¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë.  ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼
-¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë.  ¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ
-¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á
-¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.  ¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath 
-¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë.
-¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤ò
-µ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë.
+HTTP ¤Ë»÷¤»¤¿¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î¥×¥í¥È¥³¥ë.
+MCP ¤Ï¼ç¤Ë control integration ¤òµ¬Äꤷ¤Æ¤ª¤ê,
+¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤ÎÄÌ¿®¤ò¹Ô¤Ê¤¦.
+MCP ¤Î¥á¥Ã¥»¡¼¥¸¤Ï¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤«¤é¹½À®¤µ¤ì¤Æ¤¤¤ë.
+¥Ø¥Ã¥À¤Ï¥Æ¥­¥¹¥È¤Ç¤¢¤ê, ºÇ½é¤Ë¸½¤ì¤ë¶õ¹Ô¤Ç¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤Ï
+¶èÀÚ¤é¤ì¤Æ¤¤¤ë.
+¥Ü¥Ç¥£¤Î·Á¼°¤Ï¸ÇÄê¤Ç¤Ï¤Ê¤¯,
+¥Ø¥Ã¥À¤ò¸«¤ì¤Ð¥Ü¥Ç¥£¤Î·Á¼°¤¬Ê¬¤«¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë.
+
+¿ô¼°¤Ï¥Ü¥Ç¥£¤Ëµ­½Ò¤µ¤ì¤ÆÁ÷¤é¤ì¤ë¤¬,
+¤³¤Î¥×¥í¥È¥³¥ë¤Ç¤Ï¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¯,
+¤½¤Î¤¿¤á, ¥ª¥Ö¥¸¥§¥¯¥È¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤ò
+»ÈÍѤ¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë.
+¼ÂºÝ, ¿ô¼°¤Îɽ¸½¤Ë OpenMath µ¬Ìó¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê,
+GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë.
+¤³¤Î¾ì¹ç, MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Ï
+¥Ü¥Ç¥£¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë.
 
 \end{itemize}