version 1.86, 1999/12/25 11:03:43 |
version 1.88, 1999/12/25 13:05:20 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.85 1999/12/25 10:00:48 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.87 1999/12/25 12:10:39 tam Exp $ |
|
|
\usepackage{jssac} |
\usepackage{jssac} |
\title{ |
\title{ |
|
|
\begin{document} |
\begin{document} |
\maketitle |
\maketitle |
|
|
|
|
\section{OpenXM¤È¤Ï} |
\section{OpenXM¤È¤Ï} |
|
|
OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ìó¤Ç¤¢¤ë. |
OpenXM ¤Ï¿ô³Ø¥×¥í¥»¥¹´Ö¤Ç¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤¿¤á¤Îµ¬Ìó¤Ç¤¢¤ë. |
Line 57 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬, |
|
Line 58 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬, |
|
\footnote{asir ¤Ç¤Ï MPI ¤òÍѤ¤¤¿¼ÂÁõ¤â¤¢¤ë.} |
\footnote{asir ¤Ç¤Ï MPI ¤òÍѤ¤¤¿¼ÂÁõ¤â¤¢¤ë.} |
¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï TCP/IP ¤òÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ¤ë. |
¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï TCP/IP ¤òÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ¤ë. |
|
|
|
|
\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} |
\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} |
|
|
ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë. |
ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë. |
Line 82 OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ |
|
Line 84 OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ |
|
\item ¸åȾ¤Î 4 ¥Ð¥¤¥È. ¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·ÈÖ¹æ¤Ç¤¢¤ë. |
\item ¸åȾ¤Î 4 ¥Ð¥¤¥È. ¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·ÈÖ¹æ¤Ç¤¢¤ë. |
\end{enumerate} |
\end{enumerate} |
¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë. |
¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë. |
¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¤Ï¸å½Ò¤¹¤ë¤¬, |
|
|
¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
|
32 ¥Ó¥Ã¥È¤ÎÀµ¤ÎÀ°¿ô |
|
$d_0 + d_1 \cdot 2^{32} + d_2 \cdot (2^{32})^2 + d_2 \cdot (2^{32})^3$ |
|
($0 <= d_i < 2^{32}$ ) |
|
¤ò¥Ð¥¤¥ÈÎó¤Çɽ¤¹¾ì¹ç, |
|
\begin{tabular}{|c|c|c|c|} \hline |
|
$d_0$ & $d_0$ & $d_0$ & $d_0$ \\ \hline |
|
\end{tabular} |
|
|
|
%¤Ï¸å½Ò¤¹¤ë¤¬, |
´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê, |
´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê, |
¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë. |
¸½ºß¤ÎOpenXM µ¬Ìó¤Ç¤Ï, ¥¿¥°(À°¿ôÃÍ)¤È¤·¤Æ |
%¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
°Ê²¼¤Î¤â¤Î¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. |
|
|
|
|
|
|
|
|
% OpenXM µ¬Ìó¤Ç¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç 32 bit ¤ÎÀ°¿ô 20 ¤ò |
|
% {\tt 00 00 00 14} ¤Èɽ¤¹ÊýË¡¤È {\tt 14 00 00 00} ¤Èɽ¤¹ÊýË¡¤¬¤¢¤ë. |
|
% ¤³¤Îɽ¸½ÊýË¡¤Î°ã¤¤¤Ï¥¯¥é¥¤¥¢¥ó¥È¤È¥µ¡¼¥Ð¤ÎºÇ½é¤ÎÀܳ»þ¤Ë |
|
% ÁÐÊý¤Î¹ç°Õ¤Ç·èÄꤹ¤ë¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
% ¤Ê¤ª, ¹ç°Õ¤¬¤Ê¤¤¾ì¹ç¤Ë¤ÏÁ°¼Ô¤Îɽ¸½ÊýË¡ |
|
% (°Ê¸å, ¤³¤Îɽ¸½ÊýË¡¤ò¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤È¸Æ¤Ö)¤ò |
|
% »È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
% ¤Þ¤¿, Éé¤Î¿ô¤òɽ¸½¤¹¤ëɬÍפ¬¤¢¤ë¤È¤¤Ë¤Ï, |
|
% 2 ¤ÎÊä¿ôɽ¸½¤ò»È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
|
|
¸½ºß¤ÎOpenXM µ¬Ìó¤Ç¤Ï, ¥¿¥°(À°¿ôÃÍ)¤È¤·¤Æ°Ê²¼¤Î¤â¤Î¤¬ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. |
|
|
\begin{verbatim} |
\begin{verbatim} |
#define OX_COMMAND 513 |
#define OX_COMMAND 513 |
#define OX_DATA 514 |
#define OX_DATA 514 |
Line 109 OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ |
|
Line 134 OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ |
|
¸ÇͤÎɽ¸½¤ò´Þ¤à¥á¥Ã¥»¡¼¥¸¤òºîÀ®¤·¤¿¤¤¾ì¹ç¤Ê¤É¤Ë͸ú¤Ç¤¢¤ë. ¿·¤·¤¤¼±ÊÌ»Ò |
¸ÇͤÎɽ¸½¤ò´Þ¤à¥á¥Ã¥»¡¼¥¸¤òºîÀ®¤·¤¿¤¤¾ì¹ç¤Ê¤É¤Ë͸ú¤Ç¤¢¤ë. ¿·¤·¤¤¼±ÊÌ»Ò |
¤ÎÄêµÁÊýË¡¤Ë¤Ä¤¤¤Æ¤Ï, \cite{OpenXM-1999} ¤ò»²¾È¤¹¤ë¤³¤È. |
¤ÎÄêµÁÊýË¡¤Ë¤Ä¤¤¤Æ¤Ï, \cite{OpenXM-1999} ¤ò»²¾È¤¹¤ë¤³¤È. |
|
|
|
|
\section{OpenXM ¤Î·×»»¥â¥Ç¥ë} |
\section{OpenXM ¤Î·×»»¥â¥Ç¥ë} |
|
|
OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. ¤Þ¤¿, OpenXM µ¬ |
OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. ¤Þ¤¿, OpenXM µ¬ |
Line 132 OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. |
|
Line 158 OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. |
|
¤ËÁ÷¤é¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. ¤³¤ì¤é¤ÎÌ¿Îá¤ò¼õ¤±¼è¤Ã¤Æ¤Ï¤¸¤á¤Æ, ¥µ¡¼¥Ð¤«¤é¥¯¥é |
¤ËÁ÷¤é¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. ¤³¤ì¤é¤ÎÌ¿Îá¤ò¼õ¤±¼è¤Ã¤Æ¤Ï¤¸¤á¤Æ, ¥µ¡¼¥Ð¤«¤é¥¯¥é |
¥¤¥¢¥ó¥È¤Ø¥á¥Ã¥»¡¼¥¸¤¬Á÷¤é¤ì¤ë. |
¥¤¥¢¥ó¥È¤Ø¥á¥Ã¥»¡¼¥¸¤¬Á÷¤é¤ì¤ë. |
|
|
%{\Huge °Ê²¼, ½ñ¤Ä¾¤·} |
|
|
|
¤Þ¤È¤á¤ë¤È, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê, |
¤Þ¤È¤á¤ë¤È, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷¤ê, |
·×»»¤Î·ë²Ì¤òÆÀ¤ë¤È¤¤¤¦¼ê½ç¤Ï°Ê²¼¤Î¤è¤¦¤Ë¤Ê¤ë. |
·×»»¤Î·ë²Ì¤òÆÀ¤ë¤È¤¤¤¦¼ê½ç¤Ï°Ê²¼¤Î¤è¤¦¤Ë¤Ê¤ë. |
|
|
\begin{enumerate} |
\begin{enumerate} |
\item |
\item ¤Þ¤º, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¥ª¥Ö¥¸¥§¥¯¥È¤òÁ÷¤ë. |
¤Þ¤º, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ø¥ª¥Ö¥¸¥§¥¯¥È¤òÁ÷¤ë. ¥µ¡¼¥Ð¤ÏÁ÷¤é¤ì¤Æ¤¤¿¥ª¥Ö |
¥µ¡¼¥Ð¤ÏÁ÷¤é¤ì¤Æ¤¤¿¥ª¥Ö¥¸¥§¥¯¥È¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà. |
¥¸¥§¥¯¥È¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà. |
\item ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ë·×»»¤ÎÌ¿Îá¤òÁ÷¤ë¤È, |
\item |
¥µ¡¼¥Ð¤Ï¤¢¤é¤«¤¸¤áÄê¤á¤ì¤é¤¿Æ°ºî¤ò¹Ô¤¦. |
¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤Ë·×»»¤ÎÌ¿Îá¤òÁ÷¤ë¤È, ¥µ¡¼¥Ð¤Ï¤¢¤é¤«¤¸¤áÄê¤á¤ì¤é¤¿ |
°ìÉô¤ÎÌ¿Îá¤Ï¥¹¥¿¥Ã¥¯¤Î¾õÂÖ¤òÊѹ¹¤¹¤ë. |
Æ°ºî¤ò¹Ô¤¦. °ìÉô¤ÎÌ¿Îá¤Ï¥¹¥¿¥Ã¥¯¤Î¾õÂÖ¤òÊѹ¹¤¹¤ë. |
Î㤨¤Ð SM\_executeFunction, \\ |
Î㤨¤Ð SM\_executeFunction, \\ |
SM\_executeStringByLocalParser ¤Ê¤É¤ÎÌ¿Îá¤Ï, |
SM\_executeStringByLocalParser ¤Ê¤É¤ÎÌ¿Îá¤Ï, ¥¹¥¿¥Ã¥¯¾å¤Î¥ª¥Ö¥¸¥§¥¯¥È¤«¤é |
¥¹¥¿¥Ã¥¯¾å¤Î¥ª¥Ö¥¸¥§¥¯¥È¤«¤é·×»»¤ò¹Ô¤¦. |
·×»»¤ò¹Ô¤¦. SM\_popCMO ¤â¤·¤¯¤Ï SM\_popString ¤Ï, ¥¹¥¿¥Ã¥¯¤ÎºÇ¾å°Ì¤Î¥ª¥Ö |
SM\_popCMO ¤â¤·¤¯¤Ï SM\_popString ¤Ï, |
¥¸¥§¥¯¥È¤ò¼è¤ê¤À¤·, ¥¯¥é¥¤¥¢¥ó¥È¤ËÁ÷¤êÊÖ¤¹. |
¥¹¥¿¥Ã¥¯¤ÎºÇ¾å°Ì¤Î¥ª¥Ö¥¸¥§¥¯¥È¤ò¼è¤ê¤À¤·, ¥¯¥é¥¤¥¢¥ó¥È¤ËÁ÷¤êÊÖ¤¹. |
\end{enumerate} |
\end{enumerate} |
|
|
|
|
Line 201 OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ |
|
Line 225 OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ |
|
#define SM_control_reset_connection 1030 |
#define SM_control_reset_connection 1030 |
\end{verbatim} |
\end{verbatim} |
|
|
%°Ê²¼, ¤É¤¦¤¤¤¦¤È¤¤Ë·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤफ¥¨¥é¡¼¤Î¾ì¹ç¤É¤¦¤¹¤ë¤«¤ÎÀâÌÀ¤¬ |
|
%ɬÍפǤ¢¤í¤¦. |
|
|
|
¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤ÎÃæ¤Ë¤Ï¼Â¹Ô¤Ë¤è¤Ã¤Æ·ë²Ì¤¬Ê֤äƤ¯¤ë¤â¤Î¤¬¤¢¤ë. |
¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤ÎÃæ¤Ë¤Ï¼Â¹Ô¤Ë¤è¤Ã¤Æ·ë²Ì¤¬Ê֤äƤ¯¤ë¤â¤Î¤¬¤¢¤ë. |
·ë²Ì¤¬Ê֤äƤ¯¤ëÌ¿Îá¤ò¼Â¹Ô¤·¤¿¾ì¹ç, ¥µ¡¼¥Ð¤Ï¤½¤Î·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà. |
·ë²Ì¤¬Ê֤äƤ¯¤ëÌ¿Îá¤ò¼Â¹Ô¤·¤¿¾ì¹ç, ¥µ¡¼¥Ð¤Ï¤½¤Î·ë²Ì¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà. |
¤¿¤È¤¨¤Ð, Ì¿Îá SM\_executeStringByLocalParser ¤Ï |
¤¿¤È¤¨¤Ð, Ì¿Îá SM\_executeStringByLocalParser ¤Ï |
¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤Æ¤¤¤ë¥ª¥Ö¥¸¥§¥¯¥È¤ò |
¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤Æ¤¤¤ë¥ª¥Ö¥¸¥§¥¯¥È¤ò |
¥µ¡¼¥Ð¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤È¤ß¤Ê¤·¤Æ·×»»¤ò¹Ô¤Ê¤¦¤¬, |
¥µ¡¼¥Ð¦¤Î¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤È¤ß¤Ê¤·¤Æ·×»»¤ò¹Ô¤Ê¤¦¤¬, |
¹Ô¤Ê¤Ã¤¿·×»»¤Î·ë²Ì¤Ï¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë. |
¹Ô¤Ê¤Ã¤¿·×»»¤Î·ë²Ì¤Ï¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë. |
%{\Large ¤³¤ì, ËÜÅö? ʸ»úÎó¤ÇÀѤޤì¤ë¤Î? ¤É¤³¤Ç·è¤Þ¤Ã¤Æ¤ë¤Î?} |
|
%¢¬¤¹¤¤¤Þ¤»¤ó¡¢±³¤Ç¤·¤¿¡£ |
|
|
|
¤Ê¤ª, Ì¿Îá¤Î¼Â¹ÔÃæ¤Ë¥¨¥é¡¼¤¬µ¯¤³¤ê, ·ë²Ì¤¬ÆÀ¤é¤ì¤Ê¤«¤Ã¤¿¾ì¹ç¤Ë¤Ï, |
¤Ê¤ª, Ì¿Îá¤Î¼Â¹ÔÃæ¤Ë¥¨¥é¡¼¤¬µ¯¤³¤ê, ·ë²Ì¤¬ÆÀ¤é¤ì¤Ê¤«¤Ã¤¿¾ì¹ç¤Ë¤Ï, |
¥¨¥é¡¼¥ª¥Ö¥¸¥§¥¯¥È¤¬¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë. |
¥¨¥é¡¼¥ª¥Ö¥¸¥§¥¯¥È¤¬¥¹¥¿¥Ã¥¯¤ËÀѤޤì¤ë. |
Line 323 cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list}) |
|
Line 342 cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list}) |
|
¤¿¤À¤·, {\sl string}¤ÏŬÅö¤ÊŤµ¤Î¥Ð¥¤¥ÈÎó¤òɽ¤¹. $s$ ¤Î¥Ð¥¤¥ÈĹ¤Ï $n$ |
¤¿¤À¤·, {\sl string}¤ÏŬÅö¤ÊŤµ¤Î¥Ð¥¤¥ÈÎó¤òɽ¤¹. $s$ ¤Î¥Ð¥¤¥ÈĹ¤Ï $n$ |
¤È°ìÃפ¹¤ë¤³¤È¤¬Í׵ᤵ¤ì¤ë. |
¤È°ìÃפ¹¤ë¤³¤È¤¬Í׵ᤵ¤ì¤ë. |
|
|
%{\Large °Ê²¼, Åļ¤Î½ñ¤¤¤¿Éôʬ¤Ç¤¢¤ë¤¬, ÌäÂê³°¤Ç¤¢¤ë¤³¤È¤è. \\ |
|
%¤³¤ó¤Ê¤¤¤¤²Ã¸º¤Ê¤³¤È¤Ð¤«¤ê½ñ¤¯¤«¤é, ¿®ÍѤµ¤ì¤Ê¤¤¤ó¤À¤è. |
|
%¡ÖCMO ¤Î 32 ¥Ó¥Ã¥ÈÀ°¿ô¡×¤Ê¤ó¤Æ¤É¤³¤ÇÄêµÁ¤·¤¿¤ó¤À¤è. µ¬Ìó¤Ë¤â¤½¤ó¤ÊÇϼ¯¤Ê |
|
%¸ÀÍդϤʤ¤¤¾. ¤Þ¤¸¤á¤Ë½ñ¤¯µ¤¤¬¤¢¤ë¤Î¤«? |
|
%} |
|
% |
|
%¤³¤ì¤Ï CMO ¤Î 32 ¥Ó¥Ã¥ÈÀ°¿ô $a$ ¤òɽ¤¹. |
|
% |
|
%¾¤Î¥ª¥Ö¥¸¥§¥¯¥È¤âÄêµÁ¤¹¤ë¤¿¤á¤Ë, |
|
%``{\sl string} $s$'' ¤òʸ»úÎó $s$ , |
|
%``{\sl cmo} $ob$'' ¤ò CMO ¤Î $ob$ ¤È¤¹¤ë. |
|
%¤³¤ì¤òÍѤ¤¤Æ, cmo\_string, cmo\_list ¤òÄêµÁ¤¹¤ë. |
|
% |
|
%{\Large ¤Þ¤¿¤¤¤¤²Ã¸º¤Ê¤³¤È¤ò.... ``ʸ»úÎó'' ¤Î³µÇ°¤¬¤Ï¤Ã¤¤ê¤·¤Ê¤¤¤Ç¤·¤ç |
|
%¤¦¤¬. } |
|
% |
|
%\begin{quote} |
|
%cmo\_string := (CMO\_STRING, {\sl int32} $len$, {\sl string} $str$) \\ |
|
%cmo\_list := (CMO\_LIST, {\sl int32} $n$, {\sl cmo} $ob_1$, |
|
% {\sl cmo} $ob_2$, $\cdots$,{\sl cmo} $ob_n$) |
|
%\end{quote} |
|
% |
|
%¤³¤ì¤Ï¤½¤ì¤¾¤ìŤµ $len$ ¤Îʸ»úÎó $str$ ¤È, |
|
%$ob_1$, $ob_2$, $\cdots$, $ob_n$ ¤«¤é¤Ê¤ëŤµ $n$ ¤Î¥ê¥¹¥È¤òɽ¤¹. |
|
|
|
|
|
% ¤³¤³¤Ç 32 bit ¤ÎÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤Æ¿¨¤ì¤Æ¤ª¤¯. |
|
% OpenXM µ¬Ìó¤Ç¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç 32 bit ¤ÎÀ°¿ô 20 ¤ò |
|
% {\tt 00 00 00 14} ¤Èɽ¤¹ÊýË¡¤È {\tt 14 00 00 00} ¤Èɽ¤¹ÊýË¡¤¬¤¢¤ë. |
|
% ¤³¤Îɽ¸½ÊýË¡¤Î°ã¤¤¤Ï¥¯¥é¥¤¥¢¥ó¥È¤È¥µ¡¼¥Ð¤ÎºÇ½é¤ÎÀܳ»þ¤Ë |
|
% ÁÐÊý¤Î¹ç°Õ¤Ç·èÄꤹ¤ë¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
% ¤Ê¤ª, ¹ç°Õ¤¬¤Ê¤¤¾ì¹ç¤Ë¤ÏÁ°¼Ô¤Îɽ¸½ÊýË¡ |
|
% (°Ê¸å, ¤³¤Îɽ¸½ÊýË¡¤ò¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤È¸Æ¤Ö)¤ò |
|
% »È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
% ¤Þ¤¿, Éé¤Î¿ô¤òɽ¸½¤¹¤ëɬÍפ¬¤¢¤ë¤È¤¤Ë¤Ï, |
|
% 2 ¤ÎÊä¿ôɽ¸½¤ò»È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
|
|
% Àè¤Û¤É¤Î, (CMO\_INT32, 123456789) ¤ò¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Ç |
% Àè¤Û¤É¤Î, (CMO\_INT32, 123456789) ¤ò¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Ç |
% ¥Ð¥¤¥ÈÎó¤Ëľ¤¹¤È, |
% ¥Ð¥¤¥ÈÎó¤Ëľ¤¹¤È, |
% \begin{center} |
% \begin{center} |
|
|
\ \ (CMO\_STRING, 9, "199911250"), (CMO\_STRING, 4, "i386")) |
\ \ (CMO\_STRING, 9, "199911250"), (CMO\_STRING, 4, "i386")) |
\end{quote} |
\end{quote} |
¤È¤Ê¤ë. |
¤È¤Ê¤ë. |
%({\Large ½¤Àµ¤ò¤ß¤Æ, ¤¿¤À¤·¤¯Ä¾¤¹¤³¤È}) |
|
|
|
¤µ¤é¤Ë, ¤³¤Î¥µ¡¼¥Ð¤Î¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤¬ |
¤µ¤é¤Ë, ¤³¤Î¥µ¡¼¥Ð¤Î¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤¬ |
Ì¿Îá SM\_popCMO, SM\_popString, SM\_mathcap, |
Ì¿Îá SM\_popCMO, SM\_popString, SM\_mathcap, |
SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ |
SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ¤Ç¤¢¤ì¤Ð, $B$ ¤ÎÉôʬ¤Ï |
%(¼ÂºÝ¤Ë¤Ï¤³¤Î¤è¤¦¤ÊÌ¿Îᥳ¡¼¥É¤Ï¸ºß¤·¤Ê¤¤) |
|
%{\Large ¤¸¤ã¤¢½ñ¤¯¤Ê} |
|
¤Ç¤¢¤ì¤Ð, $B$ ¤ÎÉôʬ¤Ï |
|
\begin{quote} |
\begin{quote} |
(CMO\_LIST, {\sl int32} $5$, |
(CMO\_LIST, $5$, |
(CMO\_INT32, SM\_popCMO), \\ |
(CMO\_INT32, SM\_popCMO), \\ |
\ \ (CMO\_INT32, SM\_popString), (CMO\_INT32, SM\_mathcap), \\ |
\ \ (CMO\_INT32, SM\_popString), (CMO\_INT32, SM\_mathcap), \\ |
\ \ (CMO\_INT32, SM\_executeStringByLocalParser)) |
\ \ (CMO\_INT32, SM\_executeStringByLocalParser)) |
Line 529 SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ |
|
Line 507 SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ |
|
CMO ·Á¼°¤Î 32 ¥Ó¥Ã¥ÈÀ°¿ô, ʸ»úÎó, mathcap , ¥ê¥¹¥È¹½Â¤¤Î¤ß¤¬ |
CMO ·Á¼°¤Î 32 ¥Ó¥Ã¥ÈÀ°¿ô, ʸ»úÎó, mathcap , ¥ê¥¹¥È¹½Â¤¤Î¤ß¤¬ |
¼õ¤±¼è¤ì¤ë¤È¤¤Ë¤Ï, $C$ ¤ÎÉôʬ¤Ï |
¼õ¤±¼è¤ì¤ë¤È¤¤Ë¤Ï, $C$ ¤ÎÉôʬ¤Ï |
\begin{quote} |
\begin{quote} |
(CMO\_LIST, {\sl int32} $1$, \\ |
(CMO\_LIST, $1$, \\ |
\ \ (CMO\_LIST, {\sl int32} $2$, (CMO\_INT32, OX\_DATA), \\ |
\ \ (CMO\_LIST, $2$, (CMO\_INT32, OX\_DATA), \\ |
\ \ \ \ (CMO\_LIST, {\sl int32} $4$, (CMO\_INT32, CMO\_INT32), \\ |
\ \ \ \ (CMO\_LIST, $4$, (CMO\_INT32, CMO\_INT32), \\ |
\ \ \ \ \ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\ |
\ \ \ \ \ \ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\ |
\ \ \ \ \ (CMO\_INT32, CMO\_LIST)))) |
\ \ \ \ \ \ (CMO\_INT32, CMO\_LIST)))) |
\end{quote} |
\end{quote} |
¤È¤Ê¤ë. |
¤È¤Ê¤ë. |
|
|
Line 546 OpenXM µ¬Ìó¤Ï TCP/IP ¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤¦¤³¤È¤ò¹Íθ¤·¤Æ¤ |
|
Line 524 OpenXM µ¬Ìó¤Ï TCP/IP ¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤¦¤³¤È¤ò¹Íθ¤·¤Æ¤ |
|
¤Ë¤è¤Ã¤ÆÀܳ¤µ¤ì¤ë¸½Âå¤Î¿¤¯¤Î¥½¥Õ¥È¥¦¥§¥¢¤ÈƱÍÍ, OpenXM µ¬Ìó¤â¤Þ¤¿ÄÌ¿® |
¤Ë¤è¤Ã¤ÆÀܳ¤µ¤ì¤ë¸½Âå¤Î¿¤¯¤Î¥½¥Õ¥È¥¦¥§¥¢¤ÈƱÍÍ, OpenXM µ¬Ìó¤â¤Þ¤¿ÄÌ¿® |
»þ¤Î¥»¥¥å¥ê¥Æ¥£¤Ë¤Ä¤¤¤ÆÃí°Õ¤·¤Æ¤¤¤ë. °Ê²¼, ¤³¤Î¤³¤È¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤è¤¦. |
»þ¤Î¥»¥¥å¥ê¥Æ¥£¤Ë¤Ä¤¤¤ÆÃí°Õ¤·¤Æ¤¤¤ë. °Ê²¼, ¤³¤Î¤³¤È¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤è¤¦. |
|
|
{\large\bf °ÕÌ£ÉÔÌÀ¤Ê¤³¤È¤ò½ñ¤¤¤Æ¤¤¤ë¤¬, } |
|
|
|
OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤Ë¤¹¤ë¤¿¤á, |
OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤Ë¤¹¤ë¤¿¤á, |
Àܳ¤¬É¬Íפˤʤä¿»þ¤Î¤ßÀܳ¤òÂԤĤ褦¤Ë¤·, |
¥µ¡¼¥Ð¤ÏÀܳ¤¬É¬Íפˤʤä¿»þ¤Î¤ßµ¯Æ°¤·¤Æ¤¤¤ë. |
¾ï¤ËÀܳ¤Ë´ØÍ¿¤¹¤ë¤È¤¤¤Ã¤¿¤³¤È¤ÏÈò¤±¤Æ¤¤¤ë. |
|
|
|
(ɽ¸½¤ò¾¯¤·¤«¤¨¤¿¤À¤±¤Ç¤Ï¤À¤á¤Ç¤·¤ç¤¦. ÆâÍƤ¬¤ï¤«¤é¤Ê¤¤¤ó¤À¤«¤é. ) |
¤·¤«¤·, ¤³¤ì¤À¤±¤Ç¤ÏÀܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤¤òÁÀ¤ï¤ì¤ë²ÄǽÀ¤â¤¢¤ë. |
|
¤½¤³¤ÇÀܳ¤ò¹Ô¤Ê¤¦»þ¤Ë, Àܳ¤ò¹Ô¤Ê¤¦¥Ý¡¼¥ÈÈÖ¹æ¤òËè²óÊѤ¨¤Æ¤¤¤ë. |
|
¤³¤¦¤¹¤ë¤³¤È¤Ç, ÆÃÄê¤Î¥Ý¡¼¥ÈÈÖ¹æ¤òÁÀ¤Ã¤ÆÀܳ¤ò¹Ô¤Ê¤¦¼ê¸ý¤ò´ö¤é¤« |
|
Ëɤ°¤³¤È¤¬¤Ç¤¤ë. |
|
|
¤·¤«¤·, ¤³¤ì¤À¤±¤Ç¤Ï¿¯Æþ¼Ô¤¬Àܳ¤ò¹Ô¤Ê¤¦°ì½Ö¤Î¤¹¤¤òÁÀ¤ï¤ì¤ë²ÄǽÀ¤â¤¢¤ë. |
¤µ¤é¤Ë¤â¤¦°ìÃÊ°ÂÁ´À¤ò¹â¤á¤ë¤¿¤á¤Ë, Àܳ»þ¤Ë°ì»þ¥Ñ¥¹¥ï¡¼¥É¤ò |
¤½¤³¤ÇÀܳ¤ò¹Ô¤Ê¤¦»þ¤Ë, Àܳ¤òÂÔ¤Ä port ÈÖ¹æ¤ò¥é¥ó¥À¥à¤Ë·è¤á¤Æ¤¤¤ë. |
¥¯¥é¥¤¥¢¥ó¥È¤¬ºîÀ®¤·, ¤½¤Î¥Ñ¥¹¥ï¡¼¥É¤ò»È¤Ã¤Æǧ¾Ú¤ò¹Ô¤Ê¤¦. |
¤³¤¦¤¹¤ë¤³¤È¤Ç, ÆÃÄê¤Î port ÈÖ¹æ¤òÁÀ¤Ã¤ÆÀܳ¤ò¹Ô¤Ê¤¦¼ê¸ý¤ò´ö¤é |
|
¤«Ëɤ°¤³¤È¤¬¤Ç¤¤ë. |
|
|
|
¤µ¤é¤Ë¤â¤¦°ìÃÊ°ÂÁ´À¤ò¹â¤á¤ë¤¿¤á¤Ë, Àܳ»þ¤Ë 1 ²ó¤À¤±»ÈÍѲÄǽ¤Ê¥Ñ¥¹¥ï¡¼ |
|
¥É¤ò¥¯¥é¥¤¥¢¥ó¥È¤¬ºîÀ®¤·, ¤½¤Î¥Ñ¥¹¥ï¡¼¥É¤ò»È¤Ã¤Æǧ¾Ú¤ò¹Ô¤Ê¤¦. |
|
¤³¤Î¥Ñ¥¹¥ï¡¼¥É¤Ï°ìö»ÈÍѤµ¤ì¤ì¤Ð̵¸ú¤Ë¤¹¤ë¤Î¤Ç, |
¤³¤Î¥Ñ¥¹¥ï¡¼¥É¤Ï°ìö»ÈÍѤµ¤ì¤ì¤Ð̵¸ú¤Ë¤¹¤ë¤Î¤Ç, |
¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤Ç¤¢¤ë. |
¤â¤·²¾¤Ë¤Ê¤ó¤é¤«¤Î¼êÃʤǥѥ¹¥ï¡¼¥É¤¬±Ì¤ì¤¿¤È¤·¤Æ¤â°ÂÁ´¤Ç¤¢¤ë. |
|
|
¤Ê¤ª, ¾åµ¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤Ï°ÂÁ´¤Ê¼êÃʤÇÁ÷¤é¤ì¤Æ¤¤¤ë¤È²¾Äꤷ¤Æ¤¤ |
%¤Ê¤ª, ¾åµ¤Î¥Ý¡¼¥ÈÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤Ï°ÂÁ´¤Ê¼êÃʤÇÁ÷¤é¤ì¤Æ¤¤¤ë¤È²¾Äꤷ¤Æ¤¤ |
¤ë. ¤Þ¤¿, Ʊ°ì¤Î¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ë°°Õ¤Î¤¢¤ë¥æ¡¼¥¶¤Ï¤¤¤Ê¤¤¤È²¾Äꤷ¤Æ¤¤¤ë¤³ |
%¤ë. ¤Þ¤¿, Ʊ°ì¤Î¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ë°°Õ¤Î¤¢¤ë¥æ¡¼¥¶¤Ï¤¤¤Ê¤¤¤È²¾Äꤷ¤Æ¤¤¤ë¤³ |
¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. ¤Ê¤¼¤Ê¤é, ¸½ºß¤Î¼ÂÁõ¤Ç¤Ï¥µ¡¼¥Ð, ¤ª¤è¤Ó¥¯¥é¥¤ |
%¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. ¤Ê¤¼¤Ê¤é, ¸½ºß¤Î¼ÂÁõ¤Ç¤Ï¥µ¡¼¥Ð, ¤ª¤è¤Ó¥¯¥é¥¤ |
¥¢¥ó¥È¤ÎÆ°ºî¤·¤Æ¤¤¤ë¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ç¤Ï¤³¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤¬¤ï¤«¤Ã |
%¥¢¥ó¥È¤ÎÆ°ºî¤·¤Æ¤¤¤ë¥³¥ó¥Ô¥å¡¼¥¿¾å¤Ç¤Ï¤³¤Î port ÈÖ¹æ¤È¥Ñ¥¹¥ï¡¼¥É¤¬¤ï¤«¤Ã |
¤Æ¤·¤Þ¤¦¤¿¤á¤Ç¤¢¤ë. |
%¤Æ¤·¤Þ¤¦¤¿¤á¤Ç¤¢¤ë. |
|
|
¤Ê¤ª, Àܳ¤¬³ÎΩ¤·¤¿¸å¤Î¥á¥Ã¥»¡¼¥¸¤ÎÁ÷¼õ¿®¤Ë´Ø¤·¤Æ¤Ï, Æä˰Ź沽¤Ê¤É¤Î½è |
¤Ê¤ª, Àܳ¤¬³ÎΩ¤·¤¿¸å¤Î¥á¥Ã¥»¡¼¥¸¤ÎÁ÷¼õ¿®¤Ë´Ø¤·¤Æ¤Ï, Æä˰Ź沽¤Ê¤É¤Î½è |
ÃÖ¤ò¹Ô¤Ã¤Æ¤¤¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤. ¤â¤·É¬Íפ¬¤¢¤ì¤Ð, ÄÌ¿®Ï©¤Î°Å¹æ²½¤ò¹Ô¤Ê¤¦µ¡Ç½ |
ÃÖ¤ò¹Ô¤Ã¤Æ¤¤¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤. ¤â¤·É¬Íפ¬¤¢¤ì¤Ð, ÄÌ¿®Ï©¤Î°Å¹æ²½¤ò¹Ô¤Ê¤¦µ¡Ç½ |
Line 582 OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤ |
|
Line 555 OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤ |
|
\begin{itemize} |
\begin{itemize} |
\item OpenMath |
\item OpenMath |
|
|
http://www.openmath.org/omsoc/ A.M.Cohen |
http://www.openmath.org/omsoc/ %A.M.Cohen |
|
|
¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ï¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò¥³¥ó¥Ô¥å¡¼¥¿¾å¤Çɽ¸½¤¹¤ëÊý |
¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ï¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò¥³¥ó¥Ô¥å¡¼¥¿¾å¤Çɽ¸½¤¹¤ëÊý |
Ë¡¤òµ¬Äꤷ¤Æ¤¤¤ë. |
Ë¡¤òµ¬Äꤷ¤Æ¤¤¤ë. |
Line 596 XML ɽ¸½¤ä¥Ð¥¤¥Ê¥êɽ¸½¤Ê¤É¤¬ÍÑ°Õ¤µ¤ì¤Æ¤¤¤ë. |
|
Line 569 XML ɽ¸½¤ä¥Ð¥¤¥Ê¥êɽ¸½¤Ê¤É¤¬ÍÑ°Õ¤µ¤ì¤Æ¤¤¤ë. |
|
|
|
http://www.cs.utk.edu/netsolve/ |
http://www.cs.utk.edu/netsolve/ |
|
|
¥Í¥Ã¥È¥ï¡¼¥¯¤ò»È¤¤, Ê£ÁDzʳط׻»¤òʬ»¶¤·¤Æ¹Ô¤Ê¤¦. |
|
|
|
|
|
\item MP |
\item MP |