| version 1.115, 1999/12/28 18:47:12 |
version 1.116, 1999/12/29 09:21:34 |
|
|
| \documentclass{jarticle} |
\documentclass{jarticle} |
| |
|
| %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.114 1999/12/28 14:53:40 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.115 1999/12/28 18:47:12 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 468 NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, |
|
| Line 468 NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, |
|
| |
|
| http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
| |
|
| ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤È¥Ð¥¤¥ÈÎó¤Ø¤ÎÊÑ´¹ÊýË¡¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È. |
¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Î¶¦ÄÌɽ¸½¤òÄ󶡤¹¤ë¥×¥í¥¸¥§¥¯¥È. MP ¤Î¼ç¤Ê´Ø¿´¤Ï, ¤³¤Î |
| ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ç¤Ï, ¿ô³Ø¥½¥Õ¥È´Ö¤Ç¿ô³Ø¥Ç¡¼¥¿¤ò¤ä¤ê¤È¤ê¤¹¤ëºÝ¤Î |
¶¦ÄÌɽ¸½¤ÎºÇŬ²½¤Ç¤¢¤ë. ¿ô³Ø¥·¥¹¥Æ¥à´Ö¤Ç, Ì¿Îá¤òÁ÷¿®¤·¤¿¤ê¥Ç¡¼¥¿¤ò¼õ |
| ¥Ð¥¤¥Ê¥êɽ¸½¤òµ¬Äꤷ¤Æ¤¤¤ë. |
¤±ÅϤ¹»ÅÁȤß(control integration)¤Ï, ¤³¤Î¥×¥í¥¸¥§¥¯¥È¤ÎÂоݳ°¤Ç¤¢¤ë. |
| MP ¤Ï¿ô¼°¤ò¹½Ê¸Ìڤΰì¼ï¤Çɽ¤·¤Æ¤ª¤ê, OpenMath ¤ÈƱÍÍ, |
MP ¤Ï´û¸¤Î contorl integration ¤ËÂФ·¤ÆÊ䴰ŪÌò³ä¤ò²Ì¤¿¤¹. |
| °Û¤Ê¤ë¼ïÎà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤Ç°Û¤Ê¤ë¥ª¥Ö¥¸¥§¥¯¥È¤Ë¼è¤ê°ã¤¨¤é¤ì¤Ê¤¤¤è¤¦, |
|
| ¾ðÊó¤òÉղäǤ¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
| ¤Þ¤¿, ÊÑ´¹¤µ¤ì¤¿¥Ç¡¼¥¿¤Ï¥Ç¡¼¥¿Ä¹¤¬¾®¤µ¤¯¤Ê¤ë¤è¤¦¹Í褵¤ì¤Æ¤ª¤ê, |
|
| ¥Õ¥¡¥¤¥ë ¤ä TCP/IP Åù¤ËÆɤ߽ñ¤¤¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë. |
|
| ¤·¤«¤·, ¤³¤ì¤é¤Ë¸Â¤é¤º, OpenXM ¤ä MPI, MCP(¸å½Ò) Åù¤ËÍøÍѤ¹¤ë¤³¤È¤â¹Í¤¨¤é¤ì¤ë. |
|
| ¤¹¤Ç¤Ë C ¸À¸ì¤Ë¤è¤ë¥é¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤ª¤ê, |
|
| GNU Common 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 ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼ |
| ¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, |
¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë. ¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ |
| ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò |
¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á |
| ¹Ô¤Ê¤¦. |
¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤¤ë. ¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath |
| ¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¤. ¤·¤¿¤¬¤Ã¤Æ¿ô³Ø |
¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. |
| Ū¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenXM ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤¤ë. |
¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤ò |
| ¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, |
µ½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç¤¢¤ë. |
| GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. |
|
| ¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë |
|
| OpenMath ·Á¼°¤Ç¿ô¼°¤òµ½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç¤¢¤ë. |
|
| |
|
| \end{itemize} |
\end{itemize} |
| |
|
![[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