| version 1.30, 1999/12/21 06:59:42 |
version 1.31, 1999/12/21 09:06:47 |
|
|
| |
|
| \title{¥¿¥¤¥È¥ë̤Äê} |
\title{¥¿¥¤¥È¥ë̤Äê} |
| \author{ |
\author{ |
| Á°Àî ¤Þ¤µ¤Ò¤Ç, |
Á°Àî ¾½¨, |
| ÌîϤ Àµ¹Ô, |
ÌîϤ Àµ¹Ô, |
| ¾®¸¶ ¸ùǤ, \\ |
¾®¸¶ ¸ùǤ, \\ |
| ±üë ¹¬É×, |
±üë ¹¬É×, |
| Line 22 OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ì |
|
| Line 22 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 µ¬Ìó¤Ç¤â·Á¤òÊѤ¨¤Æ²Äǽ¤Ç¤Ï¤¢¤ë¤¬¡¢ |
| Line 48 OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Math |
|
| Line 47 OpenXM µ¬ÌóÆȼ«¤Î¥Ç¡¼¥¿·Á¼°¤Ç¤¢¤ë CMO ·Á¼°(Common Math |
|
| {\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó¤è¡¢Åļ·¯} |
{\Huge ¤³¤ÎÀá¤Ç¤Ï·×»»¥â¥Ç¥ë¤ÎÏäò¤·¤Ê¤±¤ì¤Ð¤¤¤±¤Þ¤»¤ó¤è¡¢Åļ·¯} |
| |
|
| OpenXM µ¬Ìó¤Ç¤Î¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£ |
OpenXM µ¬Ìó¤Ç¤Î¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë¡£ |
| |
¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê¡¢ |
| ¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤È²¾Äꤵ¤ì¤Æ¤ª¤ê¡¢¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ |
¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤È²¾Äꤵ¤ì¤Æ¤ª¤ê¡¢¥µ¡¼¥Ð¤¬¥¯¥é¥¤¥¢¥ó¥È¤«¤é¼õ |
| ¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤ÎÃæ¤Ë |
¤±¼è¤Ã¤¿¥á¥Ã¥»¡¼¥¸¤Ï¤¹¤Ù¤Æ¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë¡£OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤ÎÃæ¤Ë |
| ¤Ï¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿¤¤Æ°ºî¤ËÂбþ¤¹¤ë¥Ç¡¼¥¿¤¬¤¢¤ê¡¢¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã |
¤Ï¥µ¡¼¥Ð¤Ë¹Ô¤Ê¤ï¤»¤¿¤¤Æ°ºî¤ËÂбþ¤¹¤ë¥Ç¡¼¥¿¤¬¤¢¤ê¡¢¤³¤Î¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤Ã |
| Line 250 OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math |
|
| Line 250 OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math |
|
| ] |
] |
| \end{verbatim} |
\end{verbatim} |
| |
|
| |
<<<<<<< genkou19991125.tex |
| ¤³¤Î MathCap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£ |
¤³¤Î MathCap ¥Ç¡¼¥¿¤Î¥ê¥¹¥È¹½Â¤¤ÏÂ礤¯Ê¬¤±¤Æ 3 ¤Ä¤ÎÉôʬ¤Ëʬ¤«¤ì¤ë¡£ |
| ºÇ½é¤Î {\tt [199901160,"ox\_asir"]} ¤ÎÉôʬ¤Ë¤Ï¥µ¡¼¥Ð¤Î¾ðÊó¤¬Æþ¤Ã¤Æ¤¤¤ë¡£ |
ºÇ½é¤Î {\tt [199901160,"ox\_asir"]} ¤ÎÉôʬ¤Ë¤Ï¥µ¡¼¥Ð¤Î¾ðÊó¤¬Æþ¤Ã¤Æ¤¤¤ë¡£ |
| %¤³¤ÎºÇ½é¤ÎÍ×ÁǤ¬¤Þ¤¿¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ |
%¤³¤ÎºÇ½é¤ÎÍ×ÁǤ¬¤Þ¤¿¥ê¥¹¥È¹½Â¤¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ |
| Line 270 OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math |
|
| Line 271 OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math |
|
| ¤³¤ÎÀ°¿ôÃÍ¤Ï CMO ·Á¼°¤Ç¤Ï 514 ¤È¤Ê¤Ã¤Æ¤¤¤ë¡£ |
¤³¤ÎÀ°¿ôÃÍ¤Ï 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 ·Á¼°¤Ç¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¥¿¥°¤¬¥ê¥¹¥È¤ÎÃæ¤Ë¼ý¤Þ¤Ã¤Æ¤¤¤ë¡£ |
| Á°Àá¤Ç CMO ·Á¼°¤Ç¤Ï¿ÇÜĹÀ°¿ô¤òɽ¤¹¥¿¥°¤¬ 20 ¤Ç¤¢¤ë¤³¤È¤ò½Ò¤Ù¤¿¤¬¡¢ |
Á°Àá¤Ç CMO ·Á¼°¤Ç¤Ï¿ÇÜĹÀ°¿ô¤òɽ¤¹¥¿¥°¤¬ 20 ¤Ç¤¢¤ë¤³¤È¤ò½Ò¤Ù¤¿¤¬¡¢ |
| ¤³¤Î¥ê¥¹¥È¤Ë 20 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢ |
¤³¤Î¥ê¥¹¥È¤Ë 20 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢ |
| Line 349 OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤¤ë¡£ |
|
| Line 472 OpenXM µ¬³Ê¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È¤¬¤Ç¤¤ë¡£ |
|
| ¤Þ¤¿¡¢ OpenMath µ¬³Ê¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥Ç¡¼¥¿¤È CMO ·Á¼°¤Î |
¤Þ¤¿¡¢ OpenMath µ¬³Ê¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥Ç¡¼¥¿¤È CMO ·Á¼°¤Î |
| ¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢ |
¥Ç¡¼¥¿¤òÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê¡¢ |
| OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£ |
OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë¡£ |
| |
>>>>>>> 1.30 |
| |
|
| \end{document} |
\end{document} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to genkou19991125.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc