=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.84 retrieving revision 1.85 diff -u -p -r1.84 -r1.85 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/25 09:05:48 1.84 +++ OpenXM/doc/Attic/genkou19991125.tex 1999/12/25 10:00:48 1.85 @@ -1,6 +1,6 @@ \documentclass{jarticle} -%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.83 1999/12/25 08:03:16 tam Exp $ +%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.84 1999/12/25 09:05:48 tam Exp $ \usepackage{jssac} \title{ @@ -54,7 +54,7 @@ OpenXM µ¬Ìó¤Ç¤Ï¶¦ÄÌɽ¸½·Á¼°¤ÎÃæ¤Îʸ»úÎó¤È¤·¤Æ, OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤í¤Ï TCP/IP ¤òÍѤ¤¤¿ÄÌ¿®¤·¤«¼ÂÁõ¤µ¤ì¤Æ¤¤¤Ê¤¤. -\footnote{asir ¤Ç MPI ¤òÍѤ¤¤¿¼ÂÁõ¤â¤¢¤ë} +\footnote{asir ¤Ç¤Ï MPI ¤òÍѤ¤¤¿¼ÂÁõ¤â¤¢¤ë.} ¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï TCP/IP ¤òÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ¤ë. \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} @@ -513,25 +513,26 @@ $A$ ¤ÎÉôʬ¤Ï %({\Large ½¤Àµ¤ò¤ß¤Æ, ¤¿¤À¤·¤¯Ä¾¤¹¤³¤È}) ¤µ¤é¤Ë, ¤³¤Î¥µ¡¼¥Ð¤Î¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤¬ -Ì¿Îᥳ¡¼¥É 2, 3, 5, 7, 11 ÈÖ¤òÍøÍѲÄǽ -(¼ÂºÝ¤Ë¤Ï¤³¤Î¤è¤¦¤ÊÌ¿Îᥳ¡¼¥É¤Ï¸ºß¤·¤Ê¤¤) -{\Large ¤¸¤ã¤¢½ñ¤¯¤Ê} +Ì¿Îá SM\_popCMO, SM\_popString, SM\_mathcap, +SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ +%(¼ÂºÝ¤Ë¤Ï¤³¤Î¤è¤¦¤ÊÌ¿Îᥳ¡¼¥É¤Ï¸ºß¤·¤Ê¤¤) +%{\Large ¤¸¤ã¤¢½ñ¤¯¤Ê} ¤Ç¤¢¤ì¤Ð, $B$ ¤ÎÉôʬ¤Ï \begin{quote} - (CMO\_LIST, {\sl int32} $5$, - (CMO\_INT32, $2$), (CMO\_INT32, $3$), - (CMO\_INT32, $5$), (CMO\_INT32, $7$), - (CMO\_INT32, $11$)) +(CMO\_LIST, {\sl int32} $5$, + (CMO\_INT32, SM\_popCMO), (CMO\_INT32, SM\_popString), + (CMO\_INT32, SM\_mathcap), + (CMO\_INT32, SM\_executeStringByLocalParser)) \end{quote} ¤È¤Ê¤ê, CMO ·Á¼°¤Î 32 ¥Ó¥Ã¥ÈÀ°¿ô, ʸ»úÎó, mathcap , ¥ê¥¹¥È¹½Â¤¤Î¤ß¤¬ ¼õ¤±¼è¤ì¤ë¤È¤­¤Ë¤Ï, $C$ ¤ÎÉôʬ¤Ï \begin{quote} (CMO\_LIST, {\sl int32} $1$, \\ - \ \ (CMO\_LIST, {\sl int32} $2$, (CMO\_INT32, 514), \\ + \ \ (CMO\_LIST, {\sl int32} $2$, (CMO\_INT32, OX\_DATA), \\ \ \ \ \ (CMO\_LIST, {\sl int32} $4$, - (CMO\_INT32, $2$), (CMO\_INT32, $4$), - (CMO\_INT32, $5$), (CMO\_INT32, $17$)))) + (CMO\_INT32, CMO\_INT32), (CMO\_INT32, CMO\_STRING), + (CMO\_INT32, CMO\_MATHCAP), (CMO\_INT32, CMO\_LIST)))) \end{quote} ¤È¤Ê¤ë. @@ -578,17 +579,24 @@ OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤­¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤ ¾¤Î¥×¥í¥¸¥§¥¯¥È¤Ë¤Ä¤¤¤Æ¤â¿¨¤ì¤Æ¤ª¤³¤¦. \begin{itemize} -\item OpenMath\\ -OpenMath ¥×¥í¥¸¥§¥¯¥È¤Ï¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò¥³¥ó¥Ô¥å¡¼¥¿¾å¤Çɽ¸½¤¹¤ëÊý -Ë¡¤òµ¬Äꤷ¤Æ¤¤¤ë. ³Æ¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¥ª¥Ö¥¸¥§¥¯¥È¤ò¸ò´¹¤¹¤ëºÝ¤Î¥ª¥Ö¥¸¥§¥¯ -¥È¤ÎÊÑ´¹¼ê½ç¤Ë¤Ä¤Æ¤âÄê¤á¤é¤ì¤Æ¤¤¤ë. ɽ¸½ÊýË¡¤Ï´ö¤Ä¤«¤ÎÃʳ¬¤ÇÄê¤á¤é¤ì¤Æ -¤¤¤Æ, XML ɽ¸½¤ä¥Ð¥¤¥Ê¥êɽ¸½¤Ê¤É¤¬ÍÑ°Õ¤µ¤ì¤Æ¤¤¤ë. ¾ÜºÙ¤Ï +\item OpenMath http://www.openmath.org/omsoc/ A.M.Cohen +¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ï¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò¥³¥ó¥Ô¥å¡¼¥¿¾å¤Çɽ¸½¤¹¤ëÊý +Ë¡¤òµ¬Äꤷ¤Æ¤¤¤ë. +%³Æ¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¥ª¥Ö¥¸¥§¥¯¥È¤ò¸ò´¹¤¹¤ëºÝ¤Î¥ª¥Ö¥¸¥§¥¯¥È¤ÎÊÑ´¹¼ê½ç¤Ë +%¤Ä¤¤¤Æ¤âÄê¤á¤é¤ì¤Æ¤¤¤ë. +ɽ¸½ÊýË¡¤Ï´ö¤Ä¤«¤ÎÃʳ¬¤ÇÄê¤á¤é¤ì¤Æ¤¤¤Æ, +XML ɽ¸½¤ä¥Ð¥¤¥Ê¥êɽ¸½¤Ê¤É¤¬ÍÑ°Õ¤µ¤ì¤Æ¤¤¤ë. + + \item NetSolve http://www.cs.utk.edu/netsolve/ + +¥Í¥Ã¥È¥ï¡¼¥¯¤ò»È¤¤, ·×»»µ¡¤Î»ñ¸»¤ò + \item MP