=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.95 retrieving revision 1.96 diff -u -p -r1.95 -r1.96 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/26 04:11:54 1.95 +++ OpenXM/doc/Attic/genkou19991125.tex 1999/12/26 06:33:32 1.96 @@ -1,6 +1,6 @@ \documentclass{jarticle} -%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.94 1999/12/26 03:55:35 ohara Exp $ +%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.95 1999/12/26 04:11:54 tam Exp $ \usepackage{jssac} @@ -108,7 +108,9 @@ OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. ¤Þ¤¿, OpenXM µ¬ Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç, ¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼ -¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë. ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷ +¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë.\footnote{¤³¤ì¤Î³ÈÄ¥¤Ï, ¤¤¤Þ¼ç¤ËÌîϤ +¤¬¹Í¤¨¤Æ¤ë. ¥µ¡¼¥ÐƱ»ÎÄÌ¿®¤Ç¤­¤Ê¤¤¤È¸úΨŪÊÂÎó·×»»¤Î¼Â¸³¤Ë¤Ï»È¤¨¤Ê¤¤.} +¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷ ¤ê, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ·×»»¤Î·ë²Ì¤¬ ÆÀ¤é¤ì¤ë. ¤³¤Î¥á¥Ã¥»¡¼¥¸¤Î¤ä¤ê¤È¤ê¤Ï¥¯¥é¥¤¥¢¥ó¥È¤Î¼çƳ¤Ç¹Ô¤ï¤ì¤ë. ¤Ä¤Þ¤ê, ¥¯¥é¥¤¥¢¥ó¥È¤Ï¼«Í³¤Ë¥á¥Ã¥»¡¼¥¸¤ò¥µ¡¼¥Ð¤ËÁ÷ÉÕ¤·¤Æ¤â¤è¤¤¤¬, ¥µ¡¼¥Ð¤«¤é¤Ï¼« @@ -435,11 +437,9 @@ http://www.openmath.org/omsoc/ ¿ô³ØŪÂоݤΠSGML Ūɽµ­¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È. °Û¤Ê¤ë¼ï Îà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤­¤Ë, OpenMath ¤ÇÄêµÁ¤µ¤ì¤¿É½ ¸½¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë. ¼ÂºÝ¤Î¾ðÊó¸ò´¹¤Î¼ê³¤­¤Ë¤Ï¤¤¤í¤¤¤í¤Ê¤â¤Î¤¬¹Í -¤¨¤é¤ì¤ë¤¬, Î㤨¤Ð MCP (Mathematical Computation Protocol) ¤Ë¤è¤Ã¤ÆÄÌ¿® -¤ò¹Ô¤¦¤³¤È¤¬¤Ç¤­¤ë. -MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­½Ò¤·¤¿¥Æ¥­ -¥¹¥È¤Ç, ¤¤¤µ¤µ¤«¥á¥¤¥ë¤Ë»÷¤Æ¤¤¤Ê¤¯¤â¤Ê¤¤. -¼ÂºÝ¤Ë¤³¤ÎÊýË¡¤Ç GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. +¤¨¤é¤ì¤ë¤¬, Î㤨¤Ð MCP ¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï +¤ì¤Æ¤¤¤ë. OpenXM ¤Ï OpenMath µ¬Ìó¤Î phrasedictionary ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ +¤¤¤Æ¤¤¤ë. \item NetSolve @@ -462,14 +462,17 @@ http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp. ¤³¤È¤¬¤Ç¤­¤ë¤è¤¦¤Ë¤¹¤ë¤Î¤¬ÌÜɸ¤Ç¤¢¤ë. ¸½ºß¤¹¤Ç¤Ë, C ¸À¸ì¤ÇÍøÍѲÄǽ¤Ê¥é ¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤¤¤ë. -\item MCP +\item MCP (Mathematical Computation Protocol) http://horse.mcs.kent.edu/\~{}pwang/ -¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¥¹¥¿¥¤¥ë¤Î¥×¥í¥È¥³¥ë. ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼ +¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼ ¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò¹Ô¤Ê¤¦. ¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò MP ¤ä MathML ¤ÇÄê¤á¤é¤ì¤¿ÊýË¡¤Çɽ¸½¤¹¤ë¤³¤È¤¬¹Í¤¨ ¤é¤ì¤Æ¤¤¤ë. ¤¹¤Ç¤Ë OpenMath ¤òÍѤ¤¤¿¼ÂÁõ¤¬Â¸ºß¤¹¤ë. +¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­ +½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë. + \end{itemize} @@ -487,14 +490,14 @@ OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë. \begin{thebibliography}{99} \bibitem{Ohara-Takayama-Noro-1999} ¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô: - {Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý, - Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo). +{Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý, +Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo). \bibitem{OpenXM-1999} ÌîϤÀµ¹Ô, ¹â»³¿®µ£: - {Open XM ¤ÎÀ߷פȼÂÁõ - --- Open message eXchange protocol for Mathematics}, - 1999/11/22 +{Open XM ¤ÎÀ߷פȼÂÁõ +--- Open message eXchange protocol for Mathematics}, +1999/11/22 \end{thebibliography} \end{document}