=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.40 retrieving revision 1.46 diff -u -p -r1.40 -r1.46 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/22 07:01:31 1.40 +++ OpenXM/doc/Attic/genkou19991125.tex 1999/12/22 17:00:50 1.46 @@ -5,7 +5,7 @@ Á°Àî ¾­½¨\thanks{¿À¸ÍÂç³ØÍý³ØÉô¿ô³Ø²Ê}, ÌîϤ Àµ¹Ô\thanks{ÉÙ»ÎÄ̸¦µæ½ê}, ¾®¸¶ ¸ùǤ\thanks{¶âÂôÂç³ØÍý³ØÉô·×»»²Ê³Ø¶µ¼¼}, \\ -±üë ¹¬É× +±üë ¹Ô±û %\thanks{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²ÊÇî»Î²ÝÄøÁ°´ü²ÝÄø¿ô³ØÀ칶}, \thanks{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê¿ô³ØÀ칶}, ¹â»³ ¿®µ£\thanks{¿À¸ÍÂç³ØÍý³ØÉô¿ô³Ø¶µ¼¼}, @@ -21,65 +21,40 @@ \section{OpenXM¤È¤Ï} -OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ìó¤Ç¤¢¤ë¡£¿ô³Ø¥×¥í -¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¤ä¤ê¤È¤ê¤µ¤»¤ë¤³¤È¤Ë¤è¤ê¡¢¤¢¤ë¿ô³Ø¥×¥í¥»¥¹¤«¤é¾¤Î¿ô -³Ø¥×¥í¥»¥¹¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤ò¹Ô¤Ê¤Ã¤¿¤ê¡¢Â¾¤Î¥Þ¥·¥ó¤Ç·×»»¤ò¹Ô¤Ê¤ï¤»¤¿¤ê¤¹ -¤ë¤³¤È¤¬ÌÜŪ¤Ç¤¢¤ë¡£¤Ê¤ª¡¢ OpenXM ¤È¤Ï Open message eXchange protocol -for Mathematics ¤Îά¤Ç¤¢¤ë¡£ -OpenXM ¤Î³«È¯¤Îȯü¤ÏÌîϤÀµ¹Ô¤È¹â»³¿®µ£¤Ë¤è¤ê¡¢ asir ¤È kan/sm1 ¤ò -Áê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë¡£ -%\footnote{¤³¤ÎÃÊÍîɬÍ×?} +OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ìó¤Ç¤¢¤ë¡£ +¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¤ä¤ê¤È¤ê¤¹¤ë¤³¤È¤Ë¤è¤ê¡¢ +¤¢¤ë¿ô³Ø¥×¥í¥»¥¹¤«¤é¾¤Î¿ô³Ø¥×¥í¥»¥¹¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤ò¹Ô¤Ê¤Ã¤¿¤ê¡¢ +¾¤Î¥Þ¥·¥ó¤Ç·×»»¤ò¹Ô¤Ê¤ï¤»¤¿¤ê¤¹¤ë¤³¤È¤¬ÌÜŪ¤Ç¤¢¤ë¡£ +¤Ê¤ª¡¢ OpenXM ¤È¤Ï Open message eXchange protocol for Mathematics ¤Îά¤Ç¤¢¤ë¡£ +OpenXM ¤Î³«È¯¤Îȯü¤ÏÌîϤ¤È¹â»³¤Ë¤è¤ê¡¢ +asir ¤È kan/sm1 ¤òÁê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë¡£ %ȯü¤È¤Ê¤Ã¤¿ asir ¤È kan/sm1 ¤Ç¤Î¼ÂÁõ»þ¤Ë¤Ï¡¢ ½é´ü¤Î¼ÂÁõ¤Ç¤Ï¡¢Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤Ã¤Æ¤¤¤¿¡£ -¤³¤ÎÊýË¡¤Ï¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤â·Á¤òÊѤ¨¤Æ²Äǽ¤Ç¤Ï¤¢¤ë¤¬¡¢ -»È¤¤¤ä¤¹¤¤È¿ÌÌ¡¢¸úΨŪ¤Ç¤¢¤ë¤È¤Ï¤¤¤¤Æñ¤¤¡£ -¤µ¤é¤Ë¡¢¤³¤ÎÊýË¡¤Ç¤ÏÁê¼ê¦¤Î¥½¥Õ¥È¤¬ asir ¤Ê¤Î¤« kan/sm1 ¤Ê¤Î¤«¤ò -ȽÊ̤·¤Æ¡¢Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë¹ç¤ï¤»¤Æʸ»úÎó¤òºîÀ®¤¹¤ëɬÍפ¬¤¢¤ë¡£ +¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤òÍѤ¤¤Æ¤¤¤ë¡£ +¤³¤ÎÊýË¡¤Ç¤ÏÁê¼ê¦¤Î¥½¥Õ¥È¤¬ asir ¤Ê¤Î¤« kan/sm1 ¤Ê¤Î¤«¤òȽÊ̤¹¤ë¤Ê¤É¤·¤Æ¡¢ +Áê¼ê¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë¹ç¤ï¤»¤¿Ê¸»úÎó¤òºîÀ®¤¹¤ëɬÍפ¬¤Ê¤¯¤Ê¤ë¡£ +¤·¤«¤·¡¢¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÁ÷¤ëÊýË¡¤â¡¢ +¸úΨŪ¤Ç¤¢¤ë¤È¤Ï¤¤¤¤Æñ¤¤¤¬¡¢»È¤¤¤ä¤¹¤¤¡£ +¤½¤Î¤¿¤á¡¢ OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤ÎÃæ¤Îʸ»úÎó¤È¤·¤Æ¡¢ +¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÍѤ¤¤¿ +¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤â²Äǽ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤³¤ì°Ê³°¤ÎÊýË¡¤È¤·¤Æ¡¢ -OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤âÍÑ°Õ¤·¤Æ¤¤¤ë¡£ -OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Mathematical Object format) -°Ê³°¤Ë¤â¡¢ MP ¤ä OpenMath ¤Î XML, binary ɽ¸½·Á¼°¤È¤¤¤Ã¤¿Â¾¤Î·Á¼°¤ò¤â -°·¤¨¤ë¤è¤¦¤Ë¤·¤Æ¤¢¤ë¡£ -¤Ê¤ª¡¢¸½ºß¤Î OpenXM µ¬Ìó¤Ç¤Ï¡¢ -Á°½Ò¤Î¥³¥Þ¥ó¥Éʸ»úÎó¤â CMO ·Á¼°¤Ê¤É¤Î²¿¤é¤«¤Î¥Ç¡¼¥¿·Á¼°¤ÎÃæ¤Î -ʸ»úÎó¤È¤·¤Æɽ¸½¤·¤ÆÁ÷¤ëɬÍפ¬¤¢¤ë¡£ +%OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Mathematical Object format) +%°Ê³°¤Ë¤â¡¢ MP ¤ä OpenMath ¤Î XML, binary ɽ¸½·Á¼°¤È¤¤¤Ã¤¿Â¾¤Î·Á¼°¤ò¤â +%°·¤¨¤ë¤è¤¦¤Ë¤·¤Æ¤¢¤ë¡£ -\section{OpenXM ¤Î·×»»¥â¥Ç¥ë} +OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®Ï©¤Î³ÎÊݤÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬¡¢ +¸½ºß¤Ï TCP/IP ¥½¥±¥Ã¥È¤òÍѤ¤¤¿¼ÂÁõ¤·¤«¤Ê¤¤¡£ +%ÄÌ¿®¤Î¼Â¸½ÊýË¡¤ÏÄÌ¿®Ï©¤Î¤È¤ê¤«¤¿¤Ë¤è¤êÊѤï¤ë¡£ +¤½¤³¤Ç¡¢°Ê¸å¤³¤³¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï TCP/IP ¥½¥±¥Ã¥È¤ò +ÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ¤ë¡£ -{\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó} -OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡£ -¤½¤·¤Æ¡¢¤½¤Î¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£ -¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ -¥µ¡¼¥Ð¤«¤é¥¯¥é¥¤¥¢¥ó¥È¤¬¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ -·×»»¤Î·ë²Ì¤¬ÆÀ¤é¤ì¤ë¡£ - -¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤È²¾Äꤵ¤ì¤Æ¤ª¤ê¡¢ -¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£ -¤¿¤À¤·¡¢OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤ÎÃæ¤Ë¤Ï¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿¤¤Æ°ºî¤Ë -Âбþ¤¹¤ë¥Ç¡¼¥¿¤¬¤¢¤ê¡¢ -¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã¤¿¥µ¡¼¥Ð¤Ï¤½¤ì¤ËÂбþ¤¹¤ëÆ°ºî¤ò -¹Ô¤Ê¤¦¤³¤È¤¬´üÂÔ¤µ¤ì¤Æ¤¤¤ë¡£ -¤·¤«¤·¡¢¥µ¡¼¥Ð¤ÏÌ¿Îᤵ¤ì¤Ê¤¤¸Â¤ê²¿¤âÆ°ºî¤ò¹Ô¤Ê¤ª¤¦¤È¤Ï¤·¤Ê¤¤¡£ -¤³¤Î¤¿¤á¡¢¥¯¥é¥¤¥¢¥ó¥È¤Ï¥µ¡¼¥Ð¤Î¾õÂÖ¤òµ¤¤Ë¤»¤º¤Ë¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ -°ìö¥á¥Ã¥»¡¼¥¸¤òÁ÷ÉÕ¤·½ª¤¨¤¿¸å¡¢ -¥µ¡¼¥Ð¤ØÁ÷¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Î·ë²Ì¤ò -¥µ¡¼¥Ð¤«¤éÂԤĤ³¤È¤Ê¤·¤Ë¼¡¤ÎÆ°ºî¤Ë°Ü¤ë¤³¤È¤¬¤Ç¤­¤ë¡£ - -¤Ê¤ª¡¢¥µ¡¼¥Ð¤ËÂФ¹¤ëÆ°ºî¤ËÂбþ¤·¤¿¥Ç¡¼¥¿¤Ï SM ·Á¼°¤È¤·¤ÆÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£ -SM ·Á¼°°Ê³°¤Î¥Ç¡¼¥¿¤Ç¤Ï¡¢¥µ¡¼¥Ð¤Ï¼õ¤±¼è¤Ã¤¿¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà -°Ê³°¤ÎÆ°ºî¤ò¤·¤Ê¤¤¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤Ä¤Þ¤ê¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤¬¥µ¡¼¥Ð¤Ë¥Ç¡¼¥¿¤ò¼õ¤±¼è¤ë°Ê³°¤ÎÆ°ºî¤ò -¹Ô¤Ê¤ï¤»¤ëÍ£°ì¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë¡£ - - \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} -%{\Huge ¤³¤ÎÀá¤Ç¤Ï¹½Â¤¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó} - -OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤¢¤ê¡¢ +OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë TCP/IP ¼ÂÁõ¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤Ï +¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ ¼¡¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ \begin{tabular}{|c|c|} \hline @@ -89,76 +64,101 @@ OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç¤ ¥Ø¥Ã¥À¤ÎŤµ¤Ï 8 ¥Ð¥¤¥È¤Ç¤¢¤ë¤ÈÄê¤á¤é¤ì¤Æ¤¤¤ë¡£ ¥Ü¥Ç¥£¤ÎŤµ¤Ï¥á¥Ã¥»¡¼¥¸¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤¤ë¤¬¡¢ Ťµ¤Ï $0$ ¤Ç¤â¤è¤¤¡£ -%¤Ê¤ª¡¢¤¹¤Ù¤Æ¤Î¥á¥Ã¥»¡¼¥¸¤Ë ¥Ü¥Ç¥£¤¬É¬ÍפȤ¤¤¦¤ï¤±¤Ç¤Ï¤Ê¤¯¡¢ -%¥Ü¥Ç¥£¤Î¤Ê¤¤¥á¥Ã¥»¡¼¥¸¤â OpenXM µ¬Ìó¤Ë¤Ï¸ºß¤¹¤ë¤³¤È¤Ë -%Ãí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ ¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ã¤Æ¤¤¤ë¡£ \begin{enumerate} -\item Á°È¾¤Î 4 ¥Ð¥¤¥È¤Ë¤¢¤ë¡¢¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҡ£ +\item Á°È¾¤Î 4 ¥Ð¥¤¥È¡£¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҤǤ¢¤ê¡¢ ¥¿¥°¤È¸Æ¤Ð¤ì¤ë¡£ -\item ¸åȾ¤Î 4 ¥Ð¥¤¥È¤Ë¤¢¤ë¡¢¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·Èֹ档 +\item ¸åȾ¤Î 4 ¥Ð¥¤¥È¡£¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·ÈÖ¹æ¤Ç¤¢¤ë¡£ \end{enumerate} ¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë¡£ ¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤ÎÀâÌÀ¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬¡¢ ´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ ¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ +OpenXM µ¬Ìó¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥¿¥°¤ÎÀ°¿ôÃÍ¤Ç +¤è¤¯»È¤ï¤ì¤ë¤È»×¤¦¤â¤Î¤ò°Ê²¼¤Ë¤¢¤²¤Æ¤ª¤¯¡£ -%{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·} +\begin{verbatim} +#define OX_COMMAND 513 +#define OX_DATA 514 +\end{verbatim} -¥Ü¥Ç¥£¤ÎÃæ¿È¤Ï³Æ¥Ç¡¼¥¿·Á¼°¤Ë¤è¤Ã¤Æ +¥Ü¥Ç¥£¤ÎÃæ¿È¤Ï¥¿¥°¤Ë¤è¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤Ë¤è¤Ã¤Æ ¤½¤ì¤¾¤ìÆÈΩ¤Ë·è¤á¤é¤ì¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -¤â¤·¡¢ OpenXM µ¬Ìó¤Ç¤Þ¤ÀÄêµÁ¤µ¤ì¤Æ¤¤¤Ê¤¤¥Ç¡¼¥¿·Á¼°¤ò»È¤¤¤¿¤¤¾ì¹ç¤Ï¡¢ -¥á¥Ã¥»¡¼¥¸¤Î¥Ø¥Ã¥À¤Î¥¿¥°¤ò¤Þ¤À»È¤ï¤ì¤Æ¤Ê¤¤À°¿ôÃͤËÀßÄꤷ¡¢ -¥Ü¥Ç¥£¤ÎÉôʬ¤Ë¥Ç¡¼¥¿¤òËä¤á¹þ¤á¤Ð¤è¤¤¡£ -¤Ê¤ª¡¢¤³¤Î¤è¤¦¤ÊÍÑÅӤˤâ»È¤¨¤ë¤è¤¦¤Ë¡¢ -¥¿¥°¤Ë¤Ï¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½ÍѤ˿侩¤µ¤ì¤Æ¤¤¤ëÀ°¿ô¤ÎÈϰϤ¬¤¢¤ë¡£ +¤â¤·¡¢¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½¤ò OpenXM µ¬Ìó¤Î¥á¥Ã¥»¡¼¥¸¤Ë +Ëä¤á¹þ¤ó¤Ç»È¤¤¤¿¤¤¾ì¹ç¤Ë¤Ï¡¢ +¥¿¥°¤ÎÃͤò¤³¤Î¤è¤¦¤ÊÍÑÅӤΤ¿¤á¤Ë¿ä¾©¤µ¤ì¤Æ¤¤¤ë +À°¿ôÃͤÎÈϰϤËÀßÄꤷ¡¢ +¥·¥¹¥Æ¥à¸ÇÍ­¤Îɽ¸½¤ò¥Ü¥Ç¥£¤ËËä¤á¹þ¤á¤Ð¤è¤¤¡£ +\section{OpenXM ¤Î·×»»¥â¥Ç¥ë} + +%{\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó} + +OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë¡£ +¤Þ¤¿¡¢ OpenXM µ¬Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç¡¢ +¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£ +¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ +¥µ¡¼¥Ð¤«¤é¥¯¥é¥¤¥¢¥ó¥È¤¬¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ +·×»»¤Î·ë²Ì¤¬ÆÀ¤é¤ì¤ë¡£ + +¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤È²¾Äꤵ¤ì¤Æ¤ª¤ê¡¢ +¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¡¢ +¥¿¥°¤¬ OX\_COMMAND ¤Ç¤Ê¤±¤ì¤Ð¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£ +¥¿¥°¤¬ OX\_COMMAND ¤È¤Ê¤Ã¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï +¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤Ç¤¢¤ê¡¢¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã¤¿¥µ¡¼¥Ð¤Ï +¤½¤ì¤ËÂбþ¤¹¤ëÆ°ºî¤ò¹Ô¤Ê¤¦¤³¤È¤¬´üÂÔ¤µ¤ì¤Æ¤¤¤ë¡£ +¤·¤«¤·¡¢¥µ¡¼¥Ð¤Ï¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤é¤Ê¤¤¸Â¤ê¡¢ +¼«¤é²¿¤«Æ°ºî¤ò¹Ô¤Ê¤ª¤¦¤È¤Ï¤·¤Ê¤¤¡£ +¤³¤ì¤ÏËè²ó¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ë¤¿¤Ó¤Ë¡¢ +¤¤¤Ä¤â¥µ¡¼¥Ð¤«¤é¤Î¥á¥Ã¥»¡¼¥¸¤ò¥¯¥é¥¤¥¢¥ó¥È¤¬ÂÔ¤ÄɬÍפ¬¤Ê¤¤¤³¤È¤ò°ÕÌ£¤¹¤ë¡£ +¤³¤Î¤¿¤á¡¢¥¯¥é¥¤¥¢¥ó¥È¤Ï¥µ¡¼¥Ð¤Î¾õÂÖ¤òµ¤¤Ë¤»¤º¤Ë¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ +°ìö¥á¥Ã¥»¡¼¥¸¤òÁ÷ÉÕ¤·½ª¤¨¤¿¸å¡¢ +¥µ¡¼¥Ð¤ØÁ÷¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Î·ë²Ì¤ò +¥µ¡¼¥Ð¤«¤éÂԤĤ³¤È¤Ê¤·¤Ë¼¡¤ÎÆ°ºî¤Ë°Ü¤ë¤³¤È¤¬¤Ç¤­¤ë¡£ + + \section{OpenXM ¤Î·×»»¤Î¿Ê¹ÔÊýË¡} -OpenXM ¤Ë¤ª¤±¤ë·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Î¤³¤È¤Ç¤¢¤ë¡£ -´û¤Ë·×»»¥â¥Ç¥ë¤ÎÀá¤ÇÀâÌÀ¤·¤¿¤¬¡¢ -OpenXM ¤Ï¥µ¡¼¥Ð¡¦¥¯¥é¥¤¥¢¥ó¥È¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤Æ¡¢ -¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Î¹½Â¤¤ò»ý¤Ä¡£ -¥µ¡¼¥Ð¤¬¹Ô¤¦¤Î¤Ï´ðËÜŪ¤Ë¼¡¤Î»öÊÁ¤Ë¸Â¤é¤ì¤ë¡£ -¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤È¥µ¡¼¥Ð¤Ï¡¢ -¤Þ¤º¥á¥Ã¥»¡¼¥¸¤Î¼±Ê̻ҤòÄ´¤Ù¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤Ç¤Ê¤±¤ì¤Ð¥¹¥¿¥Ã¥¯¤ËÀѤࡣ -SM ·Á¼°¤Î¥Ç¡¼¥¿¤Ç¤¢¤ì¤Ð¥á¥Ã¥»¡¼¥¸¤Î¥Ü¥Ç¥£¤«¤é -¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Î¥ª¥Ú¥³¡¼¥É¤ò¼è¤ê¤À¤·¡¢ +¥µ¡¼¥Ð¤¬¹Ô¤¦¤Î¤Ï´ðËÜŪ¤Ë¼¡¤Î»öÊÁ¤À¤±¤Ç¤¢¤ë¡£ +¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤È¡¢ +¥µ¡¼¥Ð¤Ï¤Þ¤º¥á¥Ã¥»¡¼¥¸¤Î¼±Ê̻ҤòÄ´¤Ù¡¢ +¥¿¥°¤¬ OX\_COMMAND ¤Î¥á¥Ã¥»¡¼¥¸¤Ç¤Ê¤±¤ì¤Ð¥¹¥¿¥Ã¥¯¤ËÀѤࡣ +¥¿¥°¤¬ OX\_COMMAND ¤Î¥á¥Ã¥»¡¼¥¸¤Ç¤¢¤ì¤Ð¥á¥Ã¥»¡¼¥¸¤Î¥Ü¥Ç¥£¤«¤é +¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ÎÌ¿Îᥳ¡¼¥É¤ò¼è¤ê¤À¤·¡¢ ¤¢¤é¤«¤¸¤áµ¬Ìó¤ÇÄê¤á¤é¤ì¤¿Æ°ºî¤ò¹Ô¤Ê¤¦¡£ -%¾å¤ÎÀâÌÀ¤Ç¤ï¤«¤ë¤è¤¦¤Ë¡¢ +¾å¤ÎÀâÌÀ¤Ç¤ï¤«¤ë¤è¤¦¤Ë¡¢ ¥µ¡¼¥Ð¤Ï¥¯¥é¥¤¥¢¥ó¥È¤«¤é¤Î»Ø¼¨¤Ê¤·¤Ë¡¢ -¼«¤é¥á¥Ã¥»¡¼¥¸¤òÁ÷¤é¤Ê¤¤¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ +¼«¤é¥á¥Ã¥»¡¼¥¸¤òÁ÷¤é¤Ê¤¤¤³¤È¤ËÃí°Õ¤¹¤ëɬÍפ¬¤¢¤ë¡£ %(Îã³°? ox\_asir ¤Î mathcap)¡£ -¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£ -¼¡¤¤¤Ç¥µ¡¼¥Ð¤Ë SM ·Á¼°¤Î¥Ç¡¼¥¿¤òÁ÷¤ë¤È¡¢ +¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤Æ¤¤¤ë¡£ +¼¡¤¤¤Ç¥µ¡¼¥Ð¤Ë¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤òÁ÷¤ë¤È¡¢ ½é¤á¤Æ¥µ¡¼¥Ð¤Ï¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà°Ê³°¤Î¤Ê¤ó¤é¤«¤ÎÆ°ºî¤ò¹Ô¤Ê¤¦¡£ ¤³¤Î¤È¤­¡¢É¬Íפ¬¤¢¤ì¤Ð¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¤«¤éɬÍפʤÀ¤±¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤¹¡£ ¤³¤³¤Ç¡¢¥¯¥é¥¤¥¢¥ó¥È¤«¤é¤ÎÌ¿Îá¤Ë¤è¤ëÆ°ºîÃæ¤Ë¤¿¤È¤¨¥¨¥é¡¼¤¬È¯À¸¤·¤¿¤È¤·¤Æ¤â ¥µ¡¼¥Ð¤Ï¥¨¥é¡¼¥ª¥Ö¥¸¥§¥¯¥È¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà¤À¤±¤Ç¡¢ -ÌÀ¼¨¤µ¤ì¤Ê¤¤¸Â¤ê¥¨¥é¡¼¤òÊÖ¤µ¤Ê¤¤¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ +ÌÀ¼¨¤µ¤ì¤Ê¤¤¸Â¤ê¥¨¥é¡¼¤ò¥¯¥é¥¤¥¢¥ó¥È¤ØÊÖ¤µ¤Ê¤¤¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ ·ë²Ì¤¬À¸¤¸¤ëÆ°ºî¤ò¥µ¡¼¥Ð¤¬¹Ô¤Ê¤Ã¤¿¾ì¹ç¡¢ -¥µ¡¼¥Ð¤ÏÆ°ºî¤Î·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤó¤Ç¤¤¤ë¡£ +¥µ¡¼¥Ð¤ÏÆ°ºî¤Î·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ ¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿Æ°ºî¤Î·ë²Ì¤ò¥¯¥é¥¤¥¢¥ó¥È¤¬ÃΤꤿ¤¤¾ì¹ç¡¢ -¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·Á÷¿®¤ò¹Ô¤Ê¤¦Ì¿Îá¤ËÂбþ¤·¤¿ SM ·Á¼°¤Î¥Ç¡¼¥¿¤ò -¥µ¡¼¥Ð¦¤ØÁ÷¤ì¤Ð¤è¤¤¡£ +¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·Á÷¿®¤ò¹Ô¤Ê¤¦Ì¿Îá¤ò¥µ¡¼¥Ð¦¤ØÁ÷¤ì¤Ð¤è¤¤¡£ -{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·} +%{\Huge °Ê²¼¡¢½ñ¤­Ä¾¤·} -¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø·×»»¤ò¹Ô¤Ê¤ï¤»¡¢·ë²Ì¤òÆÀ¤ë¤È¤¤¤¦¼ê½ç¤òÄɤäƤ¤¤¯¤È¡¢ -¼¡¤Î¤è¤¦¤Ë¤Ê¤ë¡£ +¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ +·×»»¤Î·ë²Ì¤òÆÀ¤ë¤È¤¤¤¦¼ê½ç¤òÄɤäƤ¤¤¯¤È¼¡¤Î¤è¤¦¤Ë¤Ê¤ë¡£ \begin{enumerate} -\item ¤Þ¤º¡¢¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø·×»»¤µ¤»¤¿¤¤¥Ç¡¼¥¿¤òÁ÷¤ë¡£ - ¥µ¡¼¥Ð¤ÏÁ÷¤é¤ì¤Æ¤­¤¿¥Ç¡¼¥¿¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ -\item ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ë¡Ö·×»»¤ò¹Ô¤Ê¤¦Æ°ºî¤ËÂбþ¤·¤¿¥Ç¡¼¥¿¡×¤ò - Á÷¤ë¤È¡¢¥µ¡¼¥Ð¤ÏɬÍפʤÀ¤±¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·¡¢ - ¼Â¹Ô¤·¤¿·×»»¤Î·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ -\item ºÇ¸å¤Ë¡Ö¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·Á÷¿®¤ò¹Ô¤Ê¤¦Ì¿Îá¤ËÂбþ¤·¤¿¥Ç¡¼¥¿¡×¤ò +\item ¤Þ¤º¡¢¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ë¡£ + ¥µ¡¼¥Ð¤ÏÁ÷¤é¤ì¤Æ¤­¤¿¥á¥Ã¥»¡¼¥¸¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ +\item ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ë¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤òÁ÷¤ë¤È¡¢ + ¥µ¡¼¥Ð¤ÏɬÍפʤÀ¤±¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·¡¢ + ¼Â¹Ô¤·¤¿·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤࡣ +\item ºÇ¸å¤Ë¡Ö¥¹¥¿¥Ã¥¯¤«¤é¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·Á÷¿®¤ò¹Ô¤Ê¤¦Ì¿Îá¡×¤ò ¥µ¡¼¥Ð¤ØÁ÷¤ë¤È¡¢¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¤«¤é·×»»·ë²Ì¤ÎÆþ¤Ã¤Æ¤¤¤ë ¥Ç¡¼¥¿¤ò¼è¤ê½Ð¤·¡¢¥¯¥é¥¤¥¢¥ó¥È¤ØÁ÷½Ð¤¹¤ë¡£ \end{enumerate} @@ -166,11 +166,17 @@ SM ·Á¼°¤Î¥Ç¡¼¥¿¤Ç¤¢¤ì¤Ð¥á¥Ã¥»¡¼¥¸¤Î¥Ü¥Ç¥£¤«¤é \section{CMO ¤Î¥Ç¡¼¥¿¹½Â¤} -OpenXM ´Ö¤Ç¤ä¤ê¤È¤ê¤µ¤ì¤ë¥á¥Ã¥»¡¼¥¸¤ò¼ÂºÝ¤ËºîÀ®¤¹¤ë¾ì¹ç¡¢ +OpenXM µ¬Ìó¤Ç¤Ï¡¢¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤òɽ¸½¤¹¤ë¥ª¥ê¥¸¥Ê¥ë¤ÎÊýË¡¤È¤·¤Æ +CMO ·Á¼°(Common Mathematical Object format)¤òÄêµÁ¤·¤Æ¤¤¤ë¡£ +¤³¤Î CMO ·Á¼°¤ò»È¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ë¤Ë¤Ï¡¢ +¥¿¥°¤ò OX\_DATA ¤Ë¤¹¤ì¤Ð¤è¤¤¡£ + + +%OpenXM µ¬Ìó¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤ò¼ÂºÝ¤ËºîÀ®¤¹¤ë¾ì¹ç¡¢ CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¿ÇÜĹÀ°¿ô¤òÍý²ò¤·¤Æ¤ª¤¯¤È¡¢ CMO ·Á¼°¤Î¾¤Î¥Ç¡¼¥¿¹½Â¤¤À¤±¤Ç¤Ê¤¯¡¢ OX ·Á¼°¡¢ SM ·Á¼°¤Î¥Ç¡¼¥¿¤ò -Íý²ò¤¹¤ë½õ¤±¤Ë¤Ê¤ë¤È»×¤¨¤ë¤Î¤Ç¡¢ CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤Î -¥Ç¡¼¥¿¹½Â¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë¡£ +Íý²ò¤¹¤ë½õ¤±¤Ë¤Ê¤ë¤È»×¤¨¤ë¤Î¤Ç¡¢ +°Ê²¼ CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤Î¥Ç¡¼¥¿¹½Â¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë¡£ CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥Ç¡¼¥¿¤Ï¿ÇÜĹÀ°¿ô°Ê³°¤Ë¤â ʸ»úÎó¤ä¥ê¥¹¥È¹½Â¤¤Ê¤É¤¬¤¢¤ë¡£¤É¤Î¤è¤¦¤Ê¥Ç¡¼¥¿¤Ç¤¢¤ë¤«¤Ï