[BACK]Return to genkou19991125.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.94 and 1.96

version 1.94, 1999/12/26 03:55:35 version 1.96, 1999/12/26 06:33:32
Line 1 
Line 1 
 \documentclass{jarticle}  \documentclass{jarticle}
   
 %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.93 1999/12/25 17:56:56 tam Exp $  %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.95 1999/12/26 04:11:54 tam Exp $
   
 \usepackage{jssac}  \usepackage{jssac}
   
Line 108  OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥
Line 108  OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥
   
 OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. ¤Þ¤¿, OpenXM µ¬  OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. ¤Þ¤¿, OpenXM µ¬
 Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç, ¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼  Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç, ¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼
 ¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë. ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷  ¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë.\footnote{¤³¤ì¤Î³ÈÄ¥¤Ï, ¤¤¤Þ¼ç¤ËÌîϤ
   ¤¬¹Í¤¨¤Æ¤ë.  ¥µ¡¼¥ÐƱ»ÎÄÌ¿®¤Ç¤­¤Ê¤¤¤È¸úΨŪÊÂÎó·×»»¤Î¼Â¸³¤Ë¤Ï»È¤¨¤Ê¤¤.}
   ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷
 ¤ê, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ·×»»¤Î·ë²Ì¤¬  ¤ê, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ·×»»¤Î·ë²Ì¤¬
 ÆÀ¤é¤ì¤ë. ¤³¤Î¥á¥Ã¥»¡¼¥¸¤Î¤ä¤ê¤È¤ê¤Ï¥¯¥é¥¤¥¢¥ó¥È¤Î¼çƳ¤Ç¹Ô¤ï¤ì¤ë. ¤Ä¤Þ¤ê,  ÆÀ¤é¤ì¤ë. ¤³¤Î¥á¥Ã¥»¡¼¥¸¤Î¤ä¤ê¤È¤ê¤Ï¥¯¥é¥¤¥¢¥ó¥È¤Î¼çƳ¤Ç¹Ô¤ï¤ì¤ë. ¤Ä¤Þ¤ê,
 ¥¯¥é¥¤¥¢¥ó¥È¤Ï¼«Í³¤Ë¥á¥Ã¥»¡¼¥¸¤ò¥µ¡¼¥Ð¤ËÁ÷ÉÕ¤·¤Æ¤â¤è¤¤¤¬, ¥µ¡¼¥Ð¤«¤é¤Ï¼«  ¥¯¥é¥¤¥¢¥ó¥È¤Ï¼«Í³¤Ë¥á¥Ã¥»¡¼¥¸¤ò¥µ¡¼¥Ð¤ËÁ÷ÉÕ¤·¤Æ¤â¤è¤¤¤¬, ¥µ¡¼¥Ð¤«¤é¤Ï¼«
Line 386  SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ¤Ç, ¤«¤Ä ¥ª¥Ö
Line 388  SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ¤Ç, ¤«¤Ä ¥ª¥Ö
 cmo\_int32, cmo\_string, cmo\_mathcap, cmo\_list ¤Î¤ß¤ËÀ©¸Â¤·¤¿¤¤¤È¤­¤Î  cmo\_int32, cmo\_string, cmo\_mathcap, cmo\_list ¤Î¤ß¤ËÀ©¸Â¤·¤¿¤¤¤È¤­¤Î
 mathcap ¤Ï  mathcap ¤Ï
 \begin{quote}  \begin{quote}
 (CMO\_LIST, 3, \\  (CMO\_MATHCAP, (CMO\_LIST, 3, \\
 $\quad$ (CMO\_LIST, 4, (CMO\_INT32, $199911250$), (CMO\_STRING, 7, ``ox\_test''), \\  $\quad$ (CMO\_LIST, 4, (CMO\_INT32, $199911250$), (CMO\_STRING, 7, ``ox\_test''), \\
 $\qquad$ (CMO\_STRING, 9, ``199911250''), (CMO\_STRING, 4, ``i386'')) \\  $\qquad$ (CMO\_STRING, 9, ``199911250''), (CMO\_STRING, 4, ``i386'')) \\
 $\quad$ (CMO\_LIST, $5$, (CMO\_INT32, SM\_popCMO), \\  $\quad$ (CMO\_LIST, $5$, (CMO\_INT32, SM\_popCMO), \\
Line 395  $\qquad$ (CMO\_INT32, SM\_executeStringByLocalParser))
Line 397  $\qquad$ (CMO\_INT32, SM\_executeStringByLocalParser))
 $\quad$ (CMO\_LIST, $1$, (CMO\_LIST, $2$, (CMO\_INT32, OX\_DATA), \\  $\quad$ (CMO\_LIST, $1$, (CMO\_LIST, $2$, (CMO\_INT32, OX\_DATA), \\
 $\qquad$ (CMO\_LIST, $4$, (CMO\_INT32, CMO\_INT32), \\  $\qquad$ (CMO\_LIST, $4$, (CMO\_INT32, CMO\_INT32), \\
 $\qquad\quad$ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\  $\qquad\quad$ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\
 $\qquad\quad$ (CMO\_INT32, CMO\_LIST)))))  $\qquad\quad$ (CMO\_INT32, CMO\_LIST))))))
 \end{quote}  \end{quote}
 ¤Ë¤Ê¤ë.  ¤Ë¤Ê¤ë.
   
Line 435  http://www.openmath.org/omsoc/
Line 437  http://www.openmath.org/omsoc/
 ¿ô³ØŪÂоݤΠSGML Ūɽµ­¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È. °Û¤Ê¤ë¼ï  ¿ô³ØŪÂоݤΠSGML Ūɽµ­¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È. °Û¤Ê¤ë¼ï
 Îà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤­¤Ë, OpenMath ¤ÇÄêµÁ¤µ¤ì¤¿É½  Îà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤­¤Ë, OpenMath ¤ÇÄêµÁ¤µ¤ì¤¿É½
 ¸½¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.  ¼ÂºÝ¤Î¾ðÊó¸ò´¹¤Î¼ê³¤­¤Ë¤Ï¤¤¤í¤¤¤í¤Ê¤â¤Î¤¬¹Í  ¸½¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤­¤ë.  ¼ÂºÝ¤Î¾ðÊó¸ò´¹¤Î¼ê³¤­¤Ë¤Ï¤¤¤í¤¤¤í¤Ê¤â¤Î¤¬¹Í
 ¤¨¤é¤ì¤ë¤¬, Î㤨¤Ð MCP (Mathematical Computation Protocol) ¤Ë¤è¤Ã¤ÆÄÌ¿®  ¤¨¤é¤ì¤ë¤¬, Î㤨¤Ð MCP ¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï
 ¤ò¹Ô¤¦¤³¤È¤¬¤Ç¤­¤ë.  ¤ì¤Æ¤¤¤ë.  OpenXM ¤Ï OpenMath µ¬Ìó¤Î phrasedictionary ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ
 MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­½Ò¤·¤¿¥Æ¥­  ¤¤¤Æ¤¤¤ë.
 ¥¹¥È¤Ç, ¤¤¤µ¤µ¤«¥á¥¤¥ë¤Ë»÷¤Æ¤¤¤Ê¤¯¤â¤Ê¤¤.  
 ¼ÂºÝ¤Ë¤³¤ÎÊýË¡¤Ç GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë.  
   
 \item NetSolve  \item NetSolve
   
Line 462  http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.
Line 462  http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.
 ¤³¤È¤¬¤Ç¤­¤ë¤è¤¦¤Ë¤¹¤ë¤Î¤¬ÌÜɸ¤Ç¤¢¤ë.  ¸½ºß¤¹¤Ç¤Ë, C ¸À¸ì¤ÇÍøÍѲÄǽ¤Ê¥é  ¤³¤È¤¬¤Ç¤­¤ë¤è¤¦¤Ë¤¹¤ë¤Î¤¬ÌÜɸ¤Ç¤¢¤ë.  ¸½ºß¤¹¤Ç¤Ë, C ¸À¸ì¤ÇÍøÍѲÄǽ¤Ê¥é
 ¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤¤¤ë.  ¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤¤¤ë.
   
 \item MCP  \item MCP (Mathematical Computation Protocol)
   
 http://horse.mcs.kent.edu/\~{}pwang/  http://horse.mcs.kent.edu/\~{}pwang/
   
 ¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¥¹¥¿¥¤¥ë¤Î¥×¥í¥È¥³¥ë.  ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼  ¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë.  ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼
 ¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò¹Ô¤Ê¤¦.  ¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò¹Ô¤Ê¤¦.
 ¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò MP ¤ä MathML ¤ÇÄê¤á¤é¤ì¤¿ÊýË¡¤Çɽ¸½¤¹¤ë¤³¤È¤¬¹Í¤¨  ¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò MP ¤ä MathML ¤ÇÄê¤á¤é¤ì¤¿ÊýË¡¤Çɽ¸½¤¹¤ë¤³¤È¤¬¹Í¤¨
 ¤é¤ì¤Æ¤¤¤ë.  ¤¹¤Ç¤Ë OpenMath ¤òÍѤ¤¤¿¼ÂÁõ¤¬Â¸ºß¤¹¤ë.  ¤é¤ì¤Æ¤¤¤ë.  ¤¹¤Ç¤Ë OpenMath ¤òÍѤ¤¤¿¼ÂÁõ¤¬Â¸ºß¤¹¤ë.
   ¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ­
   ½Ò¤·¤¿¥Æ¥­¥¹¥È¤Ç¤¢¤ë.
   
 \end{itemize}  \end{itemize}
   
   
Line 487  OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë.
Line 490  OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë.
 \begin{thebibliography}{99}  \begin{thebibliography}{99}
 \bibitem{Ohara-Takayama-Noro-1999}  \bibitem{Ohara-Takayama-Noro-1999}
 ¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô:  ¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô:
         {Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý,  {Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý,
         Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo).  Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo).
   
 \bibitem{OpenXM-1999}  \bibitem{OpenXM-1999}
 ÌîϤÀµ¹Ô, ¹â»³¿®µ£:  ÌîϤÀµ¹Ô, ¹â»³¿®µ£:
         {Open XM ¤ÎÀ߷פȼÂÁõ  {Open XM ¤ÎÀ߷פȼÂÁõ
                 --- Open message eXchange protocol for Mathematics},  --- Open message eXchange protocol for Mathematics},
         1999/11/22  1999/11/22
 \end{thebibliography}  \end{thebibliography}
   
 \end{document}  \end{document}

Legend:
Removed from v.1.94  
changed lines
  Added in v.1.96

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>