| version 1.118, 2000/01/04 11:43:37 |
version 1.119, 2000/01/05 14:12:05 |
|
|
| \documentclass{jarticle} |
\documentclass{jarticle} |
| |
|
| %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.117 1999/12/30 14:21:34 ohara Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.118 2000/01/04 11:43:37 tam Exp $ |
| |
|
| \usepackage{jssac} |
\usepackage{jssac} |
| |
|
| Line 487 C ¸À¸ì¤Ë¤è¤ë¼ÂÁõ(MP-C ¥é¥¤¥Ö¥é¥ê)¤Ï¾åµ¤Î¥¦¥§¥Ö¥Ú¡¼¥¸¤ |
|
| Line 487 C ¸À¸ì¤Ë¤è¤ë¼ÂÁõ(MP-C ¥é¥¤¥Ö¥é¥ê)¤Ï¾åµ¤Î¥¦¥§¥Ö¥Ú¡¼¥¸¤ |
|
| ¤¬É¬ÍפǤ¢¤ë. control integration ¤È¤·¤Æ¤Ï, ¥½¥±¥Ã¥È, MPI, PVM ¤Ê¤É¤¬Íø |
¤¬É¬ÍפǤ¢¤ë. 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 ¤òµ¬Äꤷ¤Æ¤ª¤ê, |
| MCP ¤Î»ëÌî¤Ï¼ç¤Ë control integration ¤Ç¤¢¤ê, |
¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤ÎÄÌ¿®¤ò¹Ô¤Ê¤¦. |
| ¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Ïµ¬Äꤵ¤ì¤Æ¤¤¤Ê¤¤. |
MCP ¤Î¥á¥Ã¥»¡¼¥¸¤Ï¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤«¤é¹½À®¤µ¤ì¤Æ¤¤¤ë. |
| ¤·¤¿¤¬¤Ã¤Æ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á |
¥Ø¥Ã¥À¤Ï¥Æ¥¥¹¥È¤Ç¤¢¤ê, ºÇ½é¤Ë¸½¤ì¤ë¶õ¹Ô¤Ç¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤Ï |
| ¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤¤ë. ¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath |
¶èÀÚ¤é¤ì¤Æ¤¤¤ë. |
| ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. |
¥Ü¥Ç¥£¤Î·Á¼°¤Ï¸ÇÄê¤Ç¤Ï¤Ê¤¯, |
| ¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤ò |
¥Ø¥Ã¥À¤ò¸«¤ì¤Ð¥Ü¥Ç¥£¤Î·Á¼°¤¬Ê¬¤«¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
| µ½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç¤¢¤ë. |
|
| |
¿ô¼°¤Ï¥Ü¥Ç¥£¤Ëµ½Ò¤µ¤ì¤ÆÁ÷¤é¤ì¤ë¤¬, |
| |
¤³¤Î¥×¥í¥È¥³¥ë¤Ç¤Ï¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¯, |
| |
¤½¤Î¤¿¤á, ¥ª¥Ö¥¸¥§¥¯¥È¤Îɽ¸½¤Ë¤Ï MP ¤ä 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