[BACK]Return to genkou19991125.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.31 and 1.42

version 1.31, 1999/12/21 09:06:47 version 1.42, 1999/12/22 13:01:20
Line 2 
Line 2 
   
 \title{¥¿¥¤¥È¥ë̤Äê}  \title{¥¿¥¤¥È¥ë̤Äê}
 \author{  \author{
 Á°Àî ¾­½¨,  Á°Àî ¾­½¨\thanks{¿À¸ÍÂç³ØÍý³ØÉô¿ô³Ø²Ê},
 ÌîϤ Àµ¹Ô,  ÌîϤ Àµ¹Ô\thanks{ÉÙ»ÎÄ̸¦µæ½ê},
 ¾®¸¶ ¸ùǤ, \\  ¾®¸¶ ¸ùǤ\thanks{¶âÂôÂç³ØÍý³ØÉô·×»»²Ê³Ø¶µ¼¼}, \\
 ±üë ¹¬É×,  ±üë ¹Ô±û
 ¹â»³ ¿®µ£,  %\thanks{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²ÊÇî»Î²ÝÄøÁ°´ü²ÝÄø¿ô³ØÀ칶},
   \thanks{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê¿ô³ØÀ칶},
   ¹â»³ ¿®µ£\thanks{¿À¸ÍÂç³ØÍý³ØÉô¿ô³Ø¶µ¼¼},
 Åļ ¶³»Î  Åļ ¶³»Î
   %\thanks{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²ÊÇî»Î²ÝÄø¸å´ü²ÝÄø¾ðÊó¥á¥Ç¥£¥¢²Ê³ØÀ칶·×»»¥·¥¹¥Æ¥à¹ÖºÂ}
   \thanks{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê¾ðÊó¥á¥Ç¥£¥¢²Ê³ØÀ칶}
 }  }
 \date{1999ǯ11·î25Æü}  \date{1999ǯ11·î25Æü}
 %\pagestyle{empty}  %\pagestyle{empty}
Line 22  OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ì
Line 26  OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ì
 ³Ø¥×¥í¥»¥¹¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤ò¹Ô¤Ê¤Ã¤¿¤ê¡¢Â¾¤Î¥Þ¥·¥ó¤Ç·×»»¤ò¹Ô¤Ê¤ï¤»¤¿¤ê¤¹  ³Ø¥×¥í¥»¥¹¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤ò¹Ô¤Ê¤Ã¤¿¤ê¡¢Â¾¤Î¥Þ¥·¥ó¤Ç·×»»¤ò¹Ô¤Ê¤ï¤»¤¿¤ê¤¹
 ¤ë¤³¤È¤¬ÌÜŪ¤Ç¤¢¤ë¡£¤Ê¤ª¡¢ OpenXM ¤È¤Ï Open message eXchange protocol  ¤ë¤³¤È¤¬ÌÜŪ¤Ç¤¢¤ë¡£¤Ê¤ª¡¢ OpenXM ¤È¤Ï Open message eXchange protocol
 for Mathematics ¤Îά¤Ç¤¢¤ë¡£  for Mathematics ¤Îά¤Ç¤¢¤ë¡£
 OpenXM ¤Î³«È¯¤Îȯü¤ÏÌîϤÀµ¹Ô¤È¹â»³¿®µ£¤Ë¤è¤ê¡¢ asir ¤È kan/sm1 ¤ò  OpenXM ¤Î³«È¯¤Îȯü¤ÏÌîϤ¤È¹â»³¤Ë¤è¤ê¡¢ asir ¤È kan/sm1 ¤ò
 Áê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë¡£  Áê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë¡£
 %\footnote{¤³¤ÎÃÊÍîɬÍ×?}  %\footnote{¤³¤ÎÃÊÍîɬÍ×?}
   
 È¯Ã¼¤È¤Ê¤Ã¤¿ asir ¤È kan/sm1 ¤Ç¤Î¼ÂÁõ»þ¤Ë¤Ï¡¢  %ȯü¤È¤Ê¤Ã¤¿ asir ¤È kan/sm1 ¤Ç¤Î¼ÂÁõ»þ¤Ë¤Ï¡¢
 ¤ª¸ß¤¤¤ËÁê¼ê¦¤Î¥³¥Þ¥ó¥Éʸ»úÎó¤òÁ÷¤Ã¤Æ¤¤¤¿¡£  ½é´ü¤Î¼ÂÁõ¤Ç¤Ï¡¢Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤Ã¤Æ¤¤¤¿¡£
 ¤³¤ÎÊýË¡¤Ï¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤â·Á¤òÊѤ¨¤Æ²Äǽ¤Ç¤Ï¤¢¤ë¤¬¡¢  ¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤òÍѤ¤¤Æ¤¤¤ë¡£
 »È¤¤¤ä¤¹¤¤È¿ÌÌ¡¢¸úΨŪ¤Ç¤¢¤ë¤È¤Ï¤¤¤¤Æñ¤¤¡£  ¤³¤ÎÊýË¡¤Ç¤ÏÁê¼ê¦¤Î¥½¥Õ¥È¤¬ asir ¤Ê¤Î¤« kan/sm1 ¤Ê¤Î¤«¤òȽÊ̤·¤Æ¡¢
 ¤µ¤é¤Ë¡¢¤³¤ÎÊýË¡¤Ç¤ÏÁê¼ê¦¤Î¥½¥Õ¥È¤¬ asir ¤Ê¤Î¤« kan/sm1 ¤Ê¤Î¤«¤ò  Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë¹ç¤ï¤»¤Æʸ»úÎó¤òºîÀ®¤¹¤ëɬÍפ¬¤Ê¤¤¡£
 È½Ê̤·¤Æ¡¢Áê¼ê¦¤Ë¹ç¤ï¤»¤Æ¥³¥Þ¥ó¥Éʸ»úÎó¤òºîÀ®¤¹¤ëɬÍפ¬¤¢¤ë¡£  ¤·¤«¤·¡¢¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤ëÊýË¡¤â¡¢
   ¸úΨŪ¤Ç¤¢¤ë¤È¤Ï¤¤¤¤Æñ¤¤¤¬¡¢»È¤¤¤ä¤¹¤¤¡£
   ¤½¤Î¤¿¤á¡¢ OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤ÎÃæ¤Îʸ»úÎó¤È¤·¤Æ
   É½¸½¤·¤ÆÁ÷¤ë¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
   
 ¤³¤ì°Ê³°¤ÎÊýË¡¤È¤·¤Æ¡¢  %OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Mathematical Object format)
 OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤âÍÑ°Õ¤·¤Æ¤¤¤ë¡£  %°Ê³°¤Ë¤â¡¢ MP ¤ä OpenMath ¤Î XML, binary ɽ¸½·Á¼°¤È¤¤¤Ã¤¿Â¾¤Î·Á¼°¤ò¤â
 OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Mathematical Object format)  %°·¤¨¤ë¤è¤¦¤Ë¤·¤Æ¤¢¤ë¡£
 °Ê³°¤Ë¤â¡¢ MP ¤ä OpenMath ¤Î XML, binary ɽ¸½·Á¼°¤È¤¤¤Ã¤¿Â¾¤Î·Á¼°¤ò¤â  
 °·¤¨¤ë¤è¤¦¤Ë¤·¤Æ¤¢¤ë¡£  
 ¤Ê¤ª¡¢¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤Ï¡¢  
 Á°½Ò¤Î¥³¥Þ¥ó¥Éʸ»úÎó¤â CMO ·Á¼°¤Ê¤É¤Î²¿¤é¤«¤Î¥Ç¡¼¥¿·Á¼°¤ÎÃæ¤Î  
 Ê¸»úÎó¤È¤·¤Æɽ¸½¤·¤ÆÁ÷¤ëɬÍפ¬¤¢¤ë¡£  
   
 \section{OpenXM ¤Î·×»»¥â¥Ç¥ë}  {\Huge TCP/IP ¼ÂÁõ¤ÎÏÃ}
   
 {\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó¤è¡¢Åļ·¯}  OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®Ï©¤Î³ÎÊݤλÅÊý¤Ë
   
 OpenXM µ¬Ìó¤Ç¤Î¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£  
 ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢  
 ¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤È²¾Äꤵ¤ì¤Æ¤ª¤ê¡¢¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ  
 ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤ÎÃæ¤Ë  
 ¤Ï¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿¤¤Æ°ºî¤ËÂбþ¤¹¤ë¥Ç¡¼¥¿¤¬¤¢¤ê¡¢¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã  
 ¤¿¥µ¡¼¥Ð¤Ï¤½¤ì¤ËÂбþ¤¹¤ëÆ°ºî¤ò¹Ô¤Ê¤¦¤³¤È¤¬´üÂÔ¤µ¤ì¤Æ¤¤¤ë¡£¤¿¤À¤·¡¢¥µ¡¼¥Ð  
 ¤ÏÌ¿Îᤵ¤ì¤Ê¤¤¸Â¤ê²¿¤âÆ°ºî¤ò¹Ô¤Ê¤ª¤¦¤È¤Ï¤·¤Ê¤¤¡£  
   
   
 \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}  \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}
   
 {\Huge ¤³¤ÎÀá¤Ç¤Ï¹½Â¤¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó¤è¡¢Åļ·¯}  %{\Huge ¤³¤ÎÀá¤Ç¤Ï¹½Â¤¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó}
   
 OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤¢¤ê¡¢¼¡¤Î¤è¤¦¤Ê¹½Â¤¤ò»ý¤Ä¡£  OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤¢¤ê¡¢
 \begin{verbatim}  ¼¡¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£
 ¥Ø¥Ã¥À  ¥Ü¥Ç¥£  
 \end{verbatim}  \begin{tabular}{|c|c|} \hline
 ¥Ø¥Ã¥À¤ÎŤµ¤Ï8¥Ð¥¤¥È¤Ç¤¢¤ë¤ÈÄê¤á¤é¤ì¤Æ¤¤¤ë¡£¥Ü¥Ç¥£¤ÎŤµ¤Ï¥á¥Ã¥»¡¼¥¸¤´  ¥Ø¥Ã¥À  & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ \hline
 ¤È¤Ë°Û¤Ê¤ë($0$¤Ç¤â¤è¤¤)¡£  \end{tabular}
 ¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ä¡£  
   ¥Ø¥Ã¥À¤ÎŤµ¤Ï 8 ¥Ð¥¤¥È¤Ç¤¢¤ë¤ÈÄê¤á¤é¤ì¤Æ¤¤¤ë¡£
   ¥Ü¥Ç¥£¤ÎŤµ¤Ï¥á¥Ã¥»¡¼¥¸¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤¤ë¤¬¡¢
   Ä¹¤µ¤Ï $0$ ¤Ç¤â¤è¤¤¡£
   
   ¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ã¤Æ¤¤¤ë¡£
 \begin{enumerate}  \begin{enumerate}
 \item Á°È¾¤Î4¥Ð¥¤¥È¡£¥¿¥°¤È¸Æ¤Ð¤ì¡¢¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҤǤ¢¤ë¡£  \item   Á°È¾¤Î 4 ¥Ð¥¤¥È¤Ë¤¢¤ë¡¢¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҡ£
 \item ¸åȾ¤Î4¥Ð¥¤¥È¡£¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·ÈÖ¹æ¤Ç¤¢¤ë¡£          ¥¿¥°¤È¸Æ¤Ð¤ì¤ë¡£
   \item   ¸åȾ¤Î 4 ¥Ð¥¤¥È¤Ë¤¢¤ë¡¢¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·Èֹ档
 \end{enumerate}  \end{enumerate}
   ¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë¡£
   ¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤ÎÀâÌÀ¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬¡¢
   ´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
   ¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£
   
 ¤½¤ì¤¾¤ì¤Î4¥Ð¥¤¥È¤Ï32¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ½èÍý¤µ¤ì¤ë¡£  %{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·}
 ¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬¡¢´ðËÜŪ¤Ë  
 É½¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤Ç¤¢¤ê¡¢  
 ¤Þ¤¿ÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Æ¤ª¤³¤¦¡£  
   
 {\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·¤Æ¤Í¡£}  ¥Ü¥Ç¥£¤ÎÃæ¿È¤Ï³Æ¥Ç¡¼¥¿·Á¼°¤Ë¤è¤Ã¤Æ
   ¤½¤ì¤¾¤ìÆÈΩ¤Ë·è¤á¤é¤ì¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£
   ¤â¤·¡¢ OpenXM µ¬Ìó¤Ç¤Þ¤ÀÄêµÁ¤µ¤ì¤Æ¤¤¤Ê¤¤¥Ç¡¼¥¿·Á¼°¤ò»È¤¤¤¿¤¤¾ì¹ç¤Ï¡¢
   ¥á¥Ã¥»¡¼¥¸¤Î¥Ø¥Ã¥À¤Î¥¿¥°¤ò¤Þ¤À»È¤ï¤ì¤Æ¤Ê¤¤À°¿ôÃͤËÀßÄꤷ¡¢
   ¥Ü¥Ç¥£¤ÎÉôʬ¤Ë¥Ç¡¼¥¿¤òËä¤á¹þ¤á¤Ð¤è¤¤¡£
   ¤Ê¤ª¡¢¤³¤Î¤è¤¦¤ÊÍÑÅӤˤâ»È¤¨¤ë¤è¤¦¤Ë¡¢
   ¥¿¥°¤Ë¤Ï¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½ÍѤ˿侩¤µ¤ì¤Æ¤¤¤ëÀ°¿ô¤ÎÈϰϤ¬¤¢¤ë¡£
   
 ¥Ü¥Ç¥£¤ÎÃæ¤Î¥Ç¡¼¥¿¤¬¤É¤Î¤è¤¦¤Ë³ÊǼ¤µ¤ì¤Æ¤¤¤ë¤«¤Ï  
 ³Æ¥Ç¡¼¥¿·Á¼°¤¬¤½¤ì¤¾¤ìÆÈΩ¤Ë·è¤á¤é¤ì¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£  
 ¤â¤·¡¢ OpenXM µ¬Ìó¤Ç¥á¥Ã¥»¡¼¥¸¤Î¤ä¤ê¤È¤ê¤ò¹Ô¤Ê¤¤¤¿¤¤¤¬¡¢  
 ¤Þ¤Àµ¬Ìó¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤Ê¤¤¥Ç¡¼¥¿·Á¼°¤ò»È¤¤¤¿¤¤¾ì¹ç¤Ï¡¢  
 ¥¿¥°¤ò¤Þ¤À»È¤ï¤ì¤Æ¤Ê¤µ¤½¤¦¤ÊÃÍ  
 (¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½¤Î¤¿¤á¤Ë¿ä¾©¤µ¤ì¤Æ¤¤¤ëÃͤ¬¤¢¤ë)  
 ¤ËÀßÄꤷ¡¢ ¥Ü¥Ç¥£¤ÎÉôʬ¤Ë¥Ç¡¼¥¿¤òËä¤á¹þ¤á¤Ð¤è¤¤¡£  
 ¤Ê¤ª¡¢¤¹¤Ù¤Æ¤Î¥á¥Ã¥»¡¼¥¸¤Ë ¥Ü¥Ç¥£¤¬É¬ÍפȤ¤¤¦¤ï¤±¤Ç¤Ï¤Ê¤¯¡¢  
 ¥Ü¥Ç¥£¤Î¤Ê¤¤¥á¥Ã¥»¡¼¥¸¤â OpenXM µ¬Ìó¤Ë¤Ï¸ºß¤¹¤ë¤³¤È¤Ë  
 Ãí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£  
   
 ¥µ¡¼¥Ð¤ËÂФ¹¤ëÆ°ºî¤ËÂбþ¤·¤¿¥Ç¡¼¥¿¤Ï SM ·Á¼°¤È¤·¤ÆÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£  \section{OpenXM ¤Î·×»»¥â¥Ç¥ë}
 SM ·Á¼°°Ê³°¤Î¥Ç¡¼¥¿¤Ç¤Ï¡¢¥µ¡¼¥Ð¤Ï¼õ¤±¼è¤Ã¤¿¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀÑ¤à  
 °Ê³°¤ÎÆ°ºî¤ò¤·¤Ê¤¤¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£  
 ¤Ä¤Þ¤ê¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤¬¥Ç¡¼¥¿¤ò¼õ¤±¼è¤ë°Ê³°¤ÎÆ°ºî¤ò  
 ¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤ëÍ£°ì¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë¡£  
 ¤³¤Î¥Ç¡¼¥¿¤ò¼õ¤±¼è¤ë°Ê³°¤ÎÆ°ºî¤ÎÃæ¤Ë¤Ï¡¢  
 ¥Ç¡¼¥¿¤Ë¤Ê¤ó¤é¤«¤Î²Ã¹©¤ò»Ü¤¹Æ°ºî¤âÆþ¤Ã¤Æ¤¤¤ë¡£  
 ¤³¤Î¥Ç¡¼¥¿¤Ë¤Ê¤ó¤é¤«¤Î²Ã¹©¤ò»Ü¤¹Æ°ºî¤ÎÃæ¤Ë¤Ï  
 ¿ô³ØŪ¤Ê±é»»¤ò¹Ô¤Ê¤¦Æ°ºî¤â´Þ¤Þ¤ì¤Æ¤¤¤ë¡£  
 °Ê¸å¡¢¥Ç¡¼¥¿¤Ë¤Ê¤ó¤é¤«¤Î²Ã¹©¤ò»Ü¤¹Æ°ºî¤Î¤³¤È¤ò·×»»¤È¸Æ¤Ö¤³¤È¤Ë¤¹¤ë¡£  
   
 \section{OpenXM ¤Î·×»»¤Î¿Ê¹ÔÊýË¡}  {\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó}
   
 OpenXM ¤Ë¤ª¤±¤ë·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Î¤³¤È¤Ç¤¢¤ë¡£´û¤Ë·×»»¥â¥Ç¥ë¤ÎÀá  OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡£
 ¤ÇÀâÌÀ¤·¤¿¤¬(ÀâÌÀ¤µ¤ì¤Æ¤¤¤ë¤Ï¤º¤Ç¤¢¤ë)¡¢OpenXM ¤Ï¥µ¡¼¥Ð¡¦¥¯¥é¥¤¥¢¥ó¥È¥â  ¤Þ¤¿¡¢ OpenXM µ¬Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç¡¢
 ¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤Æ¡¢¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Î¹½Â¤¤ò»ý¤Ä¡£¥µ¡¼¥Ð¤¬¹Ô¤¦¤Î¤Ï  ¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£
 ´ðËÜŪ¤Ë¼¡¤Î»öÊÁ¤Ë¸Â¤é¤ì¤ë¡£¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥á¥Ã¥»¡¼¥¸¤òÁ÷¤é¤ì¤ë¤È¥µ¡¼¥Ð  ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢
 ¤Ï¡¢¤Þ¤º¥á¥Ã¥»¡¼¥¸¤Î¼±Ê̻ҤòÄ´¤Ù¡¢OX\_COMMAND ¤Ç¤Ê¤±¤ì¤Ð¥¹¥¿¥Ã¥¯¤ËÀѤࡣ  ¥µ¡¼¥Ð¤«¤é¥¯¥é¥¤¥¢¥ó¥È¤¬¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ
 OX\_COMMAND ¤Ç¤¢¤ì¤Ð¥á¥Ã¥»¡¼¥¸¤Î¥Ü¥Ç¥£¤«¤é¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Î¥ª¥Ú¥³¡¼¥É¤ò¼è  ·×»»¤Î·ë²Ì¤¬ÆÀ¤é¤ì¤ë¡£
 ¤ê¤À¤·¡¢¤¢¤é¤«¤¸¤áµ¬Ìó¤ÇÄê¤á¤é¤ì¤¿¥¢¥¯¥·¥ç¥ó¤òµ¯¤³¤¹¡£  
   
 ¾å¤ÎÀâÌÀ¤Ç¤ï¤«¤ë¤è¤¦¤Ë¡¢¥µ¡¼¥Ð¤Ï¥¯¥é¥¤¥¢¥ó¥È¤«¤é¤Î»Ø¼¨¤Ê¤·¤Ë¡¢¼«¤é¥á¥Ã¥»¡¼  ¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤È²¾Äꤵ¤ì¤Æ¤ª¤ê¡¢
 ¥¸¤òÁ÷¤ë¤³¤È¤Ï¤Ê¤¤(Îã³°? ox\_asir ¤Î mathcap)¡£  ¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£
   ¤¿¤À¤·¡¢OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤ÎÃæ¤Ë¤Ï¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿¤¤Æ°ºî¤Ë
   Âбþ¤¹¤ë¥Ç¡¼¥¿¤¬¤¢¤ê¡¢
   ¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã¤¿¥µ¡¼¥Ð¤Ï¤½¤ì¤ËÂбþ¤¹¤ëÆ°ºî¤ò
   ¹Ô¤Ê¤¦¤³¤È¤¬´üÂÔ¤µ¤ì¤Æ¤¤¤ë¡£
   ¤·¤«¤·¡¢¥µ¡¼¥Ð¤ÏÌ¿Îᤵ¤ì¤Ê¤¤¸Â¤ê²¿¤âÆ°ºî¤ò¹Ô¤Ê¤ª¤¦¤È¤Ï¤·¤Ê¤¤¡£
   ¤³¤Î¤¿¤á¡¢¥¯¥é¥¤¥¢¥ó¥È¤Ï¥µ¡¼¥Ð¤Î¾õÂÖ¤òµ¤¤Ë¤»¤º¤Ë¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢
   °ìö¥á¥Ã¥»¡¼¥¸¤òÁ÷ÉÕ¤·½ª¤¨¤¿¸å¡¢
   ¥µ¡¼¥Ð¤ØÁ÷¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Î·ë²Ì¤ò
   ¥µ¡¼¥Ð¤«¤éÂԤĤ³¤È¤Ê¤·¤Ë¼¡¤ÎÆ°ºî¤Ë°Ü¤ë¤³¤È¤¬¤Ç¤­¤ë¡£
   
 {\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·¤Æ¤Í¡¢Åļ·¯}  ¤Ê¤ª¡¢¥µ¡¼¥Ð¤ËÂФ¹¤ëÆ°ºî¤ËÂбþ¤·¤¿¥Ç¡¼¥¿¤Ï SM ·Á¼°¤È¤·¤ÆÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£
   SM ·Á¼°°Ê³°¤Î¥Ç¡¼¥¿¤Ç¤Ï¡¢¥µ¡¼¥Ð¤Ï¼õ¤±¼è¤Ã¤¿¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà
   °Ê³°¤ÎÆ°ºî¤ò¤·¤Ê¤¤¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£
   ¤Ä¤Þ¤ê¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤¬¥µ¡¼¥Ð¤Ë¥Ç¡¼¥¿¤ò¼õ¤±¼è¤ë°Ê³°¤ÎÆ°ºî¤ò
   ¹Ô¤Ê¤ï¤»¤ëÍ£°ì¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë¡£
   
   
 % ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¤Ê¤ó¤é¤«¤Î·×»»¤ò¹Ô¤Ê¤ï¤»¤ë¾ì¹ç¡¢  \section{OpenXM ¤Î·×»»¤Î¿Ê¹ÔÊýË¡}
 % ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø·×»»¤µ¤»¤¿¤¤¥Ç¡¼¥¿¤ò¥á¥Ã¥»¡¼¥¸¤È¤·¤ÆÁ÷¤ê¡¢  
 % ¤½¤·¤Æ¤½¤Î·ë²Ì¤ò¥µ¡¼¥Ð¤«¤é¥á¥Ã¥»¡¼¥¸¤Ç¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ·×»»¤Ï¹Ô¤Ê¤ï¤ì¤ë¡£  
 % ¤¿¤À¤·¡¢¥µ¡¼¥Ð¤Ï·ë²Ì¤ÎÁ÷¿®¤¹¤é¤âÌ¿Îᤵ¤ì¤Ê¤±¤ì¤Ð¹Ô¤Ê¤¦¤³¤È¤Ï¤Ê¤¯¡¢  
 % ¥¯¥é¥¤¥¢¥ó¥È¤Ï·ë²Ì¤ò¼õ¤±¼è¤é¤º¤Ë¥µ¡¼¥Ð¤Ë¼¡¡¹¤È  
 % ·×»»¤ò¹Ô¤Ê¤ï¤»¤ë¤³¤È¤â²Äǽ¤Ç¤¢¤ë¡£  
   
   OpenXM ¤Ë¤ª¤±¤ë·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Î¤³¤È¤Ç¤¢¤ë¡£
   ´û¤Ë·×»»¥â¥Ç¥ë¤ÎÀá¤ÇÀâÌÀ¤·¤¿¤¬¡¢
   OpenXM ¤Ï¥µ¡¼¥Ð¡¦¥¯¥é¥¤¥¢¥ó¥È¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤Æ¡¢
   ¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Î¹½Â¤¤ò»ý¤Ä¡£
   ¥µ¡¼¥Ð¤¬¹Ô¤¦¤Î¤Ï´ðËÜŪ¤Ë¼¡¤Î»öÊÁ¤Ë¸Â¤é¤ì¤ë¡£
   ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤È¥µ¡¼¥Ð¤Ï¡¢
   ¤Þ¤º¥á¥Ã¥»¡¼¥¸¤Î¼±Ê̻ҤòÄ´¤Ù¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤Ç¤Ê¤±¤ì¤Ð¥¹¥¿¥Ã¥¯¤ËÀѤࡣ
   SM ·Á¼°¤Î¥Ç¡¼¥¿¤Ç¤¢¤ì¤Ð¥á¥Ã¥»¡¼¥¸¤Î¥Ü¥Ç¥£¤«¤é
   ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Î¥ª¥Ú¥³¡¼¥É¤ò¼è¤ê¤À¤·¡¢
   ¤¢¤é¤«¤¸¤áµ¬Ìó¤ÇÄê¤á¤é¤ì¤¿Æ°ºî¤ò¹Ô¤Ê¤¦¡£
   
   %¾å¤ÎÀâÌÀ¤Ç¤ï¤«¤ë¤è¤¦¤Ë¡¢
   ¥µ¡¼¥Ð¤Ï¥¯¥é¥¤¥¢¥ó¥È¤«¤é¤Î»Ø¼¨¤Ê¤·¤Ë¡¢
   ¼«¤é¥á¥Ã¥»¡¼¥¸¤òÁ÷¤é¤Ê¤¤¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£
   %(Îã³°? ox\_asir ¤Î mathcap)¡£
   
 ¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£  ¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£
 ¤¿¤À¤·¡¢¤³¤Î¤Þ¤Þ¤Ç¤Ï¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ë´Þ¤Þ¤ì¤ë¥Ç¡¼¥¿¤ò  ¼¡¤¤¤Ç¥µ¡¼¥Ð¤Ë SM ·Á¼°¤Î¥Ç¡¼¥¿¤òÁ÷¤ë¤È¡¢
 ¥¹¥¿¥Ã¥¯¤ËÀѤ߾夲¤Æ¤¤¤¯¤À¤±¤Ç¡¢¥µ¡¼¥Ð¤Ï·×»»¤ò¹Ô¤Ê¤ª¤¦¤È¤Ï¤·¤Ê¤¤¡£  ½é¤á¤Æ¥µ¡¼¥Ð¤Ï¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà°Ê³°¤Î¤Ê¤ó¤é¤«¤ÎÆ°ºî¤ò¹Ô¤Ê¤¦¡£
 ¼¡¤¤¤Ç¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿¤¤Æ°ºî¤ËÂбþ¤·¤¿¥Ç¡¼¥¿¤òÁ÷¤ë¤È¡¢  
 ½é¤á¤Æ¥µ¡¼¥Ð¤Ï·×»»¤Ê¤É¤Î¡¢¤Ê¤ó¤é¤«¤ÎÆ°ºî¤ò¹Ô¤Ê¤¦¡£  
 ¤³¤Î¤È¤­¡¢É¬Íפ¬¤¢¤ì¤Ð¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¤«¤éɬÍפʤÀ¤±¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤¹¡£  ¤³¤Î¤È¤­¡¢É¬Íפ¬¤¢¤ì¤Ð¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¤«¤éɬÍפʤÀ¤±¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤¹¡£
 ¤³¤³¤Ç¡¢¥¯¥é¥¤¥¢¥ó¥È¤«¤é¤ÎÌ¿Îá¤Ë¤è¤ëÆ°ºîÃæ¤Ë¤¿¤È¤¨¥¨¥é¡¼¤¬È¯À¸¤·¤¿¤È¤·¤Æ¤â  ¤³¤³¤Ç¡¢¥¯¥é¥¤¥¢¥ó¥È¤«¤é¤ÎÌ¿Îá¤Ë¤è¤ëÆ°ºîÃæ¤Ë¤¿¤È¤¨¥¨¥é¡¼¤¬È¯À¸¤·¤¿¤È¤·¤Æ¤â
 ¥µ¡¼¥Ð¤Ï¥¨¥é¡¼¥ª¥Ö¥¸¥§¥¯¥È¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà¤À¤±¤Ç¡¢  ¥µ¡¼¥Ð¤Ï¥¨¥é¡¼¥ª¥Ö¥¸¥§¥¯¥È¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà¤À¤±¤Ç¡¢
 ÌÀ¼¨¤µ¤ì¤Ê¤¤¸Â¤ê¥¨¥é¡¼¤òÊÖ¤µ¤Ê¤¤¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£  ÌÀ¼¨¤µ¤ì¤Ê¤¤¸Â¤ê¥¨¥é¡¼¤òÊÖ¤µ¤Ê¤¤¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£
   
 ·ë²Ì¤¬À¸¤¸¤ëÆ°ºî¤ò¥µ¡¼¥Ð¤¬¹Ô¤Ê¤Ã¤¿¾ì¹ç¡¢  ·ë²Ì¤¬À¸¤¸¤ëÆ°ºî¤ò¥µ¡¼¥Ð¤¬¹Ô¤Ê¤Ã¤¿¾ì¹ç¡¢
 ¥µ¡¼¥Ð¤ÏÆ°ºî¤Î·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤó¤Ç¤¤¤ë¡£  ¥µ¡¼¥Ð¤ÏÆ°ºî¤Î·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ
 ¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿Æ°ºî¤Î·ë²Ì¤ò¥¯¥é¥¤¥¢¥ó¥È¤¬ÃΤꤿ¤¤¾ì¹ç¡¢  ¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿Æ°ºî¤Î·ë²Ì¤ò¥¯¥é¥¤¥¢¥ó¥È¤¬ÃΤꤿ¤¤¾ì¹ç¡¢
 ¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·Á÷¿®¤ò¹Ô¤Ê¤¦Ì¿Îá¤ËÂбþ¤·¤¿ SM ·Á¼°¤Î¥Ç¡¼¥¿¤ò  ¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·Á÷¿®¤ò¹Ô¤Ê¤¦Ì¿Îá¤ËÂбþ¤·¤¿ SM ·Á¼°¤Î¥Ç¡¼¥¿¤ò
 ¥µ¡¼¥Ð¦¤ØÁ÷¤ì¤Ð¤è¤¤¡£  ¥µ¡¼¥Ð¦¤ØÁ÷¤ì¤Ð¤è¤¤¡£
   
   {\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·}
   
 ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø·×»»¤ò¹Ô¤Ê¤ï¤»¡¢·ë²Ì¤òÆÀ¤ë¤È¤¤¤¦¼ê½ç¤òÄɤäƤ¤¤¯¤È¡¢  ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø·×»»¤ò¹Ô¤Ê¤ï¤»¡¢·ë²Ì¤òÆÀ¤ë¤È¤¤¤¦¼ê½ç¤òÄɤäƤ¤¤¯¤È¡¢
 ¼¡¤Î¤è¤¦¤Ë¤Ê¤ë¡£  ¼¡¤Î¤è¤¦¤Ë¤Ê¤ë¡£
   
Line 250  OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math
Line 262  OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math
 ]  ]
 \end{verbatim}  \end{verbatim}
   
 <<<<<<< genkou19991125.tex  
 ¤³¤Î MathCap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礭¤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£  ¤³¤Î MathCap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礭¤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£
 ºÇ½é¤Î {\tt [199901160,"ox\_asir"]} ¤ÎÉôʬ¤Ë¤Ï¥µ¡¼¥Ð¤Î¾ðÊó¤¬Æþ¤Ã¤Æ¤¤¤ë¡£  ºÇ½é¤Î {\tt [199901160,"ox\_asir"]} ¤ÎÉôʬ¤Ë¤Ï¥µ¡¼¥Ð¤Î¾ðÊó¤¬Æþ¤Ã¤Æ¤¤¤ë¡£
 %¤³¤ÎºÇ½é¤ÎÍ×ÁǤ¬¤Þ¤¿¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢  %¤³¤ÎºÇ½é¤ÎÍ×ÁǤ¬¤Þ¤¿¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢
Line 271  OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math
Line 282  OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math
 ¤³¤ÎÀ°¿ôÃÍ¤Ï CMO ·Á¼°¤Ç¤Ï 514 ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£  ¤³¤ÎÀ°¿ôÃÍ¤Ï CMO ·Á¼°¤Ç¤Ï 514 ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£
 ºÇ½é¤Î¥Ç¡¼¥¿·Á¼°¤ò¶èÊ̤¹¤ëÀ°¿ôÃͰʸå¤ÎÍ×ÁÇ¤Ï  ºÇ½é¤Î¥Ç¡¼¥¿·Á¼°¤ò¶èÊ̤¹¤ëÀ°¿ôÃͰʸå¤ÎÍ×ÁǤÏ
 ³Æ¥Ç¡¼¥¿·Á¼°¤Ë¤è¤Ã¤Æ¤É¤Î¤è¤¦¤Ë»È¤ï¤ì¤ë¤«Äê¤Þ¤Ã¤Æ¤¤¤ë¡£  ³Æ¥Ç¡¼¥¿·Á¼°¤Ë¤è¤Ã¤Æ¤É¤Î¤è¤¦¤Ë»È¤ï¤ì¤ë¤«Äê¤Þ¤Ã¤Æ¤¤¤ë¡£
 CMO ·Á¼°¤Ç¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î tag ¤¬¥ê¥¹¥È¤ÎÃæ¤Ë¼ý¤Þ¤Ã¤Æ¤¤¤ë¡£  CMO ·Á¼°¤Ç¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¥¿¥°¤¬¥ê¥¹¥È¤ÎÃæ¤Ë¼ý¤Þ¤Ã¤Æ¤¤¤ë¡£
 Á°Àá¤Ç CMO ·Á¼°¤Ç¤Ï¿ÇÜĹÀ°¿ô¤òɽ¤¹ tag ¤¬ 20 ¤Ç¤¢¤ë¤³¤È¤ò½Ò¤Ù¤¿¤¬¡¢  Á°Àá¤Ç CMO ·Á¼°¤Ç¤Ï¿ÇÜĹÀ°¿ô¤òɽ¤¹¥¿¥°¤¬ 20 ¤Ç¤¢¤ë¤³¤È¤ò½Ò¤Ù¤¿¤¬¡¢
 ¤³¤Î¥ê¥¹¥È¤Ë 20 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢  ¤³¤Î¥ê¥¹¥È¤Ë 20 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢
 ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤«¤ë¡£  ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤«¤ë¡£
   
Line 282  ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤«
Line 293  ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤«
 %{\tt [514,[1, 2, $\cdots$]]} ¤ÎºÇ½é¤Î 514 ¤Ï¤³¤Î¥ê¥¹¥È¤¬ CMO ·Á¼°  %{\tt [514,[1, 2, $\cdots$]]} ¤ÎºÇ½é¤Î 514 ¤Ï¤³¤Î¥ê¥¹¥È¤¬ CMO ·Á¼°
 %¤Ç¤ÎÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤òɽ¤·¤Æ¤¤¤ë¤³¤È¤ò¼¨¤·¤Æ¤ª¤ê¡¢  %¤Ç¤ÎÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤òɽ¤·¤Æ¤¤¤ë¤³¤È¤ò¼¨¤·¤Æ¤ª¤ê¡¢
 %¤½¤Î¸å¤Î¥ê¥¹¥È¤Ç¤Ï CMO ÁؤÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥Ç¡¼¥¿¤Î¤¦¤Á¡¢  %¤½¤Î¸å¤Î¥ê¥¹¥È¤Ç¤Ï CMO ÁؤÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥Ç¡¼¥¿¤Î¤¦¤Á¡¢
 %Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î tag ¤¬Ê¤ó¤Ç¤¤¤ë¡£  %Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¥¿¥°¤¬Ê¤ó¤Ç¤¤¤ë¡£
   
 ¤Ê¤ª¡¢¥Ç¡¼¥¿¤¬¼õ¤±¼è¤ì¤ë¤³¤È¤È¡¢  ¤Ê¤ª¡¢¥Ç¡¼¥¿¤¬¼õ¤±¼è¤ì¤ë¤³¤È¤È¡¢
 ¥Ç¡¼¥¿¤ÎÏÀÍý¹½Â¤¤¬Íý²ò¤Ç¤­¤ë¤³¤È¤È¤Ï¤Þ¤Ã¤¿¤¯ÊÌʪ¤Ç¤¢¤ë¤Î¤Ç  ¥Ç¡¼¥¿¤ÎÏÀÍý¹½Â¤¤¬Íý²ò¤Ç¤­¤ë¤³¤È¤È¤Ï¤Þ¤Ã¤¿¤¯ÊÌʪ¤Ç¤¢¤ë¤Î¤Ç
Line 305  OpenXM ¤ËÂбþ¤·¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò¥¯¥é¥Ã¥¯¤·¤Æ¤â
Line 316  OpenXM ¤ËÂбþ¤·¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò¥¯¥é¥Ã¥¯¤·¤Æ¤â
 ¤·¤«¤·¡¢¤³¤ì¤À¤±¤Ç¤Ï¿¯Æþ¼Ô¤¬Àܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤­¤ò  ¤·¤«¤·¡¢¤³¤ì¤À¤±¤Ç¤Ï¿¯Æþ¼Ô¤¬Àܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤­¤ò
 ÁÀ¤Ã¤Æ¤¯¤ë²ÄǽÀ­¤â¤¢¤ë¡£  ÁÀ¤Ã¤Æ¤¯¤ë²ÄǽÀ­¤â¤¢¤ë¡£
 ¤½¤³¤ÇÀܳ¤ò¹Ô¤Ê¤¦»þ¤Ë¡¢  ¤½¤³¤ÇÀܳ¤ò¹Ô¤Ê¤¦»þ¤Ë¡¢
 Àܳ¤òÂÔ¤Ä port ÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë¡£  Àܳ¤òÂԤĥݡ¼¥ÈÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë¡£
 ¤³¤¦¤¹¤ë¤³¤È¤Ç¡¢ÆÃÄê¤Î port ÈÖ¹æ¤òÁÀ¤Ã¤ÆÀܳ¤ò¹Ô¤Ê¤¦  ¤³¤¦¤¹¤ë¤³¤È¤Ç¡¢ÆÃÄê¤Î¥Ý¡¼¥ÈÈÖ¹æ¤òÁÀ¤Ã¤ÆÀܳ¤ò¹Ô¤Ê¤¦
 ½Ö´Ö¤òÂԤļê¸ý¤ò´ö¤é¤«Ëɤ°¤³¤È¤¬¤Ç¤­¤ë¡£  ½Ö´Ö¤òÂԤļê¸ý¤ò´ö¤é¤«Ëɤ°¤³¤È¤¬¤Ç¤­¤ë¡£
   
 ¤µ¤é¤Ë¤â¤¦°ìÃÊ°ÂÁ´À­¤ò¹â¤á¤ë¤¿¤á¤Ë¡¢  ¤µ¤é¤Ë¤â¤¦°ìÃÊ°ÂÁ´À­¤ò¹â¤á¤ë¤¿¤á¤Ë¡¢
Line 315  OpenXM ¤ËÂбþ¤·¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò¥¯¥é¥Ã¥¯¤·¤Æ¤â
Line 326  OpenXM ¤ËÂбþ¤·¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò¥¯¥é¥Ã¥¯¤·¤Æ¤â
 ¤³¤Î¥Ñ¥¹¥ï¡¼¥É¤Ï°ìö»ÈÍѤµ¤ì¤ì¤Ð̵¸ú¤Ë¤¹¤ë¤Î¤Ç¡¢  ¤³¤Î¥Ñ¥¹¥ï¡¼¥É¤Ï°ìö»ÈÍѤµ¤ì¤ì¤Ð̵¸ú¤Ë¤¹¤ë¤Î¤Ç¡¢
 ¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤Ç¤¢¤ë¡£  ¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤Ç¤¢¤ë¡£
   
 ¤Ê¤ª¡¢¾åµ­¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤Ï°ÂÁ´¤Ê¼êÃʤÇÁ÷¤é¤ì¤Æ  ¤Ê¤ª¡¢¾åµ­¤Î¥Ý¡¼¥ÈÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤Ï°ÂÁ´¤Ê¼êÃʤÇÁ÷¤é¤ì¤Æ
 ¤¤¤ë¤È²¾Äꤷ¤Æ¤¤¤ë¡£  ¤¤¤ë¤È²¾Äꤷ¤Æ¤¤¤ë¡£
 ¤Þ¤¿¡¢Æ±°ì¤Î¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ë°­°Õ¤Î¤¢¤ë¥æ¡¼¥¶¤Ï¤¤¤Ê¤¤¤È²¾Äꤷ¤Æ¤¤¤ë  ¤Þ¤¿¡¢Æ±°ì¤Î¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ë°­°Õ¤Î¤¢¤ë¥æ¡¼¥¶¤Ï¤¤¤Ê¤¤¤È²¾Äꤷ¤Æ¤¤¤ë
 ¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£  ¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£
 ¤Ê¤¼¤Ê¤é¡¢¸½ºß¤Î¼ÂÁõ¤Ç¤Ï¥µ¡¼¥Ð¡¢¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥È¤ÎÆ°ºî¤·¤Æ¤¤¤ë  ¤Ê¤¼¤Ê¤é¡¢¸½ºß¤Î¼ÂÁõ¤Ç¤Ï¥µ¡¼¥Ð¡¢¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥È¤ÎÆ°ºî¤·¤Æ¤¤¤ë
 ¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ç¤Ï¤³¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤¬¤ï¤«¤Ã¤Æ¤·¤Þ¤¦¤¿¤á¤Ç¤¢¤ë¡£  ¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ç¤Ï¤³¤Î¥Ý¡¼¥ÈÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤¬¤ï¤«¤Ã¤Æ¤·¤Þ¤¦¤¿¤á¤Ç¤¢¤ë¡£
   
 ¤Ê¤ª¡¢Àܳ¤¬³ÎΩ¤·¤¿¸å¤Î¥á¥Ã¥»¡¼¥¸¤ÎÁ÷¼õ¿®¤Ë´Ø¤·¤Æ¤Ï¡¢  ¤Ê¤ª¡¢Àܳ¤¬³ÎΩ¤·¤¿¸å¤Î¥á¥Ã¥»¡¼¥¸¤ÎÁ÷¼õ¿®¤Ë´Ø¤·¤Æ¤Ï¡¢
 Æä˰Ź沽¤Ê¤É¤Î½èÃÖ¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¡£  Æä˰Ź沽¤Ê¤É¤Î½èÃÖ¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¡£
Line 372  OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤­¤ë¡£
Line 383  OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤­¤ë¡£
 ¤Þ¤¿¡¢ OpenMath µ¬³Ê¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥Ç¡¼¥¿¤È CMO ·Á¼°¤Î  ¤Þ¤¿¡¢ OpenMath µ¬³Ê¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥Ç¡¼¥¿¤È CMO ·Á¼°¤Î
 ¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢  ¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢
 OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£  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 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢  
 ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤«¤ë¡£  
   
 ¤Ê¤ª¡¢¥Ç¡¼¥¿¤¬¼õ¤±¼è¤ì¤ë¤³¤È¤È¡¢  
 ¥Ç¡¼¥¿¤ÎÏÀÍý¹½Â¤¤¬Íý²ò¤Ç¤­¤ë¤³¤È¤È¤Ï¤Þ¤Ã¤¿¤¯ÊÌʪ¤Ç¤¢¤ë¤Î¤Ç  
 Ãí°Õ¤¹¤ëɬÍפ¬¤¢¤ë¡£  
   
   
 \section{¥»¥­¥å¥ê¥Æ¥£Âкö}  
   
 OpenXM ¤Ç¤Ï´ö¤é¤«¤Î¥»¥­¥å¥ê¥Æ¥£Âкö¤ò¹Í¤¨¤Æ¤¤¤ë¡£  
 OpenXM ¤ËÂбþ¤·¤¿¥½¥Õ¥È¥¦¥§¥¢¤ò¥¯¥é¥Ã¥¯¤·¤Æ¤â  
 Â礷¤¿ÍøÅÀ¤Ï¤Ê¤¤¤È»×¤¨¤ë¤¬¡¢¤½¤ì¤ÏÀß·×¾å¤ÎÏäǤ¢¤Ã¤Æ¡¢  
 Í½´ü¤»¤Ì¼êÃʤǹ¶·â¤ò¼õ¤±¤¿¾ì¹ç¤Ë¤É¤Î¤è¤¦¤Ê»öÂÖ¤ò  
 ¾·¤¯¤«¤ÏÁÛÁü¤·Æñ¤¤¡£  
   
 ¤½¤³¤Ç¡¢ OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò  
 ¤Ç¤­¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤Ë¤·¤Æ¤¤¤ë¡£  
 ¶ñÂÎŪ¤Ë¤Ï¡¢Àܳ¤¬É¬Íפˤʤä¿»þ¤Î¤ßÀܳ¤òÂԤĤ褦¤Ë¤·¡¢  
 ¾ï¤ËÀܳ¤Ë´ØÍ¿¤¹¤ë¤È¤¤¤Ã¤¿¤³¤È¤ÏÈò¤±¤Æ¤¤¤ë¡£  
   
 ¤·¤«¤·¡¢¤³¤ì¤À¤±¤Ç¤Ï¿¯Æþ¼Ô¤¬Àܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤­¤ò  
 ÁÀ¤Ã¤Æ¤¯¤ë²ÄǽÀ­¤â¤¢¤ë¡£  
 ¤½¤³¤ÇÀܳ¤ò¹Ô¤Ê¤¦»þ¤Ë¡¢  
 Àܳ¤òÂÔ¤Ä port ÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë¡£  
 ¤³¤¦¤¹¤ë¤³¤È¤Ç¡¢ÆÃÄê¤Î port ÈÖ¹æ¤òÁÀ¤Ã¤ÆÀܳ¤ò¹Ô¤Ê¤¦  
 ½Ö´Ö¤òÂԤļê¸ý¤ò´ö¤é¤«Ëɤ°¤³¤È¤¬¤Ç¤­¤ë¡£  
   
 ¤µ¤é¤Ë¤â¤¦°ìÃÊ°ÂÁ´À­¤ò¹â¤á¤ë¤¿¤á¤Ë¡¢  
 Àܳ»þ¤Ë 1 ²ó¤À¤±»ÈÍѲÄǽ¤Ê¥Ñ¥¹¥ï¡¼¥É¤òºîÀ®¤·¡¢  
 ¤½¤Î¥Ñ¥¹¥ï¡¼¥É¤ò»È¤Ã¤Æǧ¾Ú¤ò¹Ô¤Ê¤¦¡£  
 ¤³¤Î¥Ñ¥¹¥ï¡¼¥É¤Ï°ìö»ÈÍѤµ¤ì¤ì¤Ð̵¸ú¤Ë¤¹¤ë¤Î¤Ç¡¢  
 ¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤Ç¤¢¤ë¡£  
   
 ¤Ê¤ª¡¢¾åµ­¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤Ï°ÂÁ´¤Ê¼êÃʤÇÁ÷¤é¤ì¤Æ  
 ¤¤¤ë¤È²¾Äꤷ¤Æ¤¤¤ë¡£  
 ¤Þ¤¿¡¢Æ±°ì¤Î¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ë°­°Õ¤Î¤¢¤ë¥æ¡¼¥¶¤Ï¤¤¤Ê¤¤¤È²¾Äꤷ¤Æ¤¤¤ë  
 ¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£  
 ¤Ê¤¼¤Ê¤é¡¢¸½ºß¤Î¼ÂÁõ¤Ç¤Ï¥µ¡¼¥Ð¡¢¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥È¤ÎÆ°ºî¤·¤Æ¤¤¤ë  
 ¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ç¤Ï¤³¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤¬¤ï¤«¤Ã¤Æ¤·¤Þ¤¦¤¿¤á¤Ç¤¢¤ë¡£  
   
 ¤Ê¤ª¡¢Àܳ¤¬³ÎΩ¤·¤¿¸å¤Î¥á¥Ã¥»¡¼¥¸¤ÎÁ÷¼õ¿®¤Ë´Ø¤·¤Æ¤Ï¡¢  
 Æä˰Ź沽¤Ê¤É¤Î½èÃÖ¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¡£  
 ¤â¤·É¬Íפ¬¤¢¤ì¤Ð¡¢ÄÌ¿®Ï©¤Î°Å¹æ²½¤ò¹Ô¤Ê¤¦µ¡Ç½¤¬¤¢¤ë  
 ¥½¥Õ¥È¥¦¥§¥¢¤ò»È¤¦¤³¤È¤ò¹Í¤¨¤Æ¤¤¤ë¡£  
   
   
 \section{¾¤Î¥×¥í¥¸¥§¥¯¥È}  
   
 Â¾¤Î¥×¥í¥¸¥§¥¯¥È¤Ë¤Ä¤¤¤Æ´ö¤Ä¤«¾Ò²ð¤¹¤ë¡£  
   
 OpenMath ¥×¥í¥¸¥§¥¯¥È¤Ï¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò  
 ¥³¥ó¥Ô¥å¡¼¥¿¾å¤Çɽ¸½¤¹¤ëÊýË¡¤ò·èÄꤷ¤Æ¤¤¤ë¡£  
 ³Æ¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¥ª¥Ö¥¸¥§¥¯¥È¤ò¸ò´¹¤¹¤ëºÝ¤Î  
 ¥ª¥Ö¥¸¥§¥¯¥È¤ÎÊÑ´¹¼ê½ç¤Ë¤Ä¤¤¤Æ¤â½Ò¤Ù¤é¤ì¤Æ¤¤¤ë¡£  
 É½¸½ÊýË¡¤Ï°ì¤Ä¤À¤±¤Ç¤Ê¤¯¡¢ XML ɽ¸½¤ä binary ɽ¸½¤Ê¤É¤¬  
 ÍÑ°Õ¤µ¤ì¤Æ¤¤¤ë¡£  
   
 %°Ê²¼¡¢Ä´¤Ù¤ëɬÍפ¢¤ê¡£  
 %NetSolve  
   
 %MP  
   
 %MCP  
   
 \section{¸½ºßÄ󶡤µ¤ì¤Æ¤¤¤ë¥½¥Õ¥È¥¦¥§¥¢}  
   
 ¸½ºß OpenXM µ¬³Ê¤ËÂбþ¤·¤Æ¤¤¤ë¥¯¥é¥¤¥¢¥ó¥È¥½¥Õ¥È¥¦¥§¥¢¤Ë¤Ï  
 asir, sm1, Mathematica ¤¬¤¢¤ë¡£  
 ¤³¤ì¤é¤Î¥¯¥é¥¤¥¢¥ó¥È¥½¥Õ¥È¥¦¥§¥¢¤«¤é  
 OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤­¤ë¡£  
 ¸½ºß OpenXM µ¬Ìó¤ËÂбþ¤·¤Æ¤¤¤ë¥µ¡¼¥Ð¥½¥Õ¥È¥¦¥§¥¢¤Ë¤Ï¡¢  
  asir, sm1, gnuplot, Mathematica ¤Ê¤É¤¬¤¢¤ê¡¢  
 ¤½¤ì¤¾¤ì ox\_asir, ox\_sm1, ox\_math ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£  
 ¤Þ¤¿¡¢ OpenMath µ¬³Ê¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥Ç¡¼¥¿¤È CMO ·Á¼°¤Î  
 ¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢  
 OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£  
 >>>>>>> 1.30  
   
 \end{document}  \end{document}

Legend:
Removed from v.1.31  
changed lines
  Added in v.1.42

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>