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