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

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.120 and 1.122

version 1.120, 2000/01/07 06:04:13 version 1.122, 2000/01/07 09:07:53
Line 1 
Line 1 
 \documentclass{jarticle}  \documentclass{jarticle}
   
 %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.119 2000/01/05 14:12:05 tam Exp $  %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.121 2000/01/07 08:24:52 tam Exp $
   
 \usepackage{jssac}  \usepackage{jssac}
   
Line 435  OpenXM °Ê³°¤Ë¤â¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤ÎÄÌ¿®¤ä¿ô³Ø¥Ç¡¼¥¿¤Î¶
Line 435  OpenXM °Ê³°¤Ë¤â¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤ÎÄÌ¿®¤ä¿ô³Ø¥Ç¡¼¥¿¤Î¶
 \begin{itemize}  \begin{itemize}
 \item ESPRIT OpenMath Project  \item ESPRIT OpenMath Project
   
 http://www.openmath.org/omsoc/  http://www.nag.co.uk/projects/openmath/omsoc/
   
 ¿ô³ØŪÂоݤΠSGML Ūɽµ­¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È.  ¤³¤Î¥×  ¿ô³ØŪÂоݤΠSGML Ūɽµ­¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È.  ¤³¤Î¥×
 ¥í¥¸¥§¥¯¥È¤Ç¤Ï¿ô³Ø¥Ç¡¼¥¿¤ò¿ô³ØŪ°ÕÌ£¤òÊݤ俤ޤޤÇÇ¡²¿¤Ëɽ¸½¤¹¤Ù¤­¤«¤È¤¤  ¥í¥¸¥§¥¯¥È¤Ç¤Ï¿ô³Ø¥Ç¡¼¥¿¤ò¿ô³ØŪ°ÕÌ£¤òÊݤ俤ޤޤÇÇ¡²¿¤Ëɽ¸½¤¹¤Ù¤­¤«¤È¤¤
Line 448  http://www.openmath.org/omsoc/
Line 448  http://www.openmath.org/omsoc/
 Í­¤Î¥ª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ  Í­¤Î¥ª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ
 ¤¤¤Æ¤¤¤ë.  ¤¤¤Æ¤¤¤ë.
   
 % ¤³¤³¤Ï½ñ¤«¤Ê¤¯¤Æ¤â¤¤¤¤¤è¤¦¤Ë»×¤¨¤Æ¤­¤¿¤Î¤Çºï½ü¤·¤Þ¤·¤¿¡£  
 %OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content dictionary ¤Î³µÇ°  
 %¤Ë»÷¤Æ¤¤¤ë(¤â¤Á¤í¤ó OpenMath ¤ÎÊý¤¬¤â¤Ã¤ÈÂç³Ý¤«¤ê¤Ç¸·Ì©¤Êµ¬Äê¤Ç¤¢¤ë).  
   
   
 \item NetSolve  \item NetSolve
   
 http://www.cs.utk.edu/netsolve/  http://www.cs.utk.edu/netsolve/
Line 492  C ¸À¸ì¤Ë¤è¤ë¼ÂÁõ(MP-C ¥é¥¤¥Ö¥é¥ê)¤Ï¾åµ­¤Î¥¦¥§¥Ö¥Ú¡¼¥¸¤
Line 488  C ¸À¸ì¤Ë¤è¤ë¼ÂÁõ(MP-C ¥é¥¤¥Ö¥é¥ê)¤Ï¾åµ­¤Î¥¦¥§¥Ö¥Ú¡¼¥¸¤
   
 http://horse.mcs.kent.edu/\~{}pwang/  http://horse.mcs.kent.edu/\~{}pwang/
   
 HTTP ¤Ë»÷¤»¤¿¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î¥×¥í¥È¥³¥ë.  ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤äÌ¿Îá¤ò´Þ¤à¥á¥Ã¥»¡¼¥¸¤ò¤ä¤ê¤È¤ê¤¹¤ë¤¿¤á¤Î
 MCP ¤Ï control integration ¤òµ¬Äꤷ¤Æ¤ª¤ê,  HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë.
 ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤ÎÄÌ¿®¤ò¹Ô¤Ê¤¦.  MCP ¤Ï control integration ¤Ç¤¢¤ê,
   ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤ÎÄÌ¿®¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë.
 MCP ¤Î¥á¥Ã¥»¡¼¥¸¤Ï¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤«¤é¹½À®¤µ¤ì¤Æ¤¤¤ë.  MCP ¤Î¥á¥Ã¥»¡¼¥¸¤Ï¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤«¤é¹½À®¤µ¤ì¤Æ¤¤¤ë.
 ¥Ø¥Ã¥À¤Ï¥Æ¥­¥¹¥È¤Ç¤¢¤ê, ºÇ½é¤Ë¸½¤ì¤ë¶õ¹Ô¤Ç¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤Ï  ¥Ø¥Ã¥À¤Ï¥Æ¥­¥¹¥È¤Ç¤¢¤ê, ºÇ½é¤Ë¸½¤ì¤ë¶õ¹Ô¤Ç¥Ø¥Ã¥À¤È¥Ü¥Ç¥£¤Ï
 ¶èÀÚ¤é¤ì¤Æ¤¤¤ë.  ¶èÀÚ¤é¤ì¤Æ¤¤¤ë.
 ¥Ü¥Ç¥£¤Î·Á¼°¤Ï¸ÇÄê¤Ç¤Ï¤Ê¤¯,  
 ¥Ø¥Ã¥À¤ò¸«¤ì¤Ð¥Ü¥Ç¥£¤Î·Á¼°¤¬Ê¬¤«¤ë¤è¤¦¤Ë¤Ê¤Ã¤Æ¤¤¤ë.  
   
 ¿ô¼°¤Ï¥Ü¥Ç¥£¤Ëµ­½Ò¤µ¤ì¤ÆÁ÷¤é¤ì¤ë¤¬,  ¿ô¼°¤Ï¥Ü¥Ç¥£¤Ëµ­½Ò¤µ¤ì¤ÆÁ÷¤é¤ì¤ë.
 ¤³¤Î¥×¥í¥È¥³¥ë¤Ç¤Ï¿ô¼°¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Îµ¬Äê¤Ï¤Ê¤¯,  ¿ô¼°¤Îɽ¸½ÊýË¡¤È¤·¤Æ¤Ï MP ¤ä OpenMath ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤ò
 ¤½¤Î¤¿¤á, ¥ª¥Ö¥¸¥§¥¯¥È¤Îɽ¸½¤Ë¤Ï MP ¤ä OpenMath ¤ÇÄê¤á¤é¤ì¤¿¤â¤Î¤ò  
 »ÈÍѤ¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë.  »ÈÍѤ¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤Æ¤¤¤ë.
 ¼ÂºÝ, ¿ô¼°¤Îɽ¸½¤Ë OpenMath µ¬Ìó¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê,  ¼ÂºÝ, ¿ô¼°¤Îɽ¸½¤Ë OpenMath µ¬Ìó¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê,
 GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë.  GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤Ê¤ï¤ì¤Æ¤¤¤ë.
Line 525  ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc ¤È¤¤¤¦Ì¾Á°¤ÇÄ
Line 519  ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc ¤È¤¤¤¦Ì¾Á°¤ÇÄ
 OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë.  OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë.
   
 \begin{thebibliography}{99}  \begin{thebibliography}{99}
   \bibitem{OpenMath1.0}
   O. Caprotti, A. M. Cohen: The OpenMath Standard, Version 1.0, February 1999.
   (http://www.nag.co.uk/projects/OpenMath/omstd/partI.ps.gz)
   
   \bibitem{NetSolve1.2b}
   H. Casanova, J. Dongarra, A. Karainov, J. Wasniewski:
   Users' Guide to NetSolve, version 1.2.beta, October 27 1998.
   (http://www.cs.utk.edu/netsolve/download/ug.ps)
   
   \bibitem{MP}
   S. Gray, N. Kajler, P. S. Wang:
   Design and Implementation of MP,
   a Protocol for Efficient Exchange of Mathematical Expressions,
   {\it Journal of Symbolic Computation}, {\bf 11}, 1996, 1--25.
   (ftp://ftp.mcs.kent.edu/dist/MP/mp-jsc-96.ps.gz)
   
 \bibitem{Ohara-Takayama-Noro-1999}  \bibitem{Ohara-Takayama-Noro-1999}
 ¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô:  ¾®¸¶ ¸ùǤ, ¹â»³ ¿®µ£, ÌîϤ Àµ¹Ô: Open asir ÆþÌç,
 {Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý,  {\it ¿ô¼°½èÍý}, {\bf Vol 7}(No 2), 1999, 2--17.
 Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo).  (ISBN 4-87243-086-7, SEG ½ÐÈÇ, Tokyo).
   
 \bibitem{OpenXM-1999}  \bibitem{OpenXM-1999}
 ÌîϤÀµ¹Ô, ¹â»³¿®µ£:  ÌîϤ Àµ¹Ô, ¹â»³ ¿®µ£: {Open XM ¤ÎÀ߷פȼÂÁõ --- Open message eXchange protocol for Mathematics}, December 31 1999.
 {Open XM ¤ÎÀ߷פȼÂÁõ  (http://www.math.sci.kobe-u.ac.jp/openxxx/openxxx.tex)
 --- Open message eXchange protocol for Mathematics},  
 1999/11/22  \bibitem{ISSAC99}
   P. S. Wang:
   Design and Protocol for Internet Accessible Mathematical Computation,
   {\it Proceedings of the 1999 International Symposium on Symbolic and Algebraic Computation}, 1999, 291--298.
   (ISBN 1-58113-073-2, ACM, New York 1999. Order No. 505990).
   
 \end{thebibliography}  \end{thebibliography}
   
 \end{document}  \end{document}

Legend:
Removed from v.1.120  
changed lines
  Added in v.1.122

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