===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.96
retrieving revision 1.97
diff -u -p -r1.96 -r1.97
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/26 06:33:32	1.96
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/26 07:13:26	1.97
@@ -1,6 +1,6 @@
 \documentclass{jarticle}
 
-%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.95 1999/12/26 04:11:54 tam Exp $
+%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.96 1999/12/26 06:33:32 ohara Exp $
 
 \usepackage{jssac}
 
@@ -44,11 +44,12 @@ kan/sm1 ¤òÁê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë.
 »úÎó¤È¤·¤Æ, ¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÍѤ¤¤¿¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤â²Ä
 ǽ¤È¤Ê¤Ã¤Æ¤¤¤ë.
 
-OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤í¤Ï TCP/IP 
+OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤í¤Ï TCP/IP 
 ¤òÍѤ¤¤¿ÄÌ¿®¤·¤«¼ÂÁõ¤µ¤ì¤Æ¤¤¤Ê¤¤.  \footnote{asir ¤Ë¤Ï MPI ¤òÍѤ¤¤¿¼ÂÁõ
-¤â¤¢¤ë.}  ¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï TCP/IP ¤òÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ
-¤ë.
+¤â¤¢¤ë.}  ¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤òÍѤ¤¤¿¼ÂÁõ¤Ë½àµò¤·¤Æ
+OpenXM ¤ÎÀâÌÀ¤ò¤¹¤ë.
 
+
 \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}
 
 ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë.  ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤Î¾ì¹ç
@@ -157,6 +158,8 @@ OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤
 ¤È¤¤¤¦¤³¤È¤Ç¤¢¤ë. ¤³¤Î¤³¤È¤ÏÄÌ¿®Ï©¤«¤é¥Ç¡¼¥¿¤ò¼õ¤±¼è¤Ã¤¿ºÝ¤Ë, ³Æ¿ô³Ø¥·¥¹
 ¥Æ¥à¤¬¸ÇÍ­¤Î¥Ç¡¼¥¿¹½Â¤¤ËÊÑ´¹¤·¤Æ¤«¤é¥¹¥¿¥Ã¥¯¤ËÀѤळ¤È¤ò°ÕÌ£¤¹¤ë. ¤³¤ÎÊÑ
 ´¹¤Ï1ÂÐ1Âбþ¤Ç¤¢¤ëɬÍפϤʤ¤.
+¤·¤«¤·, ÊÑ´¹ÊýË¡¤Ï¤¢¤¤¤Þ¤¤¤µ¤¬¤Ê¤¤¤è¤¦¤Ëʸ½ñ²½¤µ¤ì¤Æ¤¤¤ëɬÍפ¬¤¢¤ë.
+¸å½Ò¤¹¤ë OpenMath ¤Ç¤Ï¤³¤Îʸ¾Ï¤ò phrase dictionary ¤È¸Æ¤ó¤Ç¤¤¤ë.
 
 ¼¡¤Ë OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ÎÌ¿Îᥳ¡¼¥É¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë. OpenXM ¥¹¥¿¥Ã¥¯
 ¥Þ¥·¥ó¤Ë¤ª¤±¤ë¤¹¤Ù¤Æ¤ÎÌ¿Îá¤Ï4¥Ð¥¤¥È¤ÎŤµ¤ò»ý¤Ä. OpenXM µ¬Ìó¤Î¾¤Îµ¬Äê¤È
@@ -436,8 +439,9 @@ http://www.openmath.org/omsoc/
 
 ¿ô³ØŪÂоݤΠSGML Ūɽµ­¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È. °Û¤Ê¤ë¼ï
 Îà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤­¤Ë, OpenMath ¤ÇÄêµÁ¤µ¤ì¤¿É½
-¸½¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.  ¼ÂºÝ¤Î¾ðÊó¸ò´¹¤Î¼ê³¤­¤Ë¤Ï¤¤¤í¤¤¤í¤Ê¤â¤Î¤¬¹Í
-¤¨¤é¤ì¤ë¤¬, Î㤨¤Ð MCP ¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï
+¸½¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.  ¼ÂºÝ¤Î¾ðÊó¸ò´¹¤Î¼ê³¤­¤Ï¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Î
+Èϰϳ°¤Ç¤¢¤ë¤¬, ÊÌ¤Î¥×¥í¥¸¥§¥¯¥È¤È¤·¤Æ,
+Î㤨¤Ð MCP ¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï
 ¤ì¤Æ¤¤¤ë.  OpenXM ¤Ï OpenMath µ¬Ìó¤Î phrasedictionary ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ
 ¤¤¤Æ¤¤¤ë.