===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.118
retrieving revision 1.125
diff -u -p -r1.118 -r1.125
--- OpenXM/doc/Attic/genkou19991125.tex	2000/01/04 11:43:37	1.118
+++ OpenXM/doc/Attic/genkou19991125.tex	2000/01/07 09:55:43	1.125
@@ -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.124 2000/01/07 09:27:02 tam Exp $
 
 \usepackage{jssac}
 
@@ -435,7 +435,7 @@ OpenXM °Ê³°¤Ë¤â¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤ÎÄÌ¿®¤ä¿ô³Ø¥Ç¡¼¥¿¤Î¶
 \begin{itemize}
 \item ESPRIT OpenMath Project
 
-http://www.openmath.org/omsoc/
+http://www.nag.co.uk/projects/openmath/omsoc/
 
 ¿ô³ØŪÂоݤΠSGML Ūɽµ­¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È.  ¤³¤Î¥×
 ¥í¥¸¥§¥¯¥È¤Ç¤Ï¿ô³Ø¥Ç¡¼¥¿¤ò¿ô³ØŪ°ÕÌ£¤òÊݤ俤ޤޤÇÇ¡²¿¤Ëɽ¸½¤¹¤Ù¤­¤«¤È¤¤
@@ -448,11 +448,7 @@ http://www.openmath.org/omsoc/
 Í­¤Î¥ª¥Ö¥¸¥§¥¯¥È¤È¤ÎÊÑ´¹¤Ï OpenMath µ¬Ìó¤Î Phrasebook ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ
 ¤¤¤Æ¤¤¤ë.
 
-% ¤³¤³¤Ï½ñ¤«¤Ê¤¯¤Æ¤â¤¤¤¤¤è¤¦¤Ë»×¤¨¤Æ¤­¤¿¤Î¤Çºï½ü¤·¤Þ¤·¤¿¡£
-%OpenXM µ¬Ìó¤Î CMO ·Á¼°¤ÎÄêµÁ¤Ï OpenMath µ¬Ìó¤Î content dictionary ¤Î³µÇ°
-%¤Ë»÷¤Æ¤¤¤ë(¤â¤Á¤í¤ó OpenMath ¤ÎÊý¤¬¤â¤Ã¤ÈÂç³Ý¤«¤ê¤Ç¸·Ì©¤Êµ¬Äê¤Ç¤¢¤ë).
 
-
 \item NetSolve
 
 http://www.cs.utk.edu/netsolve/
@@ -487,20 +483,27 @@ 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}
 
 
@@ -516,16 +519,37 @@ ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc ¤È¤¤¤¦Ì¾Á°¤ÇÄ
 OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë.
 
 \begin{thebibliography}{99}
-\bibitem{Ohara-Takayama-Noro-1999}
-¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô:
-{Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý,
-Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo).
+\bibitem{OpenMath1.0}
+O. Caprotti, A. M. Cohen: The OpenMath Standard, 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, 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 25}, February 1998, 213--238.
+(ftp://ftp.mcs.kent.edu/dist/MP/mp-jsc-96.ps.gz)
+
 \bibitem{OpenXM-1999}
-ÌîϤÀµ¹Ô, ¹â»³¿®µ£:
-{Open XM ¤ÎÀ߷פȼÂÁõ
---- Open message eXchange protocol for Mathematics},
-1999/11/22
+ÌîϤ Àµ¹Ô, ¹â»³ ¿®µ£: {Open XM ¤ÎÀ߷פȼÂÁõ --- Open message eXchange protocol for Mathematics}, December 31 1999.
+(http://www.math.sci.kobe-u.ac.jp/openxm/openxm-jp.tex)
+
+\bibitem{Ohara-Takayama-Noro-1999}
+¾®¸¶ ¸ùǤ, ¹â»³ ¿®µ£, ÌîϤ Àµ¹Ô: Open asir ÆþÌç,
+{\it ¿ô¼°½èÍý}, {\bf Vol 7}(No 2), 1999, 2--17.
+(ISBN 4-87243-086-7, SEG ½ÐÈÇ, Tokyo).
+
+\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.).
+
 \end{thebibliography}
 
 \end{document}