=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.49 retrieving revision 1.50 diff -u -p -r1.49 -r1.50 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/22 20:09:02 1.49 +++ OpenXM/doc/Attic/genkou19991125.tex 1999/12/23 03:59:44 1.50 @@ -1,6 +1,11 @@ + \documentclass{jarticle} -\title{¥¿¥¤¥È¥ë̤Äê} +\title{ +1. ¤¤¤¤¤«¤²¤ó¥¹¥¿¥¤¥ë¥Õ¥¡¥¤¥ë¤ò¤«¤¨¤è¤¦¡£\\ +2. °ÕÌ£¤â¤Ê¤¤½¤¾þ²á¾ê¤Ê¸ì¶ç¤ÏÇÓ½ü¤·¤Þ¤·¤ç¤¦¡£ +TCP/IP ¥½¥±¥Ã¥È¤È¤«¡¢TCP/IP ¼ÂÁõ¤È¤«²¿¤Î¤³¤Ã¤Á¤ã¤È»×¤¤¤Þ¤·¤¿¡£ +} \author{ Á°Àî ¾­½¨\thanks{¿À¸ÍÂç³ØÍý³ØÉô¿ô³Ø²Ê}, ÌîϤ Àµ¹Ô\thanks{ÉÙ»ÎÄ̸¦µæ½ê}, @@ -29,36 +34,33 @@ OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ì OpenXM ¤Î³«È¯¤Îȯü¤ÏÌîϤ¤È¹â»³¤Ë¤è¤ê¡¢ asir ¤È kan/sm1 ¤òÁê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë¡£ -%ȯü¤È¤Ê¤Ã¤¿ asir ¤È kan/sm1 ¤Ç¤Î¼ÂÁõ»þ¤Ë¤Ï¡¢ -½é´ü¤Î¼ÂÁõ¤Ç¤Ï¡¢Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤Ã¤Æ¤¤¤¿¡£ -¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤òÍѤ¤¤Æ¤¤¤ë¡£ -¤³¤ÎÊýË¡¤Ç¤ÏÁê¼ê¦¤Î¥½¥Õ¥È¤¬ asir ¤Ê¤Î¤« kan/sm1 ¤Ê¤Î¤«¤òȽÊ̤¹¤ë¤Ê¤É¤·¤Æ¡¢ -Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë¹ç¤ï¤»¤¿Ê¸»úÎó¤òºîÀ®¤¹¤ëɬÍפ¬¤Ê¤¯¤Ê¤ë¡£ -¤·¤«¤·¡¢¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤ëÊýË¡¤â¡¢ -¸úΨŪ¤Ç¤¢¤ë¤È¤Ï¤¤¤¤Æñ¤¤¤¬¡¢»È¤¤¤ä¤¹¤¤¡£ -¤½¤Î¤¿¤á¡¢ OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤ÎÃæ¤Îʸ»úÎó¤È¤·¤Æ¡¢ -¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÍѤ¤¤¿ -¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤â²Äǽ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£ +{\bf\large °Ê²¼¤ÎÀâÌÀ¤¬¤Ê¤¼É¬ÍפʤΤ«¤ÏÁ´Á³Ê¬¤«¤é¤Ê¤¤¤±¤ì¤É¡¢} +½é´ü¤Î¼ÂÁõ¤Ç¤Ï¡¢Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤Ã¤Æ¤¤¤¿¡£¤³ +¤ÎÊýË¡¤Ç¤ÏÁê¼ê¦¤Î¥½¥Õ¥È¤¬ asir ¤Ê¤Î¤« kan/sm1 ¤Ê¤Î¤«¤òȽÊ̤¹¤ë¤Ê¤É¤·¤Æ¡¢ +Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë¹ç¤ï¤»¤¿Ê¸»úÎó¤òºîÀ®¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£¤³¤Î +¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤ëÊýË¡¤Ï¡¢¸úΨŪ¤Ç¤¢¤ë¤È¤Ï¤¤¤¤Æñ¤¤¤¬¡¢ +»È¤¤¤ä¤¹¤¤¤È¤â¸À¤¨¤ë¡£ -%OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Mathematical Object format) -%°Ê³°¤Ë¤â¡¢ MP ¤ä OpenMath ¤Î XML, binary ɽ¸½·Á¼°¤È¤¤¤Ã¤¿Â¾¤Î·Á¼°¤ò¤â -%°·¤¨¤ë¤è¤¦¤Ë¤·¤Æ¤¢¤ë¡£ +¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤òÍѤ¤¤Æ¤¤¤ë¡£¾åµ­¤Îʸ +»úÎó¤òÁ÷¤ëÊýË¡¤ÎÍøÅÀ¤òÀ¸¤«¤¹¤¿¤á¡¢OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤ÎÃæ¤Îʸ»ú +Îó¤È¤·¤Æ¡¢¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÍѤ¤¤¿¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤â²Äǽ +¤È¤Ê¤Ã¤Æ¤¤¤ë¡£{\large\bf ¤·¤«¤·¡¢¤³¤ó¤ÊºÙ¤«¤¤¤³¤È¤ò¤³¤³¤ÇÀâÌÀ¤·¤Ê¤±¤ì¤Ð +¤Ê¤é¤Ê¤¤Íýͳ¤¬¤ä¤Ã¤Ñ¤êʬ¤«¤é¤Ê¤¤¤Ê¤¡¡£¹½À®Åª¤Ë¤ª¤«¤·¤¤¤È»×¤¦¤±¤É¤Ê¤¡¡£°Õ +Ì£ÉÔÌÀ¡£} -OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®Ï©¤Î³ÎÊݤÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬¡¢ -¸½ºß¤Ï TCP/IP ¥½¥±¥Ã¥È¤òÍѤ¤¤¿¼ÂÁõ¤·¤«¤Ê¤¤¡£ -%ÄÌ¿®¤Î¼Â¸½ÊýË¡¤ÏÄÌ¿®Ï©¤Î¤È¤ê¤«¤¿¤Ë¤è¤êÊѤï¤ë¡£ -¤½¤³¤Ç¡¢°Ê¸å¤³¤³¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï TCP/IP ¥½¥±¥Ã¥È¤ò -ÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ¤ë¡£ +OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬¡¢¸½ºß¤Î¤È¤³¤í¤Ï TCP/IP +¤òÍѤ¤¤¿ÄÌ¿®¤·¤«¼ÂÁõ¤µ¤ì¤Æ¤¤¤Ê¤¤¡£¤½¤³¤Ç¡¢¤³¤ÎÏÀʸ¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï +TCP/IP ¤òÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ¤ë¡£ - \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} -OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë TCP/IP ¼ÂÁõ¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤Ï -¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ -¼¡¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ +OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë TCP/IP ¼ÂÁõ¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤È +¤Ê¤Ã¤Æ¤ª¤ê¡¢¼¡¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -\begin{tabular}{|c|c|} \hline -¥Ø¥Ã¥À & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ \hline +\begin{tabular}{|c|c|} +\hline +¥Ø¥Ã¥À & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ +\hline \end{tabular} ¥Ø¥Ã¥À¤ÎŤµ¤Ï 8 ¥Ð¥¤¥È¤Ç¤¢¤ë¤ÈÄê¤á¤é¤ì¤Æ¤¤¤ë¡£ @@ -75,52 +77,52 @@ OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë TCP/IP ¼ÂÁõ¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤Ï ¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤ÎÀâÌÀ¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬¡¢ ´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ ¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ -OpenXM µ¬Ìó¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥¿¥°¤ÎÀ°¿ôÃÍ¤Ç -¤è¤¯»È¤ï¤ì¤ë¤È»×¤¦¤â¤Î¤ò°Ê²¼¤Ë¤¢¤²¤Æ¤ª¤¯¡£ +¸½ºß¤ÎOpenXM µ¬Ìó¤Ç¤Ï¡¢¥¿¥°(À°¿ôÃÍ)¤È¤·¤Æ +°Ê²¼¤Î¤â¤Î¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£ \begin{verbatim} + #define OX_COMMAND 513 -#define OX_DATA 514 +#define OX_DATA 514 +­¤ê¤Ê¤¤¤â¤Î¤ÏÄɲä·¤Þ¤·¤ç¤¦¡£ÂÕ¤±¤Æ¤Ï¥À¥á¤è¡£ + \end{verbatim} -¥Ü¥Ç¥£¤ÎÃæ¿È¤Ï¥¿¥°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤Ë¤è¤Ã¤Æ -¤½¤ì¤¾¤ìÆÈΩ¤Ë·è¤á¤é¤ì¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤â¤·¡¢¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½¤ò OpenXM µ¬Ìó¤Î¥á¥Ã¥»¡¼¥¸¤Ë -Ëä¤á¹þ¤ó¤Ç»È¤¤¤¿¤¤¾ì¹ç¤Ë¤Ï¡¢ -¥¿¥°¤ÎÃͤò¤³¤Î¤è¤¦¤ÊÍÑÅӤΤ¿¤á¤Ë¿ä¾©¤µ¤ì¤Æ¤¤¤ë -À°¿ôÃͤÎÈϰϤËÀßÄꤷ¡¢ -¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½¤ò¥Ü¥Ç¥£¤ËËä¤á¹þ¤á¤Ð¤è¤¤¡£ +¥Ü¥Ç¥£¤Î¹½Â¤¤Ï¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤Ë¤è¤Ã¤Æ°Û¤Ê¤ë¡£ +¤³¤ÎÏÀʸ¤Ç¤Ï¡¢OX\_DATA ¤È OX\_COMMAND ¤Ç¼±Ê̤µ¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤¤¤Æ¤Î¤ß¡¢ +ÀâÌÀ¤¹¤ë¡£ +´û¸¤Î¥á¥Ã¥»¡¼¥¸¤Ç¤ÏÂбþ¤Ç¤­¤Ê¤¤¾ì¹ç¤Ï¡¢¿·¤·¤¤¼±Ê̻ҤòÄêµÁ¤¹¤ë¤³¤È¤Ç¿·¤· +¤¤¼ïÎà¤Î¥á¥Ã¥»¡¼¥¸¤òºîÀ®¤¹¤ë¤³¤È¤¬¤Ç¤­¤ë¡£¤³¤ÎÊýË¡¤Ï³Æ¿ô³Ø¥½¥Õ¥È¥¦¥§¥¢¤Î +¸ÇÍ­¤Îɽ¸½¤ò´Þ¤à¥á¥Ã¥»¡¼¥¸¤òºîÀ®¤·¤¿¤¤¾ì¹ç¤Ê¤É¤ËÍ­¸ú¤Ç¤¢¤ë¡£¿·¤·¤¤¼±ÊÌ»Ò +¤ÎÄêµÁÊýË¡¤Ë¤Ä¤¤¤Æ¤Ï¡¢\cite{OpenXM-1999} ¤ò»²¾È¤¹¤ë¤³¤È¡£ \section{OpenXM ¤Î·×»»¥â¥Ç¥ë} %{\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó} -OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡£ -¤Þ¤¿¡¢ OpenXM µ¬Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç¡¢ -¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£ -¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ -¥µ¡¼¥Ð¤«¤é¥¯¥é¥¤¥¢¥ó¥È¤¬¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ -·×»»¤Î·ë²Ì¤¬ÆÀ¤é¤ì¤ë¡£ +OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡£¤Þ¤¿¡¢ OpenXM µ¬ +Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç¡¢¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼ +¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷ +¤ê¡¢¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ·×»»¤Î·ë²Ì¤¬ +ÆÀ¤é¤ì¤ë¡£ -¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤È²¾Äꤵ¤ì¤Æ¤ª¤ê¡¢ -¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¡¢ -¥¿¥°¤¬ OX\_COMMAND ¤Ç¤Ê¤±¤ì¤Ð¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£ -¥¿¥°¤¬ OX\_COMMAND ¤È¤Ê¤Ã¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï -¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤Ç¤¢¤ê¡¢¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã¤¿¥µ¡¼¥Ð¤Ï -¤½¤ì¤ËÂбþ¤¹¤ëÆ°ºî¤ò¹Ô¤Ê¤¦¤³¤È¤¬´üÂÔ¤µ¤ì¤Æ¤¤¤ë¡£ -¤·¤«¤·¡¢¥µ¡¼¥Ð¤Ï¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤é¤Ê¤¤¸Â¤ê¡¢ -¼«¤é²¿¤«Æ°ºî¤ò¹Ô¤Ê¤ª¤¦¤È¤Ï¤·¤Ê¤¤¡£ -¤³¤ì¤ÏËè²ó¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ë¤¿¤Ó¤Ë¡¢ -¤¤¤Ä¤â¥µ¡¼¥Ð¤«¤é¤Î¥á¥Ã¥»¡¼¥¸¤ò¥¯¥é¥¤¥¢¥ó¥È¤¬ÂÔ¤ÄɬÍפ¬¤Ê¤¤¤³¤È¤ò°ÕÌ£¤¹¤ë¡£ -¤³¤Î¤¿¤á¡¢¥¯¥é¥¤¥¢¥ó¥È¤Ï¥µ¡¼¥Ð¤Î¾õÂÖ¤òµ¤¤Ë¤»¤º¤Ë¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ -°ìö¥á¥Ã¥»¡¼¥¸¤òÁ÷ÉÕ¤·½ª¤¨¤¿¸å¡¢ -¥µ¡¼¥Ð¤ØÁ÷¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Î·ë²Ì¤ò -¥µ¡¼¥Ð¤«¤éÂԤĤ³¤È¤Ê¤·¤Ë¼¡¤ÎÆ°ºî¤Ë°Ü¤ë¤³¤È¤¬¤Ç¤­¤ë¡£ +¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¡£¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼ +¥¸¤Ï¡¢¥¿¥°¤¬ OX\_COMMAND ¤Ç¤Ê¤±¤ì¤Ð¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£¥¿¥°¤¬ +OX\_COMMAND ¤È¤Ê¤Ã¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤Ç¤¢¤ê¡¢¤³¤Î¥á¥Ã +¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã¤¿¥µ¡¼¥Ð¤Ï¤½¤ì¤ËÂбþ¤¹¤ëÆ°ºî¤ò¹Ô¤Ê¤¦¤³¤È¤¬´üÂÔ¤µ¤ì¤Æ¤¤¤ë¡£ +¥µ¡¼¥Ð¤Ï¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤é¤Ê¤¤¸Â¤ê¡¢¼«¤é²¿¤«Æ°ºî¤ò¤ª¤³¤Ê¤ï¤Ê¤¤¡£ +{\large\bf °ÕÌ£ÉÔÌÀ¤Ê½ñ¤­Êý¤À¤±¤É¡¢} ¤³¤ì¤ÏËè²ó¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ë +¤¿¤Ó¤Ë¡¢¤¤¤Ä¤â¥µ¡¼¥Ð¤«¤é¤Î¥á¥Ã¥»¡¼¥¸¤ò¥¯¥é¥¤¥¢¥ó¥È¤¬ÂÔ¤ÄɬÍפ¬¤Ê¤¤¤³¤È¤ò +°ÕÌ£¤¹¤ë¡£¤³¤Î¤¿¤á¡¢¥¯¥é¥¤¥¢¥ó¥È¤Ï¥µ¡¼¥Ð¤Î¾õÂÖ¤òµ¤¤Ë¤»¤º¤Ë¥á¥Ã¥»¡¼¥¸¤òÁ÷ +¤ê¡¢°ìö¥á¥Ã¥»¡¼¥¸¤òÁ÷ÉÕ¤·½ª¤¨¤¿¸å¡¢¥µ¡¼¥Ð¤ØÁ÷¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Î·ë²Ì¤ò¥µ¡¼ +¥Ð¤«¤éÂԤĤ³¤È¤Ê¤·¤Ë¼¡¤ÎÆ°ºî¤Ë°Ü¤ë¤³¤È¤¬¤Ç¤­¤ë¡£ \section{OpenXM ¤Î·×»»¤Î¿Ê¹ÔÊýË¡} +Á°¤ÎÀá¤È½ÅÊ£¤·¤Æ¤¤¤ë¤Î¤Ç¤â¤¦¾¯¤·¤Á¤ã¤ó¤È¹Í¤¨¤ÆÍߤ·¤¤¤Î¤À¤±¤ì¤É¡¢ + ¥µ¡¼¥Ð¤¬¹Ô¤¦¤Î¤Ï´ðËÜŪ¤Ë¼¡¤Î»öÊÁ¤À¤±¤Ç¤¢¤ë¡£ ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤È¡¢ ¥µ¡¼¥Ð¤Ï¤Þ¤º¥á¥Ã¥»¡¼¥¸¤Î¼±Ê̻ҤòÄ´¤Ù¡¢ @@ -166,7 +168,7 @@ OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡ \section{CMO ¤Î¥Ç¡¼¥¿¹½Â¤} -OpenXM µ¬Ìó¤Ç¤Ï¡¢¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤òɽ¸½¤¹¤ë¥ª¥ê¥¸¥Ê¥ë¤ÎÊýË¡¤È¤·¤Æ +OpenXM µ¬Ìó¤Ç¤Ï¡¢¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤òɽ¸½¤¹¤ëÊýË¡¤È¤·¤Æ CMO ·Á¼°(Common Mathematical Object format)¤òÄêµÁ¤·¤Æ¤¤¤ë¡£ ¤³¤Î CMO ·Á¼°¤ò»È¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ë¤Ë¤Ï¡¢ ¥¿¥°¤ò OX\_DATA ¤Ë¤¹¤ì¤Ð¤è¤¤¡£ @@ -204,7 +206,7 @@ OpenXM µ¬Ìó¤Î TCP/IP ¼ÂÁõ¤Ç¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç 32 bit ¤Þ¤¿¡¢Éé¤Î¿ô¤òɽ¸½¤¹¤ëɬÍפ¬¤¢¤ë¤È¤­¤Ë¤Ï¡¢ 2 ¤ÎÊä¿ôɽ¸½¤ò»È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤Ï¡¢ GNU MP LIBRARY Åù¤ò»²¹Í¤Ë¤·¤Æ¤ª¤ê¡¢ +CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤Ï¡¢ Gnu MP¥é¥¤¥Ö¥é¥êÅù¤ò»²¹Í¤Ë¤·¤Æ¤ª¤ê¡¢ Éä¹çÉÕ¤­ÀäÂÐÃÍɽ¸½¤òÍѤ¤¤Æ¤¤¤ë¡£ ¥¿¥°°Ê¹ß¤Î·Á¼°¤Ï¼¡¤Î¤è¤¦¤Ë¤Ê¤ë¡£ @@ -240,29 +242,60 @@ $4294967298 = 1 \times 2^{32} + 2$ ¤ò CMO ·Á¼°¤Î ¤È¤Ê¤ë¡£ -\section{MathCap ¤Ë¤Ä¤¤¤Æ} +\section{mathcap ¤Ë¤Ä¤¤¤Æ} -OpenXM µ¬Ìó¤Ç¤Ï¡¢ÄÌ¿®»þ¤ËÍѤ¤¤é¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò -³Æ¥½¥Õ¥È¥¦¥§¥¢¤¬À©¸Â¤¹¤ëÊýË¡¤òÍÑ°Õ¤·¤Æ¤¤¤ë¡£ -¤Ê¤¼¤Ê¤é¡¢¥µ¡¼¥Ð¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥ÈÁÐÊý¤È¤â¤Ë OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë -¤¹¤Ù¤Æ¤Î¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò¼õ¤±¼è¤ì¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¤«¤é¤Ç¤¢¤ë¡£ -¤½¤³¤Ç¡¢ OpenXM ¤Ç¤ÏÁê¼ê¦¤¬¼õ¤±¼è¤ë¤³¤È¤¬¤Ç¤­¤ë -¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò¼ýÆÀ¤¹¤ëÊýË¡¤òÍÑ°Õ¤·¤Æ¤¤¤ë¡£ +OpenXM µ¬Ìó¤Ç¤Ï¡¢ÄÌ¿®»þ¤ËÍѤ¤¤é¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò³Æ¥½¥Õ¥È¥¦¥§¥¢¤¬À© +¸Â¤¹¤ëÊýË¡¤òÍÑ°Õ¤·¤Æ¤¤¤ë¡£¤³¤ì¤Ï³Æ¥½¥Õ¥È¥¦¥§¥¢¤Î¼ÂÁõ¤Ë¤è¤Ã¤Æ¤Ï¤¹¤Ù¤Æ¤Î¥á¥Ã +¥»¡¼¥¸¤ò¥µ¥Ý¡¼¥È¤¹¤ë¤Î¤¬º¤Æñ¤Ê¾ì¹ç¤¬¤¢¤ë¤«¤é¤Ç¤¢¤ë¡£¤Þ¤¿¡¢³Æ¥½¥Õ¥È¥¦¥§¥¢ +¤Ç¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò³ÈÄ¥¤·¤¿¤¤¾ì¹ç¤Ë¤âÍ­¸ú¤Ç¤¢¤ë¡£ +¤³¤ÎÀ©¸Â(¤¢¤ë¤¤¤Ï³ÈÄ¥)¤Ï mathcap ¤È¸Æ¤Ð¤ì¤ë¥Ç¡¼¥¿¹½Â¤¤Ë¤è¤Ã¤Æ¹Ô¤ï¤ì¤ë¡£ +¤³¤ÎÀá¤Ç¤Ï mathcap ¤Î¥Ç¡¼¥¿¹½Â¤¤È¡¢¶ñÂÎŪ¤Ê¥á¥Ã¥»¡¼¥¸¤ÎÀ©¸Â¤Î¼ê³¤­¤Ë¤Ä +¤¤¤ÆÀâÌÀ¤¹¤ë¡£ -CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë MathCap ¥Ç¡¼¥¿¤Ï -%Íý²ò²Äǽ¤Ê¥á¥Ã¥»¡¼¥¸¤Î +¤Þ¤º¡¢¼ê³¤­¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤è¤¦¡£ + +\begin{quote} +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +\end{quote} + +¼¡¤Ë mathcap ¤Î¥Ç¡¼¥¿¹½Â¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë¡£ + +\begin{quote} +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +\end{quote} + +¶ñÂÎŪ¤Ê mathcap ¤ÎÎã¤ò¤¢¤²¤ë¡£ + +\begin{quote} +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ÀâÌÀ¡£ +\end{quote} + + +{\large\bf ¤³¤ì¤è¤ê°Ê¹ß¤Ï°ÕÌ£ÉÔÌÀ¤Ç»ä¤Ë¤Ï¤è¤¯Ê¬¤«¤ê¤Þ¤»¤ó¤Ç¤·¤¿¤Î¤Ç¡¢ +¤¿¤Ö¤óÆɼԤâʬ¤«¤é¤Ê¤¤¤Ç¤·¤ç¤¦¤Í¡¢¤È¤¤¤¦¤Î¤Ï¤¤¤¤¤È¤·¤Æ¡¢} +CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë mathcap ¥Ç¡¼¥¿¤Ï ¼õ¤±¼è¤ë¤³¤È¤¬¤Ç¤­¤ë¥Ç¡¼¥¿·Á¼°¤òɽ¤¹¥Ç¡¼¥¿¤Ç¤¢¤ê¡¢ -Í׵ᤵ¤ì¤ì¤Ð¥µ¡¼¥Ð¤Ï¥µ¡¼¥Ð¼«¿È¤Î MathCap ¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ -¤Þ¤¿¡¢¥¯¥é¥¤¥¢¥ó¥È¤«¤é MathCap ¥Ç¡¼¥¿¤ò¥µ¡¼¥Ð¤ØÁ÷¤ë¤³¤È¤â¤Ç¤­¡¢ -MathCap ¥Ç¡¼¥¿¤ò¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¸ò´¹¤¹¤ë¤³¤È¤Ë¤è¤Ã¤Æ¡¢ +Í׵ᤵ¤ì¤ì¤Ð¥µ¡¼¥Ð¤Ï¥µ¡¼¥Ð¼«¿È¤Î mathcap ¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ +¤Þ¤¿¡¢¥¯¥é¥¤¥¢¥ó¥È¤«¤é mathcap ¥Ç¡¼¥¿¤ò¥µ¡¼¥Ð¤ØÁ÷¤ë¤³¤È¤â¤Ç¤­¡¢ +mathcap ¥Ç¡¼¥¿¤ò¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¸ò´¹¤¹¤ë¤³¤È¤Ë¤è¤Ã¤Æ¡¢ ¤ª¸ß¤¤¤ËÁê¼ê¦¤¬¼õ¤±¼è¤ë¤³¤È¤¬¤Ç¤­¤Ê¤¤¥Ç¡¼¥¿·Á¼°¤Ç ¥á¥Ã¥»¡¼¥¸¤òÁ÷¤Ã¤Æ¤·¤Þ¤¦¤Î¤òËɤ°¤³¤È¤¬¤Ç¤­¤ë¡£ -¤Ê¤ª¡¢ MathCap ¥Ç¡¼¥¿¤ÎÃæ¤Ç¤Ï CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë +¤Ê¤ª¡¢ mathcap ¥Ç¡¼¥¿¤ÎÃæ¤Ç¤Ï CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë 32 bit À°¿ô¡¢Ê¸»úÎ󡢥ꥹ¥È¹½Â¤¤¬»È¤ï¤ì¤Æ¤ª¤ê¡¢ -MathCap ¥Ç¡¼¥¿¤Ë´Þ¤Þ¤ì¤Æ¤¤¤ëÆâÍƤòÍý²ò¤Ç¤­¤ë¤¿¤á¤Ë¤Ï -ɬÁ³Åª¤Ë¤³¤ì¤é¤âÍý²ò¤Ç¤­¤ëɬÍפ¬¤¢¤ë¡£ +mathcap ¥Ç¡¼¥¿¤Ë´Þ¤Þ¤ì¤Æ¤¤¤ëÆâÍƤòÍý²ò¤Ç¤­¤ë¤¿¤á¤Ë¤Ï +ɬÁ³Åª¤Ë¤³¤ì¤é¤âÍý²ò¤Ç¤­¤ëɬÍפ¬¤¢¤ë(¤Ã¤Æ¤³¤È¤Ï CMO ·Á¼°¤Î¤È¤³¤í¤Ç¤³¤ì¤é +¤òÀâÌÀ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¤Ã¤Æ¤³¤È¤Ç¤¹¤Í¡¢Åļ·¯)¡£ -OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ MathCap ¤ò°Ê²¼¤Ë¼¨¤¹¡£ +OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ mathcap ¤ò°Ê²¼¤Ë¼¨¤¹¡£ ¤Ê¤ª¡¢ $a_1$, $a_2$, $\cdots$, $a_n$ ¤òÍ×ÁÇ¤Ë »ý¤Ä¥ê¥¹¥È¹½Â¤¤ò {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} ¡¢ @@ -282,7 +315,7 @@ OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math ] \end{verbatim} -¤³¤Î MathCap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礭¤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£ +¤³¤Î mathcap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礭¤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£ ºÇ½é¤Î {\tt [199901160,"ox\_asir"]} ¤ÎÉôʬ¤Ë¤Ï¥µ¡¼¥Ð¤Î¾ðÊó¤¬Æþ¤Ã¤Æ¤¤¤ë¡£ %¤³¤ÎºÇ½é¤ÎÍ×ÁǤ¬¤Þ¤¿¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ ºÇ½é¤ÎÍ×ÁǤϥС¼¥¸¥ç¥ó¥Ê¥ó¥Ð¡¼¤ò¡¢¼¡¤ÎÍ×ÁǤϥµ¡¼¥Ð¤Î̾Á°¤òɽ¤·¤Æ¤¤¤ë¡£ @@ -314,19 +347,23 @@ ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤« \section{¥»¥­¥å¥ê¥Æ¥£Âкö} -OpenXM µ¬Ìó¤Ï TCP/IP ¥½¥±¥Ã¥È¤òÍѤ¤¤ÆÄÌ¿®Ï©¤ò³ÎÊݤ¹¤ë¤³¤È¤ò -¹Íθ¤·¤Æ¤¤¤ë¡£ -¥Í¥Ã¥È¥ï¡¼¥¯¤Ë¤è¤Ã¤ÆÀܳ¤µ¤ì¤ë¸½ºß¤Î¿¤¯¤Î¥½¥Õ¥È¥¦¥§¥¢¤¿¤Á¤ÈƱÍͤˡ¢ +OpenXM µ¬Ìó¤Ï TCP/IP ¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤¦¤³¤È¤ò¹Íθ¤·¤Æ¤¤¤ëµ¬Ìó¤Ç¤¢¤ë¡£ +¥Í¥Ã¥È¥ï¡¼¥¯¤Ë¤è¤Ã¤ÆÀܳ¤µ¤ì¤ë¸½Âå¤Î¿¤¯¤Î¥½¥Õ¥È¥¦¥§¥¢¤ÈƱÍÍ¡¢ OpenXM µ¬Ìó¤â¤Þ¤¿ÄÌ¿®»þ¤Î¥»¥­¥å¥ê¥Æ¥£¤Ë¤Ä¤¤¤ÆÃí°Õ¤·¤Æ¤¤¤ë¡£ +°Ê²¼¡¢¤³¤Î¤³¤È¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤è¤¦¡£ -¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤­¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤Ë¡¢ -Àܳ¤¬É¬Íפˤʤä¿»þ¤Î¤ßÀܳ¤òÂԤĤ褦¤Ë¤·¡¢ -¾ï¤ËÀܳ¤Ë´ØÍ¿¤¹¤ë¤È¤¤¤Ã¤¿¤³¤È¤ÏÈò¤±¤Æ¤¤¤ë¡£ +{\large\bf °ÕÌ£ÉÔÌÀ¤Ê¤³¤È¤ò½ñ¤¤¤Æ¤¤¤ë¤¬¡¢} +¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤­¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤¹¤ë¤¿ +¤á¤Ë¡¢Àܳ¤¬É¬Íפˤʤä¿»þ¤Î¤ßÀܳ¤òÂԤĤ褦¤Ë¤·¡¢ +¾ï¤ËÀܳ¤Ë´ØÍ¿¤¹¤ë¤È¤¤¤Ã¤¿¤³¤È¤ÏÈò¤±¤Æ¤¤¤ë(¤ä¤Ã¤Ñ¤ê°ÕÌ£ÉÔÌÀ¤Ç¤¢¤ë)¡£ + ¤Þ¤¿¡¢¿¯Æþ¼Ô¤¬Àܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤­¤òÁÀ¤Ã¤Æ¤¯¤ë²ÄǽÀ­¤â¤¢¤ë¤Î¤Ç¡¢ -Àܳ¤ò¹Ô¤Ê¤¦»þ¤ËÀܳ¤òÂԤĥݡ¼¥ÈÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë¡£ +Àܳ¤ò¹Ô¤Ê¤¦»þ¤ËÀܳ¤òÂԤĥݡ¼¥ÈÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë(郎·è¤á¤Æ¤¤ +¤ë¤Î¤«¤Ï¤ä¤Ã¤Ñ¤êÉÔÌÀ¤Ç¤¢¤ë¤¬)¡£ ¤µ¤é¤Ë¤â¤¦°ìÃÊ°ÂÁ´À­¤ò¹â¤á¤ë¤¿¤á¤Ë¡¢ Àܳ»þ¤Ë 1 ²ó¤À¤±»ÈÍѲÄǽ¤Ê¥Ñ¥¹¥ï¡¼¥É¤òºîÀ®¤·¡¢ -¤½¤Î¥Ñ¥¹¥ï¡¼¥É¤ò»È¤Ã¤Æǧ¾Ú¤ò¹Ô¤Ê¤¦¡£ +¤½¤Î¥Ñ¥¹¥ï¡¼¥É¤ò»È¤Ã¤Æǧ¾Ú¤ò¹Ô¤Ê¤¦(郎¥Ñ¥¹¥ï¡¼¥É¤ò·è¤á¤Æ郎ǧ¾Ú¤ò¹Ô¤Ã +¤Æ¤¤¤ë¤Î¤«¤¬ÉÔÌÀ¤À¤±¤É)¡£ ¤³¤Î¥Ñ¥¹¥ï¡¼¥É¤Ï°ìö»ÈÍѤµ¤ì¤ì¤Ð̵¸ú¤Ë¤¹¤ë¤Î¤Ç¡¢ ¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤À¤È¹Í¤¨¤Æ¤¤¤ë¡£ @@ -342,7 +379,6 @@ OpenXM µ¬Ìó¤â¤Þ¤¿ÄÌ¿®»þ¤Î¥»¥­¥å¥ê¥Æ¥£¤Ë¤Ä¤¤¤ÆÃí°Õ¤·¤Æ¤ ¤â¤·É¬Íפ¬¤¢¤ì¤Ð¡¢ÄÌ¿®Ï©¤Î°Å¹æ²½¤ò¹Ô¤Ê¤¦µ¡Ç½¤¬¤¢¤ë ¥½¥Õ¥È¥¦¥§¥¢ ssh ¤ò»È¤¦¤³¤È¤ò¹Í¤¨¤Æ¤¤¤ë¡£ - \section{¾¤Î¥×¥í¥¸¥§¥¯¥È} ¾¤Î¥×¥í¥¸¥§¥¯¥È¤Ë¤Ä¤¤¤Æ¤â¿¨¤ì¤Æ¤ª¤³¤¦¡£ @@ -388,9 +424,14 @@ OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤­¤ë¡£ ¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢ OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£ -\begin{thebibliography}{9} -\item OpenXM ¤ÎÀ߷פȼÂÁõ -\item Open asir ÆþÌç +\begin{thebibliography}{99} +\bibitem{OpenXM-1999} +ÌîϤÀµ¹Ô, ¹â»³¿®µ£. +{Open XM ¤ÎÀ߷פȼÂÁõ --- Open message eXchange protocol for Mathematics}, +1999/11/22 +\bibitem{Ohara-Takayama-Noro-1999} +¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô. +{Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo). \end{thebibliography} \end{document}