===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.30
retrieving revision 1.31
diff -u -p -r1.30 -r1.31
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/21 06:59:42	1.30
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/21 09:06:47	1.31
@@ -2,7 +2,7 @@
 
 \title{¥¿¥¤¥È¥ë̤Äê}
 \author{
-Á°Àî ¤Þ¤µ¤Ò¤Ç,
+Á°Àî ¾­½¨,
 ÌîϤ Àµ¹Ô,
 ¾®¸¶ ¸ùǤ, \\
 ±üë ¹¬É×,
@@ -22,11 +22,10 @@ OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ì
 ³Ø¥×¥í¥»¥¹¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤ò¹Ô¤Ê¤Ã¤¿¤ê¡¢Â¾¤Î¥Þ¥·¥ó¤Ç·×»»¤ò¹Ô¤Ê¤ï¤»¤¿¤ê¤¹
 ¤ë¤³¤È¤¬ÌÜŪ¤Ç¤¢¤ë¡£¤Ê¤ª¡¢ OpenXM ¤È¤Ï Open message eXchange protocol
 for Mathematics ¤Îά¤Ç¤¢¤ë¡£
-
-
 OpenXM ¤Î³«È¯¤Îȯü¤ÏÌîϤÀµ¹Ô¤È¹â»³¿®µ£¤Ë¤è¤ê¡¢ asir ¤È kan/sm1 ¤ò
 Áê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë¡£
-\footnote{¤³¤ÎÃÊÍîɬÍ×?}
+%\footnote{¤³¤ÎÃÊÍîɬÍ×?}
+
 ȯü¤È¤Ê¤Ã¤¿ asir ¤È kan/sm1 ¤Ç¤Î¼ÂÁõ»þ¤Ë¤Ï¡¢
 ¤ª¸ß¤¤¤ËÁê¼ê¦¤Î¥³¥Þ¥ó¥Éʸ»úÎó¤òÁ÷¤Ã¤Æ¤¤¤¿¡£
 ¤³¤ÎÊýË¡¤Ï¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤â·Á¤òÊѤ¨¤Æ²Äǽ¤Ç¤Ï¤¢¤ë¤¬¡¢
@@ -48,6 +47,7 @@ OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Math
 {\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó¤è¡¢Åļ·¯}
 
 OpenXM µ¬Ìó¤Ç¤Î¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£
+¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢
 ¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤È²¾Äꤵ¤ì¤Æ¤ª¤ê¡¢¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ
 ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤ÎÃæ¤Ë
 ¤Ï¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿¤¤Æ°ºî¤ËÂбþ¤¹¤ë¥Ç¡¼¥¿¤¬¤¢¤ê¡¢¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã
@@ -250,6 +250,7 @@ OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math
 ]
 \end{verbatim}
 
+<<<<<<< genkou19991125.tex
 ¤³¤Î MathCap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礭¤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£
 ºÇ½é¤Î {\tt [199901160,"ox\_asir"]} ¤ÎÉôʬ¤Ë¤Ï¥µ¡¼¥Ð¤Î¾ðÊó¤¬Æþ¤Ã¤Æ¤¤¤ë¡£
 %¤³¤ÎºÇ½é¤ÎÍ×ÁǤ¬¤Þ¤¿¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
@@ -270,6 +271,128 @@ OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math
 ¤³¤ÎÀ°¿ôÃÍ¤Ï CMO ·Á¼°¤Ç¤Ï 514 ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
 ºÇ½é¤Î¥Ç¡¼¥¿·Á¼°¤ò¶èÊ̤¹¤ëÀ°¿ôÃͰʸå¤ÎÍ×ÁǤÏ
 ³Æ¥Ç¡¼¥¿·Á¼°¤Ë¤è¤Ã¤Æ¤É¤Î¤è¤¦¤Ë»È¤ï¤ì¤ë¤«Äê¤Þ¤Ã¤Æ¤¤¤ë¡£
+CMO ·Á¼°¤Ç¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î tag ¤¬¥ê¥¹¥È¤ÎÃæ¤Ë¼ý¤Þ¤Ã¤Æ¤¤¤ë¡£
+Á°Àá¤Ç CMO ·Á¼°¤Ç¤Ï¿ÇÜĹÀ°¿ô¤òɽ¤¹ tag ¤¬ 20 ¤Ç¤¢¤ë¤³¤È¤ò½Ò¤Ù¤¿¤¬¡¢
+¤³¤Î¥ê¥¹¥È¤Ë 20 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢
+ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤«¤ë¡£
+
+%%¤³¤Î¥ê¥¹¥È¤ÎÍ×ÁǤϤޤ¿¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
+%¤³¤ÎºÇ¸å¤ÎÉôʬ¤â¤Þ¤¿¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
+%¤¢¤ë¥Ç¡¼¥¿·Á¼°¤ÇÍý²ò²Äǽ¤Ê¤â¤Î¤òɽ¸½¤·¤¿¥ê¥¹¥È¤òÍ×ÁǤȤ·¤Æ¤¤¤ë¡£
+%{\tt [514,[1, 2, $\cdots$]]} ¤ÎºÇ½é¤Î 514 ¤Ï¤³¤Î¥ê¥¹¥È¤¬ CMO ·Á¼°
+%¤Ç¤ÎÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤òɽ¤·¤Æ¤¤¤ë¤³¤È¤ò¼¨¤·¤Æ¤ª¤ê¡¢
+%¤½¤Î¸å¤Î¥ê¥¹¥È¤Ç¤Ï CMO ÁؤÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥Ç¡¼¥¿¤Î¤¦¤Á¡¢
+%Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î tag ¤¬Ê¤ó¤Ç¤¤¤ë¡£
+
+¤Ê¤ª¡¢¥Ç¡¼¥¿¤¬¼õ¤±¼è¤ì¤ë¤³¤È¤È¡¢
+¥Ç¡¼¥¿¤ÎÏÀÍý¹½Â¤¤¬Íý²ò¤Ç¤­¤ë¤³¤È¤È¤Ï¤Þ¤Ã¤¿¤¯ÊÌʪ¤Ç¤¢¤ë¤Î¤Ç
+Ãí°Õ¤¹¤ëɬÍפ¬¤¢¤ë¡£
+
+
+\section{¥»¥­¥å¥ê¥Æ¥£Âкö}
+
+OpenXM ¤Ç¤Ï´ö¤é¤«¤Î¥»¥­¥å¥ê¥Æ¥£Âкö¤ò¹Í¤¨¤Æ¤¤¤ë¡£
+OpenXM ¤ËÂбþ¤·¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò¥¯¥é¥Ã¥¯¤·¤Æ¤â
+Â礷¤¿ÍøÅÀ¤Ï¤Ê¤¤¤È»×¤¨¤ë¤¬¡¢¤½¤ì¤ÏÀß·×¾å¤ÎÏäǤ¢¤Ã¤Æ¡¢
+ͽ´ü¤»¤Ì¼êÃʤǹ¶·â¤ò¼õ¤±¤¿¾ì¹ç¤Ë¤É¤Î¤è¤¦¤Ê»öÂÖ¤ò
+¾·¤¯¤«¤ÏÁÛÁü¤·Æñ¤¤¡£
+
+¤½¤³¤Ç¡¢ OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò
+¤Ç¤­¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤Ë¤·¤Æ¤¤¤ë¡£
+¶ñÂÎŪ¤Ë¤Ï¡¢Àܳ¤¬É¬Íפˤʤä¿»þ¤Î¤ßÀܳ¤òÂԤĤ褦¤Ë¤·¡¢
+¾ï¤ËÀܳ¤Ë´ØÍ¿¤¹¤ë¤È¤¤¤Ã¤¿¤³¤È¤ÏÈò¤±¤Æ¤¤¤ë¡£
+
+¤·¤«¤·¡¢¤³¤ì¤À¤±¤Ç¤Ï¿¯Æþ¼Ô¤¬Àܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤­¤ò
+ÁÀ¤Ã¤Æ¤¯¤ë²ÄǽÀ­¤â¤¢¤ë¡£
+¤½¤³¤ÇÀܳ¤ò¹Ô¤Ê¤¦»þ¤Ë¡¢
+Àܳ¤òÂÔ¤Ä port ÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë¡£
+¤³¤¦¤¹¤ë¤³¤È¤Ç¡¢ÆÃÄê¤Î port ÈÖ¹æ¤òÁÀ¤Ã¤ÆÀܳ¤ò¹Ô¤Ê¤¦
+½Ö´Ö¤òÂԤļê¸ý¤ò´ö¤é¤«Ëɤ°¤³¤È¤¬¤Ç¤­¤ë¡£
+
+¤µ¤é¤Ë¤â¤¦°ìÃÊ°ÂÁ´À­¤ò¹â¤á¤ë¤¿¤á¤Ë¡¢
+Àܳ»þ¤Ë 1 ²ó¤À¤±»ÈÍѲÄǽ¤Ê¥Ñ¥¹¥ï¡¼¥É¤òºîÀ®¤·¡¢
+¤½¤Î¥Ñ¥¹¥ï¡¼¥É¤ò»È¤Ã¤Æǧ¾Ú¤ò¹Ô¤Ê¤¦¡£
+¤³¤Î¥Ñ¥¹¥ï¡¼¥É¤Ï°ìö»ÈÍѤµ¤ì¤ì¤Ð̵¸ú¤Ë¤¹¤ë¤Î¤Ç¡¢
+¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤Ç¤¢¤ë¡£
+
+¤Ê¤ª¡¢¾åµ­¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤Ï°ÂÁ´¤Ê¼êÃʤÇÁ÷¤é¤ì¤Æ
+¤¤¤ë¤È²¾Äꤷ¤Æ¤¤¤ë¡£
+¤Þ¤¿¡¢Æ±°ì¤Î¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ë°­°Õ¤Î¤¢¤ë¥æ¡¼¥¶¤Ï¤¤¤Ê¤¤¤È²¾Äꤷ¤Æ¤¤¤ë
+¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£
+¤Ê¤¼¤Ê¤é¡¢¸½ºß¤Î¼ÂÁõ¤Ç¤Ï¥µ¡¼¥Ð¡¢¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥È¤ÎÆ°ºî¤·¤Æ¤¤¤ë
+¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ç¤Ï¤³¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤¬¤ï¤«¤Ã¤Æ¤·¤Þ¤¦¤¿¤á¤Ç¤¢¤ë¡£
+
+¤Ê¤ª¡¢Àܳ¤¬³ÎΩ¤·¤¿¸å¤Î¥á¥Ã¥»¡¼¥¸¤ÎÁ÷¼õ¿®¤Ë´Ø¤·¤Æ¤Ï¡¢
+Æä˰Ź沽¤Ê¤É¤Î½èÃÖ¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¡£
+¤â¤·É¬Íפ¬¤¢¤ì¤Ð¡¢ÄÌ¿®Ï©¤Î°Å¹æ²½¤ò¹Ô¤Ê¤¦µ¡Ç½¤¬¤¢¤ë
+¥½¥Õ¥È¥¦¥§¥¢¤ò»È¤¦¤³¤È¤ò¹Í¤¨¤Æ¤¤¤ë¡£
+
+
+\section{¾¤Î¥×¥í¥¸¥§¥¯¥È}
+
+¾¤Î¥×¥í¥¸¥§¥¯¥È¤Ë¤Ä¤¤¤Æ¤â¿¨¤ì¤Æ¤ª¤³¤¦¡£
+
+OpenMath ¥×¥í¥¸¥§¥¯¥È¤Ï¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò
+¥³¥ó¥Ô¥å¡¼¥¿¾å¤Çɽ¸½¤¹¤ëÊýË¡¤ò·èÄꤷ¤Æ¤¤¤ë¡£
+³Æ¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¥ª¥Ö¥¸¥§¥¯¥È¤ò¸ò´¹¤¹¤ëºÝ¤Î
+¥ª¥Ö¥¸¥§¥¯¥È¤ÎÊÑ´¹¼ê½ç¤Ë¤Ä¤¤¤Æ¤â½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£
+ɽ¸½ÊýË¡¤Ï°ì¤Ä¤À¤±¤Ç¤Ê¤¯¡¢ XML ɽ¸½¤ä binary ɽ¸½¤Ê¤É¤¬
+ÍÑ°Õ¤µ¤ì¤Æ¤¤¤ë¡£
+¾ÜºÙ¤Ï
+
+http://www.openmath.org/omsoc/index.html A.M.Cohen
+
+
+°Ê²¼¤Ï½ñ¤¤¤Æ¤ëÅÓÃæ¡£
+
+NetSolve
+
+http://www.cs.utk.edu/netsolve/
+
+
+MP
+
+http://symbolicNet.mcs.kent.edu/SN/areas/protocols/mp.html
+
+
+MCP
+
+http://horse.mcs.kent.edu/~pwang/
+
+
+\section{¸½ºßÄ󶡤µ¤ì¤Æ¤¤¤ë¥½¥Õ¥È¥¦¥§¥¢}
+
+¸½ºß OpenXM µ¬³Ê¤ËÂбþ¤·¤Æ¤¤¤ë¥¯¥é¥¤¥¢¥ó¥È¤Ë¤Ï
+asir, sm1, Mathematica ¤¬¤¢¤ë¡£
+¤³¤ì¤é¤Î¥¯¥é¥¤¥¢¥ó¥È¤«¤é
+OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤­¤ë¡£
+¸½ºß OpenXM µ¬Ìó¤ËÂбþ¤·¤Æ¤¤¤ë¥µ¡¼¥Ð¥½¥Õ¥È¥¦¥§¥¢¤Ë¤Ï¡¢
+ asir, sm1, gnuplot, Mathematica ¤Ê¤É¤¬¤¢¤ê¡¢
+¤½¤ì¤¾¤ì ox\_asir, ox\_sm1, ox\_math ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£
+¤Þ¤¿¡¢ OpenMath µ¬³Ê¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥Ç¡¼¥¿¤È CMO ·Á¼°¤Î
+¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢
+OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£
+=======
+¤³¤Î MathCap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礭¤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£
+ºÇ½é¤Î {\tt [199901160,"ox\_asir"]} ¤ÎÉôʬ¤Ë¤Ï¥µ¡¼¥Ð¤Î¾ðÊó¤¬Æþ¤Ã¤Æ¤¤¤ë¡£
+%¤³¤ÎºÇ½é¤ÎÍ×ÁǤ¬¤Þ¤¿¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
+ºÇ½é¤ÎÍ×ÁǤϥС¼¥¸¥ç¥ó¥Ê¥ó¥Ð¡¼¤ò¡¢¼¡¤ÎÍ×ÁǤϥµ¡¼¥Ð¤Î̾Á°¤òɽ¤·¤Æ¤¤¤ë¡£
+
+¼¡¤Î {\tt [276,275,$\cdots$,271]} ¤ÎÉôʬ¤Ï
+¥µ¡¼¥Ð¤ËÂФ¹¤ëÆ°ºî¤ËÂбþ¤·¤¿Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¼ïÎà¤òɽ¤·¤Æ¤¤¤ë¡£
+¥µ¡¼¥Ð¤ÎÆ°ºî¤ËÂФ¹¤ë¥Ç¡¼¥¿¤Ï¤¹¤Ù¤Æ 32 bit ¤ÎÀ°¿ô¤Çɽ¤·¤Æ¤ª¤ê¡¢
+¤³¤Î¥ê¥¹¥È¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤ËÂбþ¤¹¤ë 32 bit À°¿ô¤Î¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
+
+ºÇ¸å¤Î {\tt [ [514,[1,2,3,$\cdots$,60]],[2144202544,[0,1]] ]} ¤ÎÉôʬ¤Ï
+Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î·Á¼°¤òɽ¤·¤Æ¤¤¤ë¡£
+¤³¤ÎÉôʬ¤Ï¤µ¤é¤Ë {\tt [514,[1,2,3,$\cdots$,60]]} ¤È
+{\tt [2144202544,[0,1]]} ¤Ë¤ÎÉôʬ¤Ëʬ¤±¤ë¤³¤È¤¬¤Ç¤­¡¢
+¤½¤ì¤¾¤ì¤¬°ì¤Ä¤Î¥Ç¡¼¥¿·Á¼°¤Ë¤Ä¤¤¤Æ¤Î¾ðÊó¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
+¤É¤Î¥Ç¡¼¥¿·Á¼°¤Ë¤Ä¤¤¤Æ¤Î¾ðÊ󤫤Ϻǽé¤ÎÍ×ÁǤˤ¢¤ëÀ°¿ôÃͤò¤ß¤ì¤Ð
+ʬ¤«¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£
+¤³¤ÎÀ°¿ôÃÍ¤Ï CMO ·Á¼°¤Ç¤Ï 514 ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
+ºÇ½é¤Î¥Ç¡¼¥¿·Á¼°¤ò¶èÊ̤¹¤ëÀ°¿ôÃͰʸå¤ÎÍ×ÁǤÏ
+³Æ¥Ç¡¼¥¿·Á¼°¤Ë¤è¤Ã¤Æ¤É¤Î¤è¤¦¤Ë»È¤ï¤ì¤ë¤«Äê¤Þ¤Ã¤Æ¤¤¤ë¡£
 CMO ·Á¼°¤Ç¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¥¿¥°¤¬¥ê¥¹¥È¤ÎÃæ¤Ë¼ý¤Þ¤Ã¤Æ¤¤¤ë¡£
 Á°Àá¤Ç CMO ·Á¼°¤Ç¤Ï¿ÇÜĹÀ°¿ô¤òɽ¤¹¥¿¥°¤¬ 20 ¤Ç¤¢¤ë¤³¤È¤ò½Ò¤Ù¤¿¤¬¡¢
 ¤³¤Î¥ê¥¹¥È¤Ë 20 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢
@@ -349,5 +472,6 @@ OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤­¤ë¡£
 ¤Þ¤¿¡¢ OpenMath µ¬³Ê¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥Ç¡¼¥¿¤È CMO ·Á¼°¤Î
 ¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢
 OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£
+>>>>>>> 1.30
 
 \end{document}