version 1.108, 1999/12/26 16:25:13 |
version 1.125, 2000/01/07 09:55:43 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.107 1999/12/26 16:01:22 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.124 2000/01/07 09:27:02 tam Exp $ |
|
|
\usepackage{jssac} |
\usepackage{jssac} |
|
|
Line 49 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤ |
|
Line 49 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤ |
|
¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤òÍѤ¤¤¿¼ÂÁõ¤Ë½àµò¤·¤ÆOpenXM ¤ÎÀâÌÀ¤ò¤¹¤ë. |
¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤òÍѤ¤¤¿¼ÂÁõ¤Ë½àµò¤·¤ÆOpenXM ¤ÎÀâÌÀ¤ò¤¹¤ë. |
|
|
|
|
\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} |
\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤}\label{sec:messages} |
|
|
ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë. ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤Î¾ì¹ç |
ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë. ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤Î¾ì¹ç |
¤Ë¤Ä¤¤¤Æ¤Î¤ßÀâÌÀ¤ò¹Ô¤Ê¤¦. |
¤Ë¤Ä¤¤¤Æ¤Î¤ßÀâÌÀ¤ò¹Ô¤Ê¤¦. |
Line 435 OpenXM °Ê³°¤Ë¤â¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤ÎÄÌ¿®¤ä¿ô³Ø¥Ç¡¼¥¿¤Î¶ |
|
Line 435 OpenXM °Ê³°¤Ë¤â¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤ÎÄÌ¿®¤ä¿ô³Ø¥Ç¡¼¥¿¤Î¶ |
|
\begin{itemize} |
\begin{itemize} |
\item ESPRIT OpenMath Project |
\item ESPRIT OpenMath Project |
|
|
http://www.openmath.org/omsoc/ |
http://www.nag.co.uk/projects/openmath/omsoc/ |
|
|
¿ô³ØŪÂоݤΠSGML Ūɽµ¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È. ¤³¤Î¥× |
¿ô³ØŪÂоݤΠSGML Ūɽµ¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È. ¤³¤Î¥× |
¥í¥¸¥§¥¯¥È¤Ç¤Ï¿ô³Ø¥Ç¡¼¥¿¤ò¿ô³ØŪ°ÕÌ£¤òÊݤ俤ޤޤÇÇ¡²¿¤Ëɽ¸½¤¹¤Ù¤¤«¤È¤¤ |
¥í¥¸¥§¥¯¥È¤Ç¤Ï¿ô³Ø¥Ç¡¼¥¿¤ò¿ô³ØŪ°ÕÌ£¤òÊݤ俤ޤޤÇÇ¡²¿¤Ëɽ¸½¤¹¤Ù¤¤«¤È¤¤ |
Line 444 http://www.openmath.org/omsoc/ |
|
Line 444 http://www.openmath.org/omsoc/ |
|
ÄêµÁ¤µ¤ì¤¿É½¸½¤Ï, °Û¤Ê¤ë¼ïÎà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤¤Ë |
ÄêµÁ¤µ¤ì¤¿É½¸½¤Ï, °Û¤Ê¤ë¼ïÎà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤¤Ë |
ÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤¤ë. ¤·¤«¤·¤Ê¤¬¤é, ¿ô³Ø¥·¥¹¥Æ¥àƱ»Î¤ÎÄÌ¿®, Î㤨¤Ð¤¢¤ë |
ÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤¤ë. ¤·¤«¤·¤Ê¤¬¤é, ¿ô³Ø¥·¥¹¥Æ¥àƱ»Î¤ÎÄÌ¿®, Î㤨¤Ð¤¢¤ë |
¿ô³Ø¥·¥¹¥Æ¥à¤«¤éÊ̤οô³Ø¥·¥¹¥Æ¥à¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤µ¤»¤ëÊýË¡¤Ê¤É¤Ï, ¤³¤Î¥× |
¿ô³Ø¥·¥¹¥Æ¥à¤«¤éÊ̤οô³Ø¥·¥¹¥Æ¥à¤ò¸Æ¤Ó½Ð¤·¤Æ·×»»¤µ¤»¤ëÊýË¡¤Ê¤É¤Ï, ¤³¤Î¥× |
¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë. |
¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë. OpenXM ¤Ë¤ª¤±¤ë¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸Ç |
|
ͤΥª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ |
|
¤¤¤Æ¤¤¤ë. |
|
|
OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content dictionary ¤Î³µÇ° |
|
¤Ë»÷¤Æ¤¤¤ë(¤â¤Á¤í¤ó OpenMath ¤ÎÊý¤¬¤â¤Ã¤ÈÂç³Ý¤«¤ê¤Ç¸·Ì©¤Êµ¬Äê¤Ç¤¢¤ë). |
|
¤Þ¤¿, ¶¦Ḁ̈ǡ¼¥¿·Á¼°¤È¿ô³Ø¥·¥¹¥Æ¥à¸ÇͤΥª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath |
|
µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍѤ¤¤Æ¤¤¤ë. |
|
|
|
\item NetSolve |
\item NetSolve |
|
|
Line 462 NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, |
|
Line 460 NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, |
|
¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹. ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë. ¸½ºß |
¥¿¥Ù¡¼¥¹ÅªÌò³ä¤ò²Ì¤¿¤¹. ¤Þ¤¿ Agent ¤Ë¤è¤Ã¤ÆÉé²Ùʬ»¶¤¬²Äǽ¤Ë¤Ê¤ë. ¸½ºß |
¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë. |
¤Î NetSolve ¤Ï RPC ¤ò´ðÁäˤ·¤Æ¼ÂÁõ¤µ¤ì¤Æ¤¤¤ë. |
|
|
|
|
\item MP (Multi Project) |
\item MP (Multi Project) |
|
|
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
|
|
²Ê³Øµ»½Ñ·×»»¤ò¹Ô¤Ê¤¦¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Î¸ò´¹¤ò |
¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Î¶¦ÄÌɽ¸½¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È. MP ¤Î¼ç¤Ê´Ø¿´¤Ï, ¤³¤Î |
ÌÜŪ¤È¤¹¤ë¥×¥í¥¸¥§¥¯¥È. |
¶¦ÄÌɽ¸½¤ÎºÇŬ²½¤Ç¤¢¤ë. ¿ô³Ø¥·¥¹¥Æ¥à´Ö¤Ç, Ì¿Îá¤òÁ÷¿®¤·¤¿¤ê¥Ç¡¼¥¿¤ò¼õ |
MP ¤Ï¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò, ²ò¼á¤ËÛ£Ë椵¤¬¤Ê¤¯¤Ê¤ë¤è¤¦¤Ë, |
¤±ÅϤ¹»ÅÁȤß(control integration)¤Ï, ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë. |
¾ðÊó¤òÉղä·¤¿¹½Ê¸ÌÚ¤òÍѤ¤¤Æɽ¸½¤¹¤ë. |
MP ¤Ï´û¸¤Î control integration ¤ËÂФ·¤ÆÊ䴰ŪÌò³ä¤ò²Ì¤¿¤¹. |
%``annotated syntax tree'' ¤òÍѤ¤¤Æɽ¸½¤¹¤ë. |
|
¤½¤·¤Æ, ¤³¤ÎÌÚ¹½Â¤¤ò¸ò´¹¤¹¤ë¤¿¤á¤Î¥×¥í¥È¥³¥ë¤ÎºîÀ®¤òÌÜɸ¤Ë¤·¤Æ¤¤¤ë. |
|
¥×¥í¥È¥³¥ë¤ÏÄÌ¿®ÊýË¡¤Ë°Í¸¤·¤Ê¤¤¤¬, ®ÅÙÌ̤ËÇÛθ¤·¤Æ¤ª¤ê, |
|
ÊÂÎó·×»»¤Ë»ÈÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤Æ¤¤¤ë. |
|
¤¹¤Ç¤Ë C ¸À¸ì¤ÇÍøÍѲÄǽ¤Ê¥é¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤ª¤ê, |
|
¸½ºß¤Ï Lisp ¤Ë¤è¤ë¼ÂÁõ¤â·×²è¤µ¤ì¤Æ¤¤¤ë. |
|
|
|
|
MP ¤Ç¤Ï¿ô¼°¤ò¹½Ê¸Ìڤΰì¼ï(annotated syntax tree)¤Èª¤¨¤ë. annotated |
|
syntax tree ¤Ë¤Ï¿ô³ØŪ¤Ê°ÕÌ£¤òÊݤ俤ޤÞɽ¸½¤µ¤ì¤Æ¤¤¤ë¤È¤¤¤¦ÆÃħ¤¬¤¢¤ë |
|
(¤³¤ÎÅÀ¤Ï OpenMath ¤È»÷¤Æ¤¤¤ë). MP ¤¬Ä󶡤¹¤ë¶¦ÄÌɽ¸½¤È¤Ï, ¤³¤Î¹½Ê¸ÌڤΠ|
|
¥Ð¥¤¥Ê¥ê¥¨¥ó¥³¡¼¥Ç¥£¥ó¥°, ¤Ä¤Þ¤ê¥Ð¥¤¥ÈÎó¤Ç¤Îɽ¸½¤Î¤³¤È¤Ç¤¢¤ë. MP ¤ÎÄêµÁ |
|
¤¹¤ëɽ¸½¤Ç¤Ï¥Ð¥¤¥ÈÎó¤ÎŤµ¤¬ºÇŬ²½¤µ¤ì¤Æ¤¤¤ë. ¤Þ¤¿, ¥Ð¥¤¥È¥ª¡¼¥À¡¼¤ÎÁª |
|
Âò¤â²Äǽ¤Ç¤¢¤ë(\ref{sec:messages} ÀỲ¾È¤Î¤³¤È). |
|
|
|
¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ç¤Ï C ¸À¸ì¤ª¤è¤Ó GNU Common Lisp ¤Ç¼ÂÁõ¤ò¹Ô¤Ê¤Ã¤Æ¤¤¤ë. |
|
C ¸À¸ì¤Ë¤è¤ë¼ÂÁõ(MP-C ¥é¥¤¥Ö¥é¥ê)¤Ï¾åµ¤Î¥¦¥§¥Ö¥Ú¡¼¥¸¤«¤é¼ýÆÀ²Äǽ¤Ç¤¢¤ë. |
|
¤³¤Î¥é¥¤¥Ö¥é¥ê¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤Ê¤¦¤Ë¤Ï, ¤Ê¤ó¤é¤«¤Î control integration |
|
¤¬É¬ÍפǤ¢¤ë. control integration ¤È¤·¤Æ¤Ï, ¥½¥±¥Ã¥È, MPI, PVM ¤Ê¤É¤¬Íø |
|
ÍѤǤ¤ë. |
|
|
|
|
\item MCP (Mathematical Computation Protocol) |
\item MCP (Mathematical Computation Protocol) |
|
|
http://horse.mcs.kent.edu/\~{}pwang/ |
http://horse.mcs.kent.edu/\~{}pwang/ |
|
|
¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð |
¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤äÌ¿Îá¤ò´Þ¤à¥á¥Ã¥»¡¼¥¸¤ò¤ä¤ê¤È¤ê¤¹¤ë¤¿¤á¤Î |
¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò¹Ô¤Ê¤¦. ¸ò |
HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. |
´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³Ø |
MCP ¤Ï control integration ¤Ç¤¢¤ê, |
Ū¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenXM ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë. ¼ÂºÝ, ¿ô |
¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤ÎÄÌ¿®¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë. |
³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î |
MCP ¤Î¥á¥Ã¥»¡¼¥¸¤Ï¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤«¤é¹½À®¤µ¤ì¤Æ¤¤¤ë. |
´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. ¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë |
¥Ø¥Ã¥À¤Ï¥Æ¥¥¹¥È¤Ç¤¢¤ê, ºÇ½é¤Ë¸½¤ì¤ë¶õ¹Ô¤Ç¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤Ï |
OpenMath ·Á¼°¤Ç¿ô¼°¤òµ½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç¤¢¤ë. |
¶èÀÚ¤é¤ì¤Æ¤¤¤ë. |
|
|
|
¿ô¼°¤Ï¥Ü¥Ç¥£¤Ëµ½Ò¤µ¤ì¤ÆÁ÷¤é¤ì¤ë. |
|
¿ô¼°¤Îɽ¸½ÊýË¡¤È¤·¤Æ¤Ï MP ¤ä OpenMath ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤ò |
|
»ÈÍѤ¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë. |
|
¼ÂºÝ, ¿ô¼°¤Îɽ¸½¤Ë OpenMath µ¬Ìó¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, |
|
GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë. |
|
¤³¤Î¾ì¹ç, MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Ï |
|
¥Ü¥Ç¥£¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç¤¢¤ë. |
|
|
\end{itemize} |
\end{itemize} |
|
|
|
|
Line 504 ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc ¤È¤¤¤¦Ì¾Á°¤ÇÄ |
|
Line 519 ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc ¤È¤¤¤¦Ì¾Á°¤ÇÄ |
|
OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë. |
OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë. |
|
|
\begin{thebibliography}{99} |
\begin{thebibliography}{99} |
\bibitem{Ohara-Takayama-Noro-1999} |
\bibitem{OpenMath1.0} |
¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô: |
O. Caprotti, A. M. Cohen: The OpenMath Standard, February 1999. |
{Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý, |
(http://www.nag.co.uk/projects/OpenMath/omstd/partI.ps.gz) |
Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo). |
|
|
|
|
\bibitem{NetSolve1.2b} |
|
H. Casanova, J. Dongarra, A. Karainov, J. Wasniewski: |
|
Users' Guide to NetSolve, October 27 1998. |
|
(http://www.cs.utk.edu/netsolve/download/ug.ps) |
|
|
|
\bibitem{MP} |
|
S. Gray, N. Kajler, P. S. Wang: |
|
Design and Implementation of MP, |
|
a Protocol for Efficient Exchange of Mathematical Expressions, |
|
{\it Journal of Symbolic Computation}, {\bf 25}, February 1998, 213--238. |
|
(ftp://ftp.mcs.kent.edu/dist/MP/mp-jsc-96.ps.gz) |
|
|
\bibitem{OpenXM-1999} |
\bibitem{OpenXM-1999} |
ÌîϤÀµ¹Ô, ¹â»³¿®µ£: |
ÌîϤ Àµ¹Ô, ¹â»³ ¿®µ£: {Open XM ¤ÎÀ߷פȼÂÁõ --- Open message eXchange protocol for Mathematics}, December 31 1999. |
{Open XM ¤ÎÀ߷פȼÂÁõ |
(http://www.math.sci.kobe-u.ac.jp/openxm/openxm-jp.tex) |
--- Open message eXchange protocol for Mathematics}, |
|
1999/11/22 |
\bibitem{Ohara-Takayama-Noro-1999} |
|
¾®¸¶ ¸ùǤ, ¹â»³ ¿®µ£, ÌîϤ Àµ¹Ô: Open asir ÆþÌç, |
|
{\it ¿ô¼°½èÍý}, {\bf Vol 7}(No 2), 1999, 2--17. |
|
(ISBN 4-87243-086-7, SEG ½ÐÈÇ, Tokyo). |
|
|
|
\bibitem{ISSAC99} |
|
P. S. Wang: |
|
Design and Protocol for Internet Accessible Mathematical Computation, |
|
{\it Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation}, 1999, 291--298. |
|
(ISBN 1-58113-073-2, ACM, New York 1999.). |
|
|
\end{thebibliography} |
\end{thebibliography} |
|
|
\end{document} |
\end{document} |