=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.45 retrieving revision 1.51 diff -u -p -r1.45 -r1.51 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/22 16:17:47 1.45 +++ OpenXM/doc/Attic/genkou19991125.tex 1999/12/23 04:02:19 1.51 @@ -1,6 +1,13 @@ + \documentclass{jarticle} -\title{¥¿¥¤¥È¥ë̤Äê} +%% $OpenXM$ + +\title{ +1. ¤¤¤¤¤«¤²¤ó¥¹¥¿¥¤¥ë¥Õ¥¡¥¤¥ë¤ò¤«¤¨¤è¤¦¡£\\ +2. °ÕÌ£¤â¤Ê¤¤½¤¾þ²á¾ê¤Ê¸ì¶ç¤ÏÇÓ½ü¤·¤Þ¤·¤ç¤¦¡£ +TCP/IP ¥½¥±¥Ã¥È¤È¤«¡¢TCP/IP ¼ÂÁõ¤È¤«²¿¤Î¤³¤Ã¤Á¤ã¤È»×¤¤¤Þ¤·¤¿¡£ +} \author{ Á°Àî ¾­½¨\thanks{¿À¸ÍÂç³ØÍý³ØÉô¿ô³Ø²Ê}, ÌîϤ Àµ¹Ô\thanks{ÉÙ»ÎÄ̸¦µæ½ê}, @@ -29,36 +36,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 +79,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,51 +170,70 @@ OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡ \section{CMO ¤Î¥Ç¡¼¥¿¹½Â¤} -OpenXM µ¬Ìó¤Ç¤Ï¡¢¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤òɽ¸½¤¹¤ë¥ª¥ê¥¸¥Ê¥ë¤ÎÊýË¡¤È¤·¤Æ +OpenXM µ¬Ìó¤Ç¤Ï¡¢¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤òɽ¸½¤¹¤ëÊýË¡¤È¤·¤Æ CMO ·Á¼°(Common Mathematical Object format)¤òÄêµÁ¤·¤Æ¤¤¤ë¡£ - -OpenXM µ¬Ìó¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤ò¼ÂºÝ¤ËºîÀ®¤¹¤ë¾ì¹ç¡¢ +¤³¤Î CMO ·Á¼°¤ò»È¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ë¤Ë¤Ï¡¢ +¥¿¥°¤ò OX\_DATA ¤Ë¤¹¤ì¤Ð¤è¤¤¡£ +CMO ·Á¼°¤Ë¤ª¤±¤ë¥á¥Ã¥»¡¼¥¸¤Î¥Ü¥Ç¥£Éôʬ¤Ë¤Ä¤¤¤Æ°Ê²¼¤ÇÀâÌÀ¤¹¤ë¤¬¡¢ +%OpenXM µ¬Ìó¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤ò¼ÂºÝ¤ËºîÀ®¤¹¤ë¾ì¹ç¡¢ CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¿ÇÜĹÀ°¿ô¤òÍý²ò¤·¤Æ¤ª¤¯¤È¡¢ -CMO ·Á¼°¤Î¾¤Î¥Ç¡¼¥¿¹½Â¤¤À¤±¤Ç¤Ê¤¯¡¢ OX ·Á¼°¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤ò -Íý²ò¤¹¤ë½õ¤±¤Ë¤Ê¤ë¤È»×¤¨¤ë¤Î¤Ç¡¢ CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤Î -¥Ç¡¼¥¿¹½Â¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë¡£ +CMO ·Á¼°¤Î¾¤Î¥Ç¡¼¥¿¹½Â¤¤À¤±¤Ç¤Ê¤¯¡¢ +OpenXM µ¬Ìó¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ëÍÍ¡¹¤Ê¥Ç¡¼¥¿¹½Â¤¤òÍý²ò¤¹¤ë½õ¤±¤Ë¤Ê¤ë¤È»×¤¨¤ë¤Î¤Ç¡¢ +¤³¤³¤Ç¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤Î¥Ç¡¼¥¿¹½Â¤¤Ë¤Ä¤¤¤Æ¤Î¤ßÀâÌÀ¤¹¤ë¡£ CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥Ç¡¼¥¿¤Ï¿ÇÜĹÀ°¿ô°Ê³°¤Ë¤â ʸ»úÎó¤ä¥ê¥¹¥È¹½Â¤¤Ê¤É¤¬¤¢¤ë¡£¤É¤Î¤è¤¦¤Ê¥Ç¡¼¥¿¤Ç¤¢¤ë¤«¤Ï -¥Ç¡¼¥¿¤ÎÀèƬ¤Ë¤¢¤ë¥¿¥°¤ò¸«¤ì¤ÐȽÊ̤Ǥ­¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤³¤ì¤Ï¥á¥Ã¥»¡¼¥¸¤Î¥Ç¡¼¥¿¤ÎȽÊ̤λÅÊý¤È¤ª¤Ê¤¸¤Ç¤¢¤ë¡£ +¥Ç¡¼¥¿¤ÎÀèƬ¤Ë¤¢¤ë(¥á¥Ã¥»¡¼¥¸¤Î¼±Ê̻ҤȤÏÊ̤ˤ¢¤ë)¥¿¥°¤ò¸«¤ì¤Ð +ȽÊ̤Ǥ­¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ +¤³¤ì¤Ï¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ÎȽÊ̤λÅÊý¤È¤ª¤Ê¤¸¤Ç¤¢¤ë¡£ ¤Ê¤ª¡¢¥¿¥°¤Ï³Æ¥Ç¡¼¥¿Ëè¤Ë 32 bit ¤ÎÀ°¿ô¤Çɽ¤µ¤ì¤Æ¤ª¤ê¡¢ ¿ÇÜĹÀ°¿ô¤Ï 20 ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤³¤³¤Ç 32 bit ¤ÎÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ëɬÍפ¬¤¢¤ë¡£ -OpenXM ¤Ç¤Ï¥Ð¥¤¥ÈÎó¤Ç 32 bit ¤ÎÀ°¿ô 20 ¤ò +¤è¤¯»È¤ï¤ì¤ë¤È»×¤ï¤ì¤ë CMO ·Á¼°¤Î¥¿¥°¤ò¤¢¤²¤Æ¤ª¤¯¡£ +\begin{verbatim} +#define CMO_INT32 2 /* 32 ¥Ó¥Ã¥ÈÀ°¿ô */ +#define CMO_STRING 4 /* ʸ»úÎó */ +#define CMO_LIST 17 /* ¥ê¥¹¥È¹½Â¤ */ +#define CMO_ZZ 20 /* ¿ÇÜĹÀ°¿ô */ +\end{verbatim} + +¤³¤³¤Ç TCP/IP ¼ÂÁõ¤Ë¤ª¤±¤ë 32 bit ¤ÎÀ°¿ô¤Î +ɽ¸½ÊýË¡¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ëɬÍפ¬¤¢¤ë¡£ +OpenXM µ¬Ìó¤Î TCP/IP ¼ÂÁõ¤Ç¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç 32 bit ¤ÎÀ°¿ô 20 ¤ò {\tt 00 00 00 14} ¤Èɽ¤¹ÊýË¡¤È {\tt 14 00 00 00} ¤Èɽ¤¹ÊýË¡¤¬¤¢¤ë¡£ ¤³¤Îɽ¸½ÊýË¡¤Î°ã¤¤¤Ï¥¯¥é¥¤¥¢¥ó¥È¤È¥µ¡¼¥Ð¤ÎºÇ½é¤ÎÀܳ»þ¤Ë ÁÐÊý¤Î¹ç°Õ¤Ç·èÄꤹ¤ë¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤Ê¤ª¡¢¹ç°Õ¤¬¤Ê¤¤¾ì¹ç¤Ë¤Ï -Á°¼Ô¤Îɽ¸½ÊýË¡(°Ê¸å¡¢¤³¤Îɽ¸½ÊýË¡¤ò network byte order ¤È¸Æ¤Ö)¤ò +¤Ê¤ª¡¢¹ç°Õ¤¬¤Ê¤¤¾ì¹ç¤Ë¤ÏÁ°¼Ô¤Îɽ¸½ÊýË¡ +(°Ê¸å¡¢¤³¤Îɽ¸½ÊýË¡¤ò¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤È¸Æ¤Ö)¤ò »È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ ¤Þ¤¿¡¢Éé¤Î¿ô¤òɽ¸½¤¹¤ëɬÍפ¬¤¢¤ë¤È¤­¤Ë¤Ï¡¢ 2 ¤ÎÊä¿ôɽ¸½¤ò»È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -ɽ¸½¤·¤¿¤¤Â¿ÇÜĹÀ°¿ô¤ÎÀäÂÐÃͤò 2 ¿Ê¿ô¤Çɽ¤·¤¿¾ì¹ç¤Î·å¿ô¤ò $n$ ¤È -¤·¤¿¤È¤­¡¢¼¡¤Ë¤¯¤ë¥Ç¡¼¥¿¤Ï $[(n+31)/32]$ ¤ò 32 bit ¤ÎÀ°¿ô¤È¤Ê¤ë¡£ -¤³¤ì¤Ï¿ÇÜĹÀ°¿ô¤ÎÀäÂÐÃͤò $2^{32}$ ¿Ê¿ô¤Çɽ¤·¤¿¾ì¹ç¤Î·å¿ô¤È¤È¤Ã¤Æ¤â¤è¤¤¡£ -¤¿¤À¤·¡¢É½¸½¤·¤¿¤¤¿ô¤¬Éé¤Î¾ì¹ç¤Ï $[(n+31)/32]$ ¤ò 32 bit ¤ÎÀ°¿ô¤Çɽ¤·¤¿Ãͤò - 2 ¤ÎÊä¿ôɽ¸½¤ÇÉé¤Ë¤·¤Æ¡¢Àµ¤Î¾ì¹ç¤È¶èÊ̤¹¤ë¡£ +CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤Ï¡¢ Gnu MP¥é¥¤¥Ö¥é¥êÅù¤ò»²¹Í¤Ë¤·¤Æ¤ª¤ê¡¢ +Éä¹çÉÕ¤­ÀäÂÐÃÍɽ¸½¤òÍѤ¤¤Æ¤¤¤ë¡£ +¥¿¥°°Ê¹ß¤Î·Á¼°¤Ï¼¡¤Î¤è¤¦¤Ë¤Ê¤ë¡£ -ɽ¸½¤·¤¿¤¤Â¿ÇÜĹÀ°¿ô¤ÎÀäÂÐÃͤ¬ $2^{32}$ ¿Ê¿ô¤Ç $(b_0 b_1 ... b_k)_{2^{32}}$ -¤Èɽ¤»¤ë¤È¤­¡¢¼¡¤Ë¤¯¤ë¥Ç¡¼¥¿¤Ï $b_0$, $b_1$, $\cdots$, $b_k$ ¤ò -¤½¤ì¤¾¤ì 32 bit ¤ÎÀ°¿ô¤Çɽ¸½¤·¤¿ÃͤȤʤ롣 -%°Ê²¼¤Ï½ñ¤­Ä¾¤·¤ÎɬÍפ¬¤¢¤ë¤«¤â... -¤Ê¤ª¡¢ GNU MP LIBRARY ¤òÍѤ¤¤ë¤È¡¢ -C ¸À¸ì¤«¤é¿ÇÜĹÀ°¿ô¤äǤ°ÕÀºÅÙÉâÆ°¾®¿ô¤ò°·¤¦¤³¤È¤¬¤Ç¤­¤ë¡£ -$b_0$, $b_1$, $\cdots$, $b_k$ ¤ò¤½¤ì¤¾¤ì 32 bit À°¿ô¤Çɽ¸½¤·¤¿ÃÍ¤Ï -¤³¤Î GNU MP LIBRARY ¤ÇÍѤ¤¤é¤ì¤Æ¤¤¤ë¿ÇÜĹÀ°¿ô¤Ç»È¤ï¤ì¤Æ¤¤¤ë·Á¼°¤ò -»²¹Í¤Ë¤·¤Æ¹ç¤ï¤»¤Æ¤¢¤ë¡£ +\begin{tabular}{|c|c|c|c|c|} \hline +$f$ & $b_0$ & $b_1$ & $\cdots$ & $b_{n-1}$ \\ \hline +\end{tabular} +¤³¤³¤Ç¡¢ 1 ¤Ä¤ÎÏÈ¤Ï 4 ¥Ð¥¤¥È¤òɽ¤·¡¢ +$f$ ¤ÏÉä¹çÉÕ¤­ 32 ¥Ó¥Ã¥ÈÀ°¿ô¤ò¡¢ +$b_0$, $b_1$, $\cdots$, $b_{n-1}$ ¤ÏÉä¹ç¤Ê¤· 32 ¥Ó¥Ã¥ÈÀ°¿ô¤òɽ¤·¤Æ¤¤¤ë¡£ +¤µ¤é¤Ë¡¢ $|f| = n$ ¤¬À®¤êΩ¤¿¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ +¤³¤Î¥ª¥Ö¥¸¥§¥¯¥È¤Ï +\[ \mbox{sgn}(f) \times \{ b_0 (2^{32})^0 + b_1 (2^{32})^1 + \cdots + + b_{n-1} (2^{32})^{n-1} \} \] +¤È¤¤¤¦À°¿ô¤Ç¤¢¤ë¤ÈÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£ +¤¿¤À¤·¡¢ +\[ \mbox{sgn}(f) = \left\{ \begin{array}{ll} + 1 & f>0 \\ + 0 & f=0 \\ + -1 & f<0 \\ \end{array} \right. \] +¤Ç¤¢¤ë¡£ + ¤³¤³¤Ç¶ñÂÎÎã¤ò¤À¤½¤¦¡£ -$4294967298 = 1 \times 2^{32} + 2$ ¤ò network byte order ¤Î¿ÇÜĹÀ°¿ô¤Ç -ɽ¸½¤¹¤ë¤È¡¢ +$4294967298 = 1 \times 2^{32} + 2$ ¤ò CMO ·Á¼°¤Î +¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¡¢Â¿ÇÜĹÀ°¿ô¤Çɽ¸½¤¹¤ë¤È¡¢ \begin{center} {\tt 00 00 00 14 00 00 00 02 00 00 00 02 00 00 00 01} \end{center} @@ -221,34 +244,65 @@ $4294967298 = 1 \times 2^{32} + 2$ ¤ò network byte ord ¤È¤Ê¤ë¡£ -\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$]} ¡¢ -%ʸ»úÎó ``string'' ¤ò {\tt "string"} ¡¢ 32 bit À°¿ô¤ò -%¤½¤ì¤ËÂбþ¤¹¤ë 10 ¿Ê¿ô¤ÎÀ°¿ô¤Ç¼¨¤¹¡£ +¤Ê¤ª¡¢ $a_1$, $a_2$, $\cdots$, $a_n$ ¤òÍ×ÁÇ¤Ë +»ý¤Ä¥ê¥¹¥È¹½Â¤¤ò {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} ¡¢ +ʸ»úÎó ``string'' ¤ò {\tt "string"} ¡¢ 32 bit À°¿ô¤ò +¤½¤ì¤ËÂбþ¤¹¤ë 10 ¿Ê¿ô¤ÎÀ°¿ô¤Ç¼¨¤¹¡£ %¢­¼ê¤Çºî¤Ã¤¿¤Î¤Ç´Ö°ã¤¨¤Æ¤¤¤ë²ÄǽÀ­¤¢¤ê¡£ %%¸Å¤¤¥Ð¡¼¥¸¥ç¥ó¡£º¹¤·Âؤ¨¤ÎɬÍפ¢¤ê¡£ @@ -263,15 +317,15 @@ OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math ] \end{verbatim} -¤³¤Î MathCap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礭¤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£ +¤³¤Î mathcap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礭¤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£ ºÇ½é¤Î {\tt [199901160,"ox\_asir"]} ¤ÎÉôʬ¤Ë¤Ï¥µ¡¼¥Ð¤Î¾ðÊó¤¬Æþ¤Ã¤Æ¤¤¤ë¡£ %¤³¤ÎºÇ½é¤ÎÍ×ÁǤ¬¤Þ¤¿¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ ºÇ½é¤ÎÍ×ÁǤϥС¼¥¸¥ç¥ó¥Ê¥ó¥Ð¡¼¤ò¡¢¼¡¤ÎÍ×ÁǤϥµ¡¼¥Ð¤Î̾Á°¤òɽ¤·¤Æ¤¤¤ë¡£ ¼¡¤Î {\tt [276,275,$\cdots$,271]} ¤ÎÉôʬ¤Ï -¥µ¡¼¥Ð¤ËÂФ¹¤ëÆ°ºî¤ËÂбþ¤·¤¿Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¼ïÎà¤òɽ¤·¤Æ¤¤¤ë¡£ -¥µ¡¼¥Ð¤ÎÆ°ºî¤ËÂФ¹¤ë¥Ç¡¼¥¿¤Ï¤¹¤Ù¤Æ 32 bit ¤ÎÀ°¿ô¤Çɽ¤·¤Æ¤ª¤ê¡¢ -¤³¤Î¥ê¥¹¥È¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤ËÂбþ¤¹¤ë 32 bit À°¿ô¤Î¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤¤¤ë¡£ +¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤Î¤¦¤Á¡¢ÍøÍѲÄǽ¤ÊÌ¿Îá¤Î¼ïÎà¤òɽ¤·¤Æ¤¤¤ë¡£ +¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤Ï¤¹¤Ù¤Æ 32 ¥Ó¥Ã¥È¤ÎÀ°¿ô¤Çɽ¤·¤Æ¤ª¤ê¡¢ +¤³¤Î¥ê¥¹¥È¤ÏÍøÍѲÄǽ¤ÊÌ¿Îá¤ËÂбþ¤¹¤ë 32 ¥Ó¥Ã¥È¤ÎÀ°¿ô¤Î¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤¤¤ë¡£ ºÇ¸å¤Î {\tt [ [514,[1,2,3,$\cdots$,60]],[2144202544,[0,1]] ]} ¤ÎÉôʬ¤Ï Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î·Á¼°¤òɽ¤·¤Æ¤¤¤ë¡£ @@ -288,14 +342,6 @@ CMO ·Á¼°¤Ç¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¥¿¥°¤¬¥ê¥¹¥È¤ÎÃæ¤Ë¼ý¤Þ¤Ã ¤³¤Î¥ê¥¹¥È¤Ë 20 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢ ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤«¤ë¡£ -%%¤³¤Î¥ê¥¹¥È¤ÎÍ×ÁǤϤޤ¿¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ -%¤³¤ÎºÇ¸å¤ÎÉôʬ¤â¤Þ¤¿¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ -%¤¢¤ë¥Ç¡¼¥¿·Á¼°¤ÇÍý²ò²Äǽ¤Ê¤â¤Î¤òɽ¸½¤·¤¿¥ê¥¹¥È¤òÍ×ÁǤȤ·¤Æ¤¤¤ë¡£ -%{\tt [514,[1, 2, $\cdots$]]} ¤ÎºÇ½é¤Î 514 ¤Ï¤³¤Î¥ê¥¹¥È¤¬ CMO ·Á¼° -%¤Ç¤ÎÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤òɽ¤·¤Æ¤¤¤ë¤³¤È¤ò¼¨¤·¤Æ¤ª¤ê¡¢ -%¤½¤Î¸å¤Î¥ê¥¹¥È¤Ç¤Ï CMO ÁؤÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥Ç¡¼¥¿¤Î¤¦¤Á¡¢ -%Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¥¿¥°¤¬Ê¤ó¤Ç¤¤¤ë¡£ - ¤Ê¤ª¡¢¥Ç¡¼¥¿¤¬¼õ¤±¼è¤ì¤ë¤³¤È¤È¡¢ ¥Ç¡¼¥¿¤ÎÏÀÍý¹½Â¤¤¬Íý²ò¤Ç¤­¤ë¤³¤È¤È¤Ï¤Þ¤Ã¤¿¤¯ÊÌʪ¤Ç¤¢¤ë¤Î¤Ç Ãí°Õ¤¹¤ëɬÍפ¬¤¢¤ë¡£ @@ -303,43 +349,38 @@ ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤« \section{¥»¥­¥å¥ê¥Æ¥£Âкö} -OpenXM ¤Ç¤Ï´ö¤é¤«¤Î¥»¥­¥å¥ê¥Æ¥£Âкö¤ò¹Í¤¨¤Æ¤¤¤ë¡£ -OpenXM ¤ËÂбþ¤·¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò¥¯¥é¥Ã¥¯¤·¤Æ¤â -Â礷¤¿ÍøÅÀ¤Ï¤Ê¤¤¤È»×¤¨¤ë¤¬¡¢¤½¤ì¤ÏÀß·×¾å¤ÎÏäǤ¢¤Ã¤Æ¡¢ -ͽ´ü¤»¤Ì¼êÃʤǹ¶·â¤ò¼õ¤±¤¿¾ì¹ç¤Ë¤É¤Î¤è¤¦¤Ê»öÂÖ¤ò -¾·¤¯¤«¤ÏÁÛÁü¤·Æñ¤¤¡£ +OpenXM µ¬Ìó¤Ï TCP/IP ¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤¦¤³¤È¤ò¹Íθ¤·¤Æ¤¤¤ëµ¬Ìó¤Ç¤¢¤ë¡£ +¥Í¥Ã¥È¥ï¡¼¥¯¤Ë¤è¤Ã¤ÆÀܳ¤µ¤ì¤ë¸½Âå¤Î¿¤¯¤Î¥½¥Õ¥È¥¦¥§¥¢¤ÈƱÍÍ¡¢ +OpenXM µ¬Ìó¤â¤Þ¤¿ÄÌ¿®»þ¤Î¥»¥­¥å¥ê¥Æ¥£¤Ë¤Ä¤¤¤ÆÃí°Õ¤·¤Æ¤¤¤ë¡£ +°Ê²¼¡¢¤³¤Î¤³¤È¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤è¤¦¡£ -¤½¤³¤Ç¡¢ OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò -¤Ç¤­¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤Ë¤·¤Æ¤¤¤ë¡£ -¶ñÂÎŪ¤Ë¤Ï¡¢Àܳ¤¬É¬Íפˤʤä¿»þ¤Î¤ßÀܳ¤òÂԤĤ褦¤Ë¤·¡¢ -¾ï¤ËÀܳ¤Ë´ØÍ¿¤¹¤ë¤È¤¤¤Ã¤¿¤³¤È¤ÏÈò¤±¤Æ¤¤¤ë¡£ +{\large\bf °ÕÌ£ÉÔÌÀ¤Ê¤³¤È¤ò½ñ¤¤¤Æ¤¤¤ë¤¬¡¢} +¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤­¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤¹¤ë¤¿ +¤á¤Ë¡¢Àܳ¤¬É¬Íפˤʤä¿»þ¤Î¤ßÀܳ¤òÂԤĤ褦¤Ë¤·¡¢ +¾ï¤ËÀܳ¤Ë´ØÍ¿¤¹¤ë¤È¤¤¤Ã¤¿¤³¤È¤ÏÈò¤±¤Æ¤¤¤ë(¤ä¤Ã¤Ñ¤ê°ÕÌ£ÉÔÌÀ¤Ç¤¢¤ë)¡£ -¤·¤«¤·¡¢¤³¤ì¤À¤±¤Ç¤Ï¿¯Æþ¼Ô¤¬Àܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤­¤ò -ÁÀ¤Ã¤Æ¤¯¤ë²ÄǽÀ­¤â¤¢¤ë¡£ -¤½¤³¤ÇÀܳ¤ò¹Ô¤Ê¤¦»þ¤Ë¡¢ -Àܳ¤òÂԤĥݡ¼¥ÈÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë¡£ -¤³¤¦¤¹¤ë¤³¤È¤Ç¡¢ÆÃÄê¤Î¥Ý¡¼¥ÈÈÖ¹æ¤òÁÀ¤Ã¤ÆÀܳ¤ò¹Ô¤Ê¤¦ -½Ö´Ö¤òÂԤļê¸ý¤ò´ö¤é¤«Ëɤ°¤³¤È¤¬¤Ç¤­¤ë¡£ - +¤Þ¤¿¡¢¿¯Æþ¼Ô¤¬Àܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤­¤òÁÀ¤Ã¤Æ¤¯¤ë²ÄǽÀ­¤â¤¢¤ë¤Î¤Ç¡¢ +Àܳ¤ò¹Ô¤Ê¤¦»þ¤ËÀܳ¤òÂԤĥݡ¼¥ÈÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë(郎·è¤á¤Æ¤¤ +¤ë¤Î¤«¤Ï¤ä¤Ã¤Ñ¤êÉÔÌÀ¤Ç¤¢¤ë¤¬)¡£ ¤µ¤é¤Ë¤â¤¦°ìÃÊ°ÂÁ´À­¤ò¹â¤á¤ë¤¿¤á¤Ë¡¢ Àܳ»þ¤Ë 1 ²ó¤À¤±»ÈÍѲÄǽ¤Ê¥Ñ¥¹¥ï¡¼¥É¤òºîÀ®¤·¡¢ -¤½¤Î¥Ñ¥¹¥ï¡¼¥É¤ò»È¤Ã¤Æǧ¾Ú¤ò¹Ô¤Ê¤¦¡£ +¤½¤Î¥Ñ¥¹¥ï¡¼¥É¤ò»È¤Ã¤Æǧ¾Ú¤ò¹Ô¤Ê¤¦(郎¥Ñ¥¹¥ï¡¼¥É¤ò·è¤á¤Æ郎ǧ¾Ú¤ò¹Ô¤Ã +¤Æ¤¤¤ë¤Î¤«¤¬ÉÔÌÀ¤À¤±¤É)¡£ ¤³¤Î¥Ñ¥¹¥ï¡¼¥É¤Ï°ìö»ÈÍѤµ¤ì¤ì¤Ð̵¸ú¤Ë¤¹¤ë¤Î¤Ç¡¢ -¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤Ç¤¢¤ë¡£ +¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤À¤È¹Í¤¨¤Æ¤¤¤ë¡£ -¤Ê¤ª¡¢¾åµ­¤Î¥Ý¡¼¥ÈÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤Ï°ÂÁ´¤Ê¼êÃʤÇÁ÷¤é¤ì¤Æ -¤¤¤ë¤È²¾Äꤷ¤Æ¤¤¤ë¡£ -¤Þ¤¿¡¢Æ±°ì¤Î¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ë°­°Õ¤Î¤¢¤ë¥æ¡¼¥¶¤Ï¤¤¤Ê¤¤¤È²¾Äꤷ¤Æ¤¤¤ë -¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ -¤Ê¤¼¤Ê¤é¡¢¸½ºß¤Î¼ÂÁõ¤Ç¤Ï¥µ¡¼¥Ð¡¢¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥È¤ÎÆ°ºî¤·¤Æ¤¤¤ë -¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ç¤Ï¤³¤Î¥Ý¡¼¥ÈÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤¬¤ï¤«¤Ã¤Æ¤·¤Þ¤¦¤¿¤á¤Ç¤¢¤ë¡£ +%¤Ê¤ª¡¢¾åµ­¤Î¥Ý¡¼¥ÈÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤Ï°ÂÁ´¤Ê¼êÃʤÇÁ÷¤é¤ì¤Æ +%¤¤¤ë¤È²¾Äꤷ¤Æ¤¤¤ë¡£ +%¤Þ¤¿¡¢Æ±°ì¤Î¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ë°­°Õ¤Î¤¢¤ë¥æ¡¼¥¶¤Ï¤¤¤Ê¤¤¤È²¾Äꤷ¤Æ¤¤¤ë +%¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ +%¤Ê¤¼¤Ê¤é¡¢¸½ºß¤Î¼ÂÁõ¤Ç¤Ï¥µ¡¼¥Ð¡¢¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥È¤ÎÆ°ºî¤·¤Æ¤¤¤ë +%¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ç¤Ï¤³¤Î¥Ý¡¼¥ÈÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤¬¤ï¤«¤Ã¤Æ¤·¤Þ¤¦¤¿¤á¤Ç¤¢¤ë¡£ ¤Ê¤ª¡¢Àܳ¤¬³ÎΩ¤·¤¿¸å¤Î¥á¥Ã¥»¡¼¥¸¤ÎÁ÷¼õ¿®¤Ë´Ø¤·¤Æ¤Ï¡¢ -Æä˰Ź沽¤Ê¤É¤Î½èÃÖ¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¡£ +Æä˰Ź沽¤Ê¤É¤Î½èÃÖ¤ò¹Ô¤Ã¤Æ¤¤¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¡£ ¤â¤·É¬Íפ¬¤¢¤ì¤Ð¡¢ÄÌ¿®Ï©¤Î°Å¹æ²½¤ò¹Ô¤Ê¤¦µ¡Ç½¤¬¤¢¤ë -¥½¥Õ¥È¥¦¥§¥¢¤ò»È¤¦¤³¤È¤ò¹Í¤¨¤Æ¤¤¤ë¡£ +¥½¥Õ¥È¥¦¥§¥¢ ssh ¤ò»È¤¦¤³¤È¤ò¹Í¤¨¤Æ¤¤¤ë¡£ - \section{¾¤Î¥×¥í¥¸¥§¥¯¥È} ¾¤Î¥×¥í¥¸¥§¥¯¥È¤Ë¤Ä¤¤¤Æ¤â¿¨¤ì¤Æ¤ª¤³¤¦¡£ @@ -385,5 +426,14 @@ OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤­¤ë¡£ ¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢ OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£ +\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}