=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.118 retrieving revision 1.119 diff -u -p -r1.118 -r1.119 --- OpenXM/doc/Attic/genkou19991125.tex 2000/01/04 11:43:37 1.118 +++ OpenXM/doc/Attic/genkou19991125.tex 2000/01/05 14:12:05 1.119 @@ -1,6 +1,6 @@ \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} @@ -487,19 +487,28 @@ C ¸À¸ì¤Ë¤è¤ë¼ÂÁõ(MP-C ¥é¥¤¥Ö¥é¥ê)¤Ï¾åµ­¤Î¥¦¥§¥Ö¥Ú¡¼¥¸¤ ¤¬É¬ÍפǤ¢¤ë. control integration ¤È¤·¤Æ¤Ï, ¥½¥±¥Ã¥È, MPI, PVM ¤Ê¤É¤¬Íø ÍѤǤ­¤ë. + \item MCP (Mathematical Computation Protocol) http://horse.mcs.kent.edu/\~{}pwang/ -¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. -%¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë. -MCP ¤Î»ëÌî¤Ï¼ç¤Ë control integration ¤Ç¤¢¤ê, -¸ò´¹¤ËÍѤ¤¤é¤ì¤ë¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Ïµ¬Äꤵ¤ì¤Æ¤¤¤Ê¤¤. -¤·¤¿¤¬¤Ã¤Æ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á -¤é¤ì¤¿¤â¤Î¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë. ¼ÂºÝ, ¿ô³Ø¥Ç¡¼¥¿¤Îɽ¸½¤Ë OpenMath -¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. -¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤ò -µ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë. +HTTP ¤Ë»÷¤»¤¿¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î¥×¥í¥È¥³¥ë. +MCP ¤Ï¼ç¤Ë control integration ¤òµ¬Äꤷ¤Æ¤ª¤ê, +¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤ÎÄÌ¿®¤ò¹Ô¤Ê¤¦. +MCP ¤Î¥á¥Ã¥»¡¼¥¸¤Ï¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤«¤é¹½À®¤µ¤ì¤Æ¤¤¤ë. +¥Ø¥Ã¥À¤Ï¥Æ¥­¥¹¥È¤Ç¤¢¤ê, ºÇ½é¤Ë¸½¤ì¤ë¶õ¹Ô¤Ç¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤Ï +¶èÀÚ¤é¤ì¤Æ¤¤¤ë. +¥Ü¥Ç¥£¤Î·Á¼°¤Ï¸ÇÄê¤Ç¤Ï¤Ê¤¯, +¥Ø¥Ã¥À¤ò¸«¤ì¤Ð¥Ü¥Ç¥£¤Î·Á¼°¤¬Ê¬¤«¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë. + +¿ô¼°¤Ï¥Ü¥Ç¥£¤Ëµ­½Ò¤µ¤ì¤ÆÁ÷¤é¤ì¤ë¤¬, +¤³¤Î¥×¥í¥È¥³¥ë¤Ç¤Ï¿ô³ØŪ¥ª¥Ö¥¸¥§¥¯¥È¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¯, +¤½¤Î¤¿¤á, ¥ª¥Ö¥¸¥§¥¯¥È¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤ò +»ÈÍѤ¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë. +¼ÂºÝ, ¿ô¼°¤Îɽ¸½¤Ë OpenMath µ¬Ìó¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, +GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë. +¤³¤Î¾ì¹ç, MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Ï +¥Ü¥Ç¥£¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë. \end{itemize}