| version 1.90, 1999/12/25 14:59:50 |
version 1.99, 1999/12/26 08:20:46 |
|
|
| \documentclass{jarticle} |
\documentclass{jarticle} |
| |
|
| %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.89 1999/12/25 13:58:52 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.98 1999/12/26 07:42:22 tam Exp $ |
| |
|
| \usepackage{jssac} |
\usepackage{jssac} |
| \title{ |
|
| 1. °ÕÌ£¤â¤Ê¤¤½¤¾þ²á¾ê¤Ê¸ì¶ç¤ÏÇÓ½ü¤·¤Þ¤·¤ç¤¦. \\ |
|
| 2. ¤»¤Ã¤«¤¯ fill ¤·¤Æ¤¤¤ë¤Î¤ò¤¤¤¸¤é¤Ê¤¤¤Ç¤¯¤ì. \\ |
|
| 3. Åļ¤¬Í·¤ó¤Ç¤Ð¤«¤ê¤Ç¤ª¤ì¤Ð¤«¤ê»Å»ö¤ò¤·¤Æ¤¤¤ë¤Î¤Ï¤É¤¦¹Í¤¨¤Æ¤âÉÔ¸øÊ¿¤À. |
|
| ¤Ê¤ó¤Ç»Å»ö¤ò¤·¤Ê¤¤¤Î¤«, ¤¤¤¤²Ã¸º»Å»ö¤ò¤·¤í, Åļ. \\ |
|
| 3.5 ¤½¤¦¤¤¤¦¤´ÈӤȤ«¤Ä¤Þ¤é¤Ê¤¤Ï两ã¤Ê¤¯¤Æ, commit ¤Î¾ðÊó¤ò¤ß¤ì¤ÐÅļ¤¬ |
|
| Ç¡²¿¤Ë»Å»ö¤ò¤·¤Æ¤¤¤Ê¤¤¤Î¤«¤è¤¯¤ï¤«¤ë¤è. \\ |
|
| } |
|
| |
|
| |
\title{OpenXM ¥×¥í¥¸¥§¥¯¥È¤Î¸½¾õ¤Ë¤Ä¤¤¤Æ} |
| \author{±ü ë ¡¡ ¹Ô ±û\affil{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê} |
\author{±ü ë ¡¡ ¹Ô ±û\affil{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê} |
| \mail{okutani@math.sci.kobe-u.ac.jp} |
\mail{okutani@math.sci.kobe-u.ac.jp} |
| \and ¾® ¸¶ ¡¡ ¸ù Ǥ\affil{¶âÂôÂç³ØÍý³ØÉô} |
\and ¾® ¸¶ ¡¡ ¸ù Ǥ\affil{¶âÂôÂç³ØÍý³ØÉô} |
| Line 51 kan/sm1 ¤òÁê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë. |
|
| Line 44 kan/sm1 ¤òÁê¸ß¤Ë¸Æ¤Ó½Ð¤¹µ¡Ç½¤ò¼ÂÁõ¤·¤¿¤³¤È¤Ç¤¢¤ë. |
|
| »úÎó¤È¤·¤Æ, ¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÍѤ¤¤¿¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤â²Ä |
»úÎó¤È¤·¤Æ, ¥í¡¼¥«¥ë¸À¸ì¤Îʸˡ¤Ë½¾¤Ã¤¿Ê¸»úÎó¤òÍѤ¤¤¿¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤â²Ä |
| ǽ¤È¤Ê¤Ã¤Æ¤¤¤ë. |
ǽ¤È¤Ê¤Ã¤Æ¤¤¤ë. |
| |
|
| OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤í¤Ï TCP/IP |
OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½ºß¤Î¤È¤³¤í¤Ï TCP/IP |
| ¤òÍѤ¤¤¿ÄÌ¿®¤·¤«¼ÂÁõ¤µ¤ì¤Æ¤¤¤Ê¤¤. \footnote{asir ¤Ë¤Ï MPI ¤òÍѤ¤¤¿¼ÂÁõ |
¤òÍѤ¤¤¿ÄÌ¿®¤·¤«¼ÂÁõ¤µ¤ì¤Æ¤¤¤Ê¤¤. \footnote{asir ¤Ë¤Ï MPI ¤òÍѤ¤¤¿¼ÂÁõ |
| ¤â¤¢¤ë.} ¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï¶ñÂÎŪ¤Ê¼ÂÁõ¤Ï TCP/IP ¤òÍѤ¤¤Æ¤¤¤ë¤È²¾Äꤹ |
¤â¤¢¤ë.} ¤½¤³¤Ç, ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤òÍѤ¤¤¿¼ÂÁõ¤Ë½àµò¤·¤Æ |
| ¤ë. |
OpenXM ¤ÎÀâÌÀ¤ò¤¹¤ë. |
| |
|
| |
|
| \section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} |
\section{OpenXM ¤Î¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤} |
| |
|
| ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë. ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤Î¾ì¹ç |
ÄÌ¿®¤ÎÊýË¡¤Ë¤è¤Ã¤Æ¥á¥Ã¥»¡¼¥¸¤Î¹½Â¤¤ÏÊѤï¤ë. ¤³¤ÎÏÀʸ¤Ç¤Ï TCP/IP ¤Î¾ì¹ç |
| Line 63 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½º |
|
| Line 57 OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®¤ÎÊýË¡¤Ë´ö¤é¤«¤Î¼«Í³ÅÙ¤¬¤¢¤ë¤¬, ¸½º |
|
| |
|
| OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤È¤Ê¤Ã¤Æ¤ª¤ê, ¼¡ |
OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤È¤Ê¤Ã¤Æ¤ª¤ê, ¼¡ |
| ¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
¤Î¤è¤¦¤Ê¹½Â¤¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
| |
\begin{center} |
| \begin{tabular}{|c|c|} |
\begin{tabular}{|c|c|} |
| \hline |
\hline |
| ¥Ø¥Ã¥À & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ |
¥Ø¥Ã¥À & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ |
| \hline |
\hline |
| \end{tabular} |
\end{tabular} |
| |
\end{center} |
| ¥Ø¥Ã¥À¤ÎŤµ¤Ï 8 ¥Ð¥¤¥È¤Ç¤¢¤ë¤ÈÄê¤á¤é¤ì¤Æ¤¤¤ë. ¥Ü¥Ç¥£¤ÎŤµ¤Ï¥á¥Ã¥»¡¼¥¸ |
¥Ø¥Ã¥À¤ÎŤµ¤Ï 8 ¥Ð¥¤¥È¤Ç¤¢¤ë¤ÈÄê¤á¤é¤ì¤Æ¤¤¤ë. ¥Ü¥Ç¥£¤ÎŤµ¤Ï¥á¥Ã¥»¡¼¥¸ |
| ¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤¤ë¤¬, Ťµ¤Ï $0$ ¤Ç¤â¤è¤¤. |
¤´¤È¤Ë°Û¤Ê¤Ã¤Æ¤¤¤ë¤¬, Ťµ¤Ï $0$ ¤Ç¤â¤è¤¤. |
| |
|
| ¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ã¤Æ¤¤¤ë. |
¥Ø¥Ã¥À¤Ï¼¡¤ÎÆó¤Ä¤Î¾ðÊó¤ò»ý¤Ã¤Æ¤¤¤ë. |
| \begin{enumerate} |
\begin{enumerate} |
| \item |
\item |
| Á°È¾¤Î 4 ¥Ð¥¤¥È. ¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤ï¤¹¼±Ê̻ҤǤ¢¤ê, ¥¿¥°¤È¸Æ¤Ð¤ì¤ë. |
Á°È¾¤Î 4 ¥Ð¥¤¥È. ¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤òɽ¤¹¼±Ê̻ҤǤ¢¤ê, ¥¿¥°¤È¸Æ¤Ð¤ì¤ë. |
| \item |
\item |
| ¸åȾ¤Î 4 ¥Ð¥¤¥È. ¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·ÈÖ¹æ¤Ç¤¢¤ë. |
¸åȾ¤Î 4 ¥Ð¥¤¥È. ¥á¥Ã¥»¡¼¥¸¤Ë¤Ä¤±¤é¤ì¤¿Ä̤·ÈÖ¹æ¤Ç¤¢¤ë. |
| \end{enumerate} |
\end{enumerate} |
| Line 115 OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ |
|
| Line 109 OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ |
|
| |
|
| OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. ¤Þ¤¿, OpenXM µ¬ |
OpenXM µ¬Ìó¤Ç¤Î·×»»¤È¤Ï¥á¥Ã¥»¡¼¥¸¤ò¸ò´¹¤¹¤ë¤³¤È¤Ç¤¢¤ë. ¤Þ¤¿, OpenXM µ¬ |
| Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç, ¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼ |
Ìó¤Ç¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤¤¤ë¤Î¤Ç, ¥á¥Ã¥»¡¼¥¸¤Î¸ò´¹¤Ï¥µ¡¼ |
| ¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë. ¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷ |
¥Ð¤È¥¯¥é¥¤¥¢¥ó¥È¤Î´Ö¤Ç¹Ô¤Ê¤ï¤ì¤ë. |
| |
\footnote{¸½ºß, ¼ç¤ËÌîϤ¤¬ OpenXM ¤Î·×»»¥â¥Ç¥ë¤Î³ÈÄ¥¤ò¹Í¤¨¤Æ¤¤¤ë. |
| |
¸úΨŪʬ»¶·×»»¤Î¥¢¥ë¥´¥ê¥º¥à¤Î¿¤¯¤Ï¥µ¡¼¥ÐƱ»Î¤ÎÄÌ¿®¤âÍ׵᤹¤ë.} |
| |
¥¯¥é¥¤¥¢¥ó¥È¤«¤é¥µ¡¼¥Ð¤Ø¥á¥Ã¥»¡¼¥¸¤òÁ÷ |
| ¤ê, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ·×»»¤Î·ë²Ì¤¬ |
¤ê, ¥¯¥é¥¤¥¢¥ó¥È¤¬¥µ¡¼¥Ð¤«¤é¥á¥Ã¥»¡¼¥¸¤ò¼õ¤±¼è¤ë¤³¤È¤Ë¤è¤Ã¤Æ·×»»¤Î·ë²Ì¤¬ |
| ÆÀ¤é¤ì¤ë. ¤³¤Î¥á¥Ã¥»¡¼¥¸¤Î¤ä¤ê¤È¤ê¤Ï¥¯¥é¥¤¥¢¥ó¥È¤Î¼çƳ¤Ç¹Ô¤ï¤ì¤ë. ¤Ä¤Þ¤ê, |
ÆÀ¤é¤ì¤ë. ¤³¤Î¥á¥Ã¥»¡¼¥¸¤Î¤ä¤ê¤È¤ê¤Ï¥¯¥é¥¤¥¢¥ó¥È¤Î¼çƳ¤Ç¹Ô¤ï¤ì¤ë. ¤Ä¤Þ¤ê, |
| ¥¯¥é¥¤¥¢¥ó¥È¤Ï¼«Í³¤Ë¥á¥Ã¥»¡¼¥¸¤ò¥µ¡¼¥Ð¤ËÁ÷ÉÕ¤·¤Æ¤â¤è¤¤¤¬, ¥µ¡¼¥Ð¤«¤é¤Ï¼« |
¥¯¥é¥¤¥¢¥ó¥È¤Ï¼«Í³¤Ë¥á¥Ã¥»¡¼¥¸¤ò¥µ¡¼¥Ð¤ËÁ÷ÉÕ¤·¤Æ¤â¤è¤¤¤¬, ¥µ¡¼¥Ð¤«¤é¤Ï¼« |
| Line 162 OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ |
|
| Line 159 OpenXM µ¬Ìó¤Ç¤Ï¥µ¡¼¥Ð¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ç¤¢¤ë¤ÈÄêµÁ¤·¤Æ¤ |
|
| ¤È¤¤¤¦¤³¤È¤Ç¤¢¤ë. ¤³¤Î¤³¤È¤ÏÄÌ¿®Ï©¤«¤é¥Ç¡¼¥¿¤ò¼õ¤±¼è¤Ã¤¿ºÝ¤Ë, ³Æ¿ô³Ø¥·¥¹ |
¤È¤¤¤¦¤³¤È¤Ç¤¢¤ë. ¤³¤Î¤³¤È¤ÏÄÌ¿®Ï©¤«¤é¥Ç¡¼¥¿¤ò¼õ¤±¼è¤Ã¤¿ºÝ¤Ë, ³Æ¿ô³Ø¥·¥¹ |
| ¥Æ¥à¤¬¸ÇͤΥǡ¼¥¿¹½Â¤¤ËÊÑ´¹¤·¤Æ¤«¤é¥¹¥¿¥Ã¥¯¤ËÀѤळ¤È¤ò°ÕÌ£¤¹¤ë. ¤³¤ÎÊÑ |
¥Æ¥à¤¬¸ÇͤΥǡ¼¥¿¹½Â¤¤ËÊÑ´¹¤·¤Æ¤«¤é¥¹¥¿¥Ã¥¯¤ËÀѤळ¤È¤ò°ÕÌ£¤¹¤ë. ¤³¤ÎÊÑ |
| ´¹¤Ï1ÂÐ1Âбþ¤Ç¤¢¤ëɬÍפϤʤ¤. |
´¹¤Ï1ÂÐ1Âбþ¤Ç¤¢¤ëɬÍפϤʤ¤. |
| |
¤·¤«¤·, ÊÑ´¹ÊýË¡¤Ï¤¢¤¤¤Þ¤¤¤µ¤¬¤Ê¤¤¤è¤¦¤Ëʸ½ñ²½¤µ¤ì¤Æ¤¤¤ëɬÍפ¬¤¢¤ë. |
| |
¸å½Ò¤¹¤ë OpenMath ¤Ç¤Ï¤³¤Îʸ¾Ï¤ò phrase dictionary ¤È¸Æ¤ó¤Ç¤¤¤ë. |
| |
|
| ¼¡¤Ë OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ÎÌ¿Îᥳ¡¼¥É¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë. OpenXM ¥¹¥¿¥Ã¥¯ |
¼¡¤Ë OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ÎÌ¿Îᥳ¡¼¥É¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë. OpenXM ¥¹¥¿¥Ã¥¯ |
| ¥Þ¥·¥ó¤Ë¤ª¤±¤ë¤¹¤Ù¤Æ¤ÎÌ¿Îá¤Ï4¥Ð¥¤¥È¤ÎŤµ¤ò»ý¤Ä. OpenXM µ¬Ìó¤Î¾¤Îµ¬Äê¤È |
¥Þ¥·¥ó¤Ë¤ª¤±¤ë¤¹¤Ù¤Æ¤ÎÌ¿Îá¤Ï4¥Ð¥¤¥È¤ÎŤµ¤ò»ý¤Ä. OpenXM µ¬Ìó¤Î¾¤Îµ¬Äê¤È |
| Line 217 Mathematical Object format)¤òÄêµÁ¤·¤Æ¤¤¤ë. ¤³¤Î CMO ·Á |
|
| Line 216 Mathematical Object format)¤òÄêµÁ¤·¤Æ¤¤¤ë. ¤³¤Î CMO ·Á |
|
| ¤Æ¤¤¤ë. |
¤Æ¤¤¤ë. |
| |
|
| CMO ·Á¼°¤Ë¤ª¤±¤ë¥Ç¡¼¥¿¹½Â¤¤Ï¼¡¤Î¤è¤¦¤Ê¹½Â¤¤ò¤â¤Ä. |
CMO ·Á¼°¤Ë¤ª¤±¤ë¥Ç¡¼¥¿¹½Â¤¤Ï¼¡¤Î¤è¤¦¤Ê¹½Â¤¤ò¤â¤Ä. |
| |
\begin{center} |
| \begin{tabular}{|c|c|} \hline |
\begin{tabular}{|c|c|} |
| ¥Ø¥Ã¥À & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ \hline |
\hline |
| |
¥Ø¥Ã¥À & \hspace{10mm} ¥Ü¥Ç¥£ \hspace{10mm} \\ |
| |
\hline |
| \end{tabular} |
\end{tabular} |
| |
\end{center} |
| ¥Ø¥Ã¥À¤Ï4¥Ð¥¤¥È¤Ç¤¢¤ë. ¥Ü¥Ç¥£¤ÎŤµ¤Ï¤½¤ì¤¾¤ì¤Î¥Ç¡¼¥¿¤Ë¤è¤Ã¤Æ°Û¤Ê¤ë¤¬, |
¥Ø¥Ã¥À¤Ï4¥Ð¥¤¥È¤Ç¤¢¤ë. ¥Ü¥Ç¥£¤ÎŤµ¤Ï¤½¤ì¤¾¤ì¤Î¥Ç¡¼¥¿¤Ë¤è¤Ã¤Æ°Û¤Ê¤ë¤¬, |
| 0¤Ç¤â¤è¤¤. |
0¤Ç¤â¤è¤¤. |
| |
|
| Line 233 CMO ¤Ç¤Ï, ¥¿¥°¤Ë¤è¤Ã¤Æ¥Ü¥Ç¥£¤ÎÏÀÍýŪ¹½Â¤¤¬·èÄꤹ¤ë. ¤¹ |
|
| Line 234 CMO ¤Ç¤Ï, ¥¿¥°¤Ë¤è¤Ã¤Æ¥Ü¥Ç¥£¤ÎÏÀÍýŪ¹½Â¤¤¬·èÄꤹ¤ë. ¤¹ |
|
| ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. |
ÄêµÁ¤µ¤ì¤Æ¤¤¤ë. |
| |
|
| \begin{verbatim} |
\begin{verbatim} |
| #define CMO_ERROR2 0x7f000002 |
#define CMO_ERROR2 0x7f000002 |
| #define CMO_NULL 1 |
#define CMO_NULL 1 |
| #define CMO_INT32 2 |
#define CMO_INT32 2 |
| #define CMO_DATUM 3 |
#define CMO_DATUM 3 |
| #define CMO_STRING 4 |
#define CMO_STRING 4 |
| #define CMO_MATHCAP 5 |
#define CMO_MATHCAP 5 |
| |
#define CMO_ARRAY 16 |
| #define CMO_START_SIGNATURE 0x7fabcd03 |
#define CMO_LIST 17 |
| #define CMO_ARRAY 16 |
#define CMO_ATOM 18 |
| #define CMO_LIST 17 |
#define CMO_MONOMIAL32 19 |
| #define CMO_ATOM 18 |
#define CMO_ZZ 20 |
| #define CMO_MONOMIAL32 19 |
#define CMO_QQ 21 |
| #define CMO_ZZ 20 |
#define CMO_ZERO 22 |
| #define CMO_QQ 21 |
#define CMO_DMS_GENERIC 24 |
| #define CMO_ZERO 22 |
#define CMO_DMS_OF_N_VARIABLES 25 |
| #define CMO_DMS_GENERIC 24 |
#define CMO_RING_BY_NAME 26 |
| #define CMO_DMS_OF_N_VARIABLES 25 |
#define CMO_RECURSIVE_POLYNOMIAL 27 |
| #define CMO_RING_BY_NAME 26 |
#define CMO_LIST_R 28 |
| #define CMO_RECURSIVE_POLYNOMIAL 27 |
#define CMO_INT32COEFF 30 |
| #define CMO_LIST_R 28 |
#define CMO_DISTRIBUTED_POLYNOMIAL 31 |
| |
#define CMO_POLYNOMIAL_IN_ONE_VARIABLE 33 |
| #define CMO_INT32COEFF 30 |
#define CMO_RATIONAL 34 |
| #define CMO_DISTRIBUTED_POLYNOMIAL 31 |
|
| #define CMO_POLYNOMIAL_IN_ONE_VARIABLE 33 |
|
| #define CMO_RATIONAL 34 |
|
| |
|
| #define CMO_64BIT_MACHINE_DOUBLE 40 |
#define CMO_64BIT_MACHINE_DOUBLE 40 |
| #define CMO_ARRAY_OF_64BIT_MACHINE_DOUBLE 41 |
#define CMO_ARRAY_OF_64BIT_MACHINE_DOUBLE 41 |
| #define CMO_128BIT_MACHINE_DOUBLE 42 |
#define CMO_128BIT_MACHINE_DOUBLE 42 |
| #define CMO_ARRAY_OF_128BIT_MACHINE_DOUBLE 43 |
#define CMO_ARRAY_OF_128BIT_MACHINE_DOUBLE 43 |
| |
#define CMO_BIGFLOAT 50 |
| #define CMO_BIGFLOAT 50 |
#define CMO_IEEE_DOUBLE_FLOAT 51 |
| #define CMO_IEEE_DOUBLE_FLOAT 51 |
#define CMO_INDETERMINATE 60 |
| |
#define CMO_TREE 61 |
| #define CMO_INDETERMINATE 60 |
#define CMO_LAMBDA 62 |
| #define CMO_TREE 61 |
|
| #define CMO_LAMBDA 62 |
|
| \end{verbatim} |
\end{verbatim} |
| |
|
| ¤³¤ÎÃæ¤Ç CMO\_ERROR2, CMO\_NULL, CMO\_INT32, CMO\_DATUM, CMO\_STRING, |
¤³¤ÎÃæ¤Ç CMO\_ERROR2, CMO\_NULL, CMO\_INT32, CMO\_DATUM, CMO\_STRING, |
| CMO\_MATHCAP, CMO\_LIST ¤Ç¼±Ê̤µ¤ì¤ë¥ª¥Ö¥¸¥§¥¯¥È¤ÏºÇ¤â´ðËÜŪ¤Ê¥ª¥Ö¥¸¥§ |
CMO\_MATHCAP, CMO\_LIST ¤Ç¼±Ê̤µ¤ì¤ë¥ª¥Ö¥¸¥§¥¯¥È¤ÏºÇ¤â´ðËÜŪ¤Ê¥ª¥Ö¥¸¥§ |
| ¥¯¥È¤Ç¤¢¤Ã¤Æ, ¤¹¤Ù¤Æ¤Î OpenXM Âбþ¥·¥¹¥Æ¥à¤Ë¼ÂÁõ¤µ¤ì¤Æ¤¤¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
¥¯¥È¤Ç¤¢¤Ã¤Æ, ¤¹¤Ù¤Æ¤Î OpenXM Âбþ¥·¥¹¥Æ¥à¤Ë¼ÂÁõ¤µ¤ì¤Æ¤¤¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
| |
|
| ¤³¤ì¤é¤Ë¤Ä¤¤¤Æ¤Î²òÀâ¤ò¹Ô¤¦Á°¤ËµË¡¤Ë¤Ä¤¤¤Æ, ¾¯¤·ÀâÌÀ¤·¤Æ¤ª¤¯. |
¤³¤ì¤é¤Ë¤Ä¤¤¤Æ¤Î²òÀâ¤ò¹Ô¤¦Á°¤ËµË¡¤Ë¤Ä¤¤¤Æ, ¾¯¤·ÀâÌÀ¤·¤Æ¤ª¤¯. ¤³¤ÎÏÀʸ |
| ¤³¤ÎÏÀʸ¤Ç¤Ï, Âçʸ»ú¤Ç CMO\_INT32 ¤È½ñ¤¤¤¿¾ì¹ç¤Ë¤Ï, ¾åµ¤ÇÄêµÁ¤·¤¿¼±ÊÌ»Ò |
¤Ç¤Ï, Âçʸ»ú¤Ç CMO\_INT32 ¤È½ñ¤¤¤¿¾ì¹ç¤Ë¤Ï, ¾åµ¤ÇÄêµÁ¤·¤¿¼±Ê̻Ҥòɽ¤¹. |
| ¤òɽ¤ï¤¹. ¤Þ¤¿ CMO\_INT32 ¤Ç¼±Ê̤µ¤ì¤ë¥ª¥Ö¥¸¥§¥¯¥È¤Î¥¯¥é¥¹(¤¢¤ë¤¤¤Ï¥Ç¡¼ |
¤Þ¤¿ CMO\_INT32 ¤Ç¼±Ê̤µ¤ì¤ë¥ª¥Ö¥¸¥§¥¯¥È¤Î¥¯¥é¥¹(¤¢¤ë¤¤¤Ï¥Ç¡¼¥¿¹½Â¤) ¤ò |
| ¥¿¹½Â¤)¤ò cmo\_int32 ¤È¾®Ê¸»ú¤Çɽ¤ï¤¹¤³¤È¤Ë¤¹¤ë. |
cmo\_int32 ¤È¾®Ê¸»ú¤Çɽ¤¹¤³¤È¤Ë¤¹¤ë. |
| |
|
| ¤µ¤Æ cmo ¤òɽ¸½¤¹¤ë¤¿¤á¤Î°ì¤Ä¤ÎµË¡¤òƳÆþ¤¹¤ë. ¤³¤ÎµË¡¤Ï CMO expression |
¤µ¤Æ cmo ¤òɽ¸½¤¹¤ë¤¿¤á¤Î°ì¤Ä¤ÎµË¡¤òƳÆþ¤¹¤ë. ¤³¤ÎµË¡¤Ï CMO expression |
| ¤È¸Æ¤Ð¤ì¤Æ¤¤¤ë. ¤½¤ÎÀµ³Î¤Ê·Á¼°ÅªÄêµÁ¤Ï \cite{OpenXM-1999} ¤ò»²¾È¤¹¤ë¤³¤È. |
¤È¸Æ¤Ð¤ì¤Æ¤¤¤ë. ¤½¤ÎÀµ³Î¤Ê·Á¼°ÅªÄêµÁ¤Ï \cite{OpenXM-1999} ¤ò»²¾È¤¹¤ë¤³¤È. |
| |
|
| ¤Þ¤º CMO expssion ¤Ï Lisp É÷ɽ¸½¤Î°ì¼ï¤Ç, cmo ¤ò³ç¸Ì¤Ç°Ï¤ó¤À¥ê¥¹¥È¤È¤· |
CMO expssion ¤Ï Lisp É÷ɽ¸½¤Î°ì¼ï¤Ç, cmo ¤ò³ç¸Ì¤Ç°Ï¤ó¤À¥ê¥¹¥È¤È¤·¤Æɽ¸½ |
| ¤Æɽ¸½¤¹¤ë. ¤½¤ì¤¾¤ì¤ÎÍ×ÁǤϥ«¥ó¥Þ¤Ç¶èÀÚ¤ë. |
¤¹¤ë. ¤½¤ì¤¾¤ì¤ÎÍ×ÁǤϥ«¥ó¥Þ¤Ç¶èÀÚ¤ë. Î㤨¤Ð, |
| Î㤨¤Ð, |
|
| \begin{quote} |
\begin{quote} |
| (17, {\sl int32}, (CMO\_NULL), (2, {\sl int32} $n$)) |
(17, {\sl int32}, (CMO\_NULL), (2, {\sl int32} $n$)) |
| \end{quote} |
\end{quote} |
| ¤Ï CMO expression ¤Ç¤¢¤ë. ¤³¤³¤Ç, ¾®Ê¸»ú¤Î¼ÐÂΤÇɽ¤µ¤ì¤¿``{\sl int32}'' |
¤Ï CMO expression ¤Ç¤¢¤ë. ¤³¤³¤Ç, ¾®Ê¸»ú¤Î¼ÐÂΤÇɽ¤µ¤ì¤¿``{\sl int32}'' |
| ¤Ï 4¥Ð¥¤¥È¤ÎǤ°Õ¤Î¥Ç¡¼¥¿¤òɽ¤¹µ¹æ¤Ç¤¢¤ê, ``{\sl int32} $n$'' ¤ÏƱ¤¸¤¯ 4 |
¤Ï 4 ¥Ð¥¤¥È¤ÎǤ°Õ¤Î¥Ç¡¼¥¿¤òɽ¤¹µ¹æ¤Ç¤¢¤ê, ``{\sl int32} $n$'' ¤ÏƱ¤¸¤¯ |
| ¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤Ç¤¢¤ë¤¬°Ê²¼¤ÎÀâÌÀ¤Ç $n$ ¤Èɽ¤¹¤³¤È¤ò¼¨¤¹. ¤Þ¤¿¿ô»ú 17, 2 |
4 ¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤Ç¤¢¤ë¤¬°Ê²¼¤ÎÀâÌÀ¤Ç $n$ ¤Èɽ¤¹¤³¤È¤ò¼¨¤¹. ¤Þ¤¿¿ô»ú 17, |
| ¤Ê¤É¤Ï 4¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤ÇÀ°¿ôÃͤȤ·¤Æ¤ß¤¿¤È¤¤ÎÃͤò°ÕÌ£¤¹¤ë. CMO\_NULL ¤Ï |
2 ¤Ê¤É¤Ï 4 ¥Ð¥¤¥È¤Î¥Ç¡¼¥¿¤ÇÀ°¿ôÃͤȤ·¤Æ¤ß¤¿¤È¤¤ÎÃͤò°ÕÌ£¤¹¤ë. CMO\_NULL |
| ¼±ÊÌ»Ò(¤¹¤Ê¤ï¤Á¿ô»ú 1 ¤ÈÅù²Á)¤Ç¤¢¤ë. ¤³¤ÎµË¡¤«¤é¾åµ¤Î¥Ç¡¼¥¿¤Ï 20 ¥Ð¥¤ |
¤Ï¼±ÊÌ»Ò(¤¹¤Ê¤ï¤Á¿ô»ú 1 ¤ÈÅù²Á)¤Ç¤¢¤ë. ¤³¤ÎµË¡¤«¤é¾åµ¤Î¥Ç¡¼¥¿¤Ï 20 ¥Ð |
| ¥È¤ÎÂ礤µ¤Î¥Ç¡¼¥¿¤Ç¤¢¤ë¤³¤È¤¬Ê¬¤«¤ë. ¤Ê¤ª, CMO expression ¤Ïñ¤Ê¤ëɽµ |
¥¤¥È¤ÎÂ礤µ¤Î¥Ç¡¼¥¿¤Ç¤¢¤ë¤³¤È¤¬Ê¬¤«¤ë. ¤Ê¤ª, CMO expression ¤Ïñ¤Ê¤ëɽ |
| Ë¡¤Ç¤¢¤ë¤³¤È¤ËÆäËÃí°Õ¤·¤Æ¤Û¤·¤¤. |
µË¡¤Ç¤¢¤ë¤³¤È¤ËÆäËÃí°Õ¤·¤Æ¤Û¤·¤¤. |
| |
|
| ¤µ¤Æ, ¤³¤ÎµË¡¤Î¤â¤È¤Ç cmo\_int32 ¤ò¼¡¤Î¥Ç¡¼¥¿¹½Â¤¤Ç¤¢¤ë¤ÈÄêµÁ¤¹¤ë. |
¤µ¤Æ, ¤³¤ÎµË¡¤Î¤â¤È¤Ç cmo\_int32 ¤ò¼¡¤Î¥Ç¡¼¥¿¹½Â¤¤Ç¤¢¤ë¤ÈÄêµÁ¤¹¤ë. |
| \begin{quote} |
\begin{quote} |
| Line 323 OpenXM µ¬Ìó¤Ç¤Ï, ÄÌ¿®»þ¤ËÍѤ¤¤é¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò³ |
|
| Line 317 OpenXM µ¬Ìó¤Ç¤Ï, ÄÌ¿®»þ¤ËÍѤ¤¤é¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò³ |
|
| ¤Ï mathcap ¤È¸Æ¤Ð¤ì¤ë¥Ç¡¼¥¿¹½Â¤¤Ë¤è¤Ã¤Æ¹Ô¤ï¤ì¤ë. ¤³¤ÎÀá¤Ç¤Ï mathcap ¤Î¥Ç¡¼ |
¤Ï mathcap ¤È¸Æ¤Ð¤ì¤ë¥Ç¡¼¥¿¹½Â¤¤Ë¤è¤Ã¤Æ¹Ô¤ï¤ì¤ë. ¤³¤ÎÀá¤Ç¤Ï mathcap ¤Î¥Ç¡¼ |
| ¥¿¹½Â¤¤È, ¶ñÂÎŪ¤Ê¥á¥Ã¥»¡¼¥¸¤ÎÀ©¸Â¤Î¼ê³¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë. |
¥¿¹½Â¤¤È, ¶ñÂÎŪ¤Ê¥á¥Ã¥»¡¼¥¸¤ÎÀ©¸Â¤Î¼ê³¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤¹¤ë. |
| |
|
| ¤Ç¤Ï, ¼ê³¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤è¤¦. |
¤Þ¤º, ¼ê³¤¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤è¤¦. |
| |
|
| Âè°ì¤Ë¥µ¡¼¥Ð¤Îµ¡Ç½¤òÀ©¸Â¤¹¤ë¤Ë¤Ï¼¡¤Î¤è¤¦¤Ë¤¹¤ë. ¥¯¥é¥¤¥¢¥ó¥È¤¬ mathcap |
Âè°ì¤Ë¥µ¡¼¥Ð¤Îµ¡Ç½¤òÀ©¸Â¤¹¤ë¤Ë¤Ï¼¡¤Î¤è¤¦¤Ë¤¹¤ë. ¥¯¥é¥¤¥¢¥ó¥È¤¬ mathcap |
| ¥ª¥Ö¥¸¥§¥¯¥È¤ò¥µ¡¼¥Ð¤ØÁ÷¤ë¤È, ¥µ¡¼¥Ð¤Ï¼õ¤±¼è¤Ã¤¿mathcap ¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà. |
¥ª¥Ö¥¸¥§¥¯¥È¤ò¥µ¡¼¥Ð¤ØÁ÷¤ë¤È, ¥µ¡¼¥Ð¤Ï¼õ¤±¼è¤Ã¤¿mathcap ¤ò¥¹¥¿¥Ã¥¯¤ËÀѤà. |
| Line 353 cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list}) |
|
| Line 347 cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list}) |
|
| \end{quote} |
\end{quote} |
| |
|
| Âè°ìÍ×ÁÇ $a$ ¤Ï¤Þ¤¿ cmo\_list ¤Ç¤¢¤ê, ¥ê¥¹¥ÈĹ¤Ï 4 °Ê¾å, $a_1$ ¤Ï |
Âè°ìÍ×ÁÇ $a$ ¤Ï¤Þ¤¿ cmo\_list ¤Ç¤¢¤ê, ¥ê¥¹¥ÈĹ¤Ï 4 °Ê¾å, $a_1$ ¤Ï |
| cmo\_int32 ¤Ç¥Ð¡¼¥¸¥ç¥ó¤òɽ¤¹, $a_2$, $a_3$, $a_4$ ¤Ï cmo\_string ¤Ç¤¢¤ê, |
cmo\_int32 ¤Ç¥Ð¡¼¥¸¥ç¥ó¤òɽ¤¹. $a_2$, $a_3$, $a_4$ ¤Ï cmo\_string ¤Ç¤¢¤ê, |
| ¤½¤ì¤¾¤ì¥·¥¹¥Æ¥à¤Î̾Á°, ¥Ð¡¼¥¸¥ç¥ó, HOSTTYPE ¤òɽ¤¹¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
¤½¤ì¤¾¤ì¿ô³Ø¥·¥¹¥Æ¥à¤Î̾Á°, ¥Ð¡¼¥¸¥ç¥ó, HOSTTYPE ¤òɽ¤¹¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
| \begin{quote} |
\begin{quote} |
| (CMO\_LIST, {\sl int32}, |
(CMO\_LIST, {\sl int32}, |
| {\sl cmo\_int32} $a_1$, {\sl cmo\_string} $a_2$, {\sl cmo\_string} |
{\sl cmo\_int32} $a_1$, {\sl cmo\_string} $a_2$, {\sl cmo\_string} |
| $a_3$, {\sl cmo\_string} $a_4$, $\ldots$) |
$a_3$, {\sl cmo\_string} $a_4$, $\ldots$) |
| \end{quote} |
\end{quote} |
| |
|
| ÂèÆóÍ×ÁÇ $b$ ¤ÎÉôʬ¤Ï¼¡¤Î¤è¤¦¤Ê¥ê¥¹¥È¹½Â¤¤ò¤·¤Æ¤¤¤ë. |
ÂèÆóÍ×ÁÇ $b$ ¤â cmo\_list ¤Ç¤¢¤ê, OpenXM ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤òÀ©¸æ¤¹¤ë¤¿¤á¤Ë |
| ¤³¤Î $b_1$, $b_2$, $\ldots$, $b_n$ ¤Ï¤¹¤Ù¤Æ cmo\_int32 ¤Ç¤¢¤ë. |
ÍѤ¤¤é¤ì¤ë. ³Æ $b_i$ ¤Ï cmo\_int32 ¤Ç¤¢¤ê, ¥Ü¥Ç¥£¤Ï¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ÎÌ¿Îá |
| \ref{sec:oxsm} Àá¤ÇÀâÌÀ¤·¤¿¤¬, |
¥³¡¼¥É¤Ç¤¢¤ë. \ref{sec:oxsm} Àá¤ÇÀâÌÀ¤·¤¿¤¬, ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤Ï¤¹ |
| ¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤Ï¤¹¤Ù¤Æ {\sl int32} ¤Çɽ¤µ¤ì¤Æ¤¤¤¿¤³¤È¤ËÃí°Õ¤·¤è |
¤Ù¤Æ {\sl int32} ¤Çɽ¤µ¤ì¤Æ¤¤¤¿¤³¤È¤ËÃí°Õ¤·¤è¤¦. |
| ¤¦. ³Æ $b_i$ ¤ÏÍøÍѲÄǽ¤ÊÌ¿Îá¤ò¥Ü¥Ç¥£¤È¤·¤¿ cmo\_int32 ¤È¤Ê¤Ã¤Æ¤¤¤ë. |
|
| \begin{quote} |
\begin{quote} |
| (CMO\_LIST, {\sl int32} $n$, |
(CMO\_LIST, {\sl int32} $n$, |
| {\sl cmo\_int32} $b_1$, {\sl cmo\_int32} $b_2$, |
{\sl cmo\_int32} $b_1$, $\ldots$, {\sl cmo\_int32} $b_n$) |
| $\ldots$, {\sl cmo\_int32} $b_n$) |
|
| \end{quote} |
\end{quote} |
| |
|
| Âè»°Í×ÁÇ $c$ ¤Ï°Ê²¼¤Î¤è¤¦¤Ê¥ê¥¹¥È¹½Â¤¤ò¤·¤Æ¤¤¤ë. |
Âè»°Í×ÁÇ $c$ ¤Ï°Ê²¼¤Î¤è¤¦¤Ê cmo\_list ¤Ç¤¢¤ê, ¥ª¥Ö¥¸¥§¥¯¥È¤ÎÁ÷¼õ¿®¤òÀ©¸æ |
| |
¤¹¤ë¤¿¤á¤ËÍѤ¤¤é¤ì¤ë. Á÷¼õ¿®¤ÎÀ©¸æ¤Ï¥á¥Ã¥»¡¼¥¸¤Î¼ïÎऴ¤È¤Ë¹Ô¤ï¤ì¤ë. |
| \begin{quote} |
\begin{quote} |
| (CMO\_LIST, {\sl int32} $m$, \\ |
(CMO\_LIST, {\sl int32} $m$, {\sl cmo\_list} $\ell_1$, $\ldots$, |
| \hspace{10mm} (CMO\_LIST, {\sl int32} $l_1$, {\sl cmo\_int32} $c_{11}$, |
{\sl cmo\_list} $\ell_m$) |
| {\sl cmo} $c_{12}$, $\ldots$, {\sl cmo} $c_{1l_1}$), \\ |
|
| \hspace{10mm} (CMO\_LIST, {\sl int32} $l_2$, {\sl cmo\_int32} $c_{21}$, |
|
| {\sl cmo} $c_{22}$, $\ldots$, {\sl cmo} $c_{1l_2}$), \\ |
|
| \hspace{10mm} $\ldots$ \\ |
|
| \hspace{10mm} (CMO\_LIST, {\sl int32} $l_m$, {\sl cmo\_int32} $c_{m1}$, |
|
| {\sl cmo} $c_{m2}$, $\ldots$, {\sl cmo} $c_{1l_m}$)) |
|
| \end{quote} |
\end{quote} |
| {\Large °Ê²¼¡¢Á´Á³ÀâÌÀ¤¬Ê¬¤«¤ê¤Þ¤»¤ó¡£} |
³Æ $\ell_i$ ¤¬À©¸æ¤Î¤¿¤á¤Î¾ðÊó¤òɽ¤¹. ¤É¤Î $\ell_i$ ¤â°ì¤Ä°Ê¾å¤ÎÍ×ÁǤò |
| ¤É¤Î $c_{i1}$ ¤Ë¤â cmo\_int32 ¤¬Æþ¤Ã¤Æ¤ª¤ê, |
»ý¤Ã¤Æ¤ª¤ê, Âè°ìÍ×ÁǤÏɬ¤º cmo\_int32 ¤È¤Ê¤Ã¤Æ¤¤¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. ¤³¤ì |
| OX\_COMMAND °Ê³°¤Î, ¼õ¤±¼è¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¼±Ê̻Ҥ¬Æþ¤Ã¤Æ¤¤¤ë. |
¤ÏÀ©¸æ¤¹¤Ù¤¥á¥Ã¥»¡¼¥¸¤Î¼±Ê̻ҤòÆþ¤ì¤ë¤¿¤á¤Ç¤¢¤ë. |
| $c_{i2}$ °Ê¹ß¤Ë¤Ä¤¤¤Æ¤ÏºÇ½é¤Î $c_{i1}$ ¤ÎÃͤˤè¤Ã¤Æ¤½¤ì¤¾¤ì°Û¤Ê¤ë. |
|
| ¤³¤³¤Ç¤Ï, OX\_DATA ¤Î¾ì¹ç¤Ë¤Ä¤¤¤Æ¤Î¤ßÀâÌÀ¤¹¤ë. |
³Æ $\ell_i$ ¤Î¹½Â¤¤Ï¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤Ë¤è¤Ã¤Æ°Û¤Ê¤ë. ¤³¤³¤Ç¤Ï, OX\_DATA |
| ¤³¤Î $c_{i1}$ ¤¬ OX\_DATA ¤Î¾ì¹ç, |
¤Î¾ì¹ç¤Ë¤Ä¤¤¤Æ¤Î¤ßÀâÌÀ¤¹¤ë. Âè°ìÍ×ÁǤ¬ OX\_DATA ¤Î¾ì¹ç, ¥ê¥¹¥È $\ell_i$ |
| $c_{i1}$, $c_{i2}$, $\ldots$, $c_{il_i}$ ¤òÍ×ÁǤȤ¹¤ë cmo\_list ¤Ï |
¤Ï°Ê²¼¤Î¤è¤¦¤Ê¹½Â¤¤È¤Ê¤Ã¤Æ¤¤¤ë. ³Æ $c_i$ ¤Ï cmo\_int32 ¤Ç¤¢¤ê, ¤½¤Î¥Ü¥Ç¥£ |
| CMO ·Á¼°¤Ë¤Ä¤¤¤Æ¤Î¾ðÊó¤òɽ¤·¤Æ¤ª¤ê, $l_i=2$ ¤È·è¤á¤é¤ì¤Æ¤¤¤ë. |
¤Ï CMO ¤Î¼±Ê̻ҤǤ¢¤ë. $c_i$ ¤Ç»Ø¼¨¤µ¤ì¤¿ CMO ¤Î¤ß¤¬Á÷¼õ¿®¤¹¤ë¤³¤È¤òµö |
| $c_{i1}$ ¤Ë¤Ï¤â¤Á¤í¤ó¤Î¤³¤È OX\_DATA ¤¬Æþ¤Ã¤Æ¤ª¤ê, |
¤µ¤ì¤ë. |
| $c_{i2}$ ¤Ï°Ê²¼¤Î¿Þ¤Î¤è¤¦¤Ê cmo\_list ¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
| ³ÆÍ×ÁÇ¤Ï cmo\_int32 ¤Ç¤¢¤ê, |
|
| ¼õ¤±¼è¤ë¤³¤È¤¬²Äǽ¤Ê CMO ·Á¼°¤Î¥¿¥°¤¬Æþ¤ë. |
|
| \begin{quote} |
\begin{quote} |
| (CMO\_LIST, {\sl int32} $k$, |
(CMO\_LIST, 2, (CMO\_INT32, OX\_DATA), \\ |
| {\sl cmo\_int32} $c_{i21}$, {\sl cmo\_int32} $c_{i22}$, |
\ \ (CMO\_LIST, {\sl int32} $k$, {\sl cmo\_int32} $c_1$, |
| $\ldots$, {\sl cmo\_int32} $c_{i2k}$) |
$\ldots$, {\sl cmo\_int32} $c_k$)) |
| \end{quote} |
\end{quote} |
| |
|
| ¶ñÂÎŪ¤Ê mathcap ¤ÎÎã¤ò¤¢¤²¤è¤¦. ̾Á°¤¬ ``ox\_test'', ¥Ð¡¼¥¸¥ç¥ó¥Ê¥ó¥Ð¡¼ |
¶ñÂÎŪ¤Ê mathcap ¤ÎÎã¤ò¤¢¤²¤è¤¦. ̾Á°¤¬ ``ox\_test'', ¥Ð¡¼¥¸¥ç¥ó¥Ê¥ó¥Ð¡¼ |
| ¤¬ 199911250 ¤Î¥µ¡¼¥Ð¤Ç, PC-UNIX ¾å¤ÇÆ°¤¤¤Æ¤¤¤ì¤Ð, $a$ ¤ÎÉôʬ¤Ï |
¤¬ 199911250 ¤Î¥µ¡¼¥Ð¤Ç, Linux ¾å¤ÇÆ°¤¤¤Æ¤ª¤ê, ¤³¤Î¥µ¡¼¥Ð¤Î¥¹¥¿¥Ã¥¯¥Þ¥· |
| |
¥ó¤¬Ì¿Îá SM\_popCMO, SM\_popString, SM\_mathcap, |
| |
SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ¤Ç, ¤«¤Ä ¥ª¥Ö¥¸¥§¥¯¥È¤ò |
| |
cmo\_int32, cmo\_string, cmo\_mathcap, cmo\_list ¤Î¤ß¤ËÀ©¸Â¤·¤¿¤¤¤È¤¤Î |
| |
mathcap ¤Ï |
| \begin{quote} |
\begin{quote} |
| (CMO\_LIST, 4, (CMO\_INT32, $199911250$), (CMO\_STRING, 7, "ox\_test"), \\ |
(CMO\_MATHCAP, (CMO\_LIST, 3, \\ |
| \ \ (CMO\_STRING, 9, "199911250"), (CMO\_STRING, 4, "i386")) |
$\quad$ (CMO\_LIST, 4, (CMO\_INT32, $199911250$), (CMO\_STRING, 7, ``ox\_test''), \\ |
| |
$\qquad$ (CMO\_STRING, 9, ``199911250''), (CMO\_STRING, 4, ``i386'')) \\ |
| |
$\quad$ (CMO\_LIST, $5$, (CMO\_INT32, SM\_popCMO), \\ |
| |
$\qquad$ (CMO\_INT32, SM\_popString), (CMO\_INT32, SM\_mathcap), \\ |
| |
$\qquad$ (CMO\_INT32, SM\_executeStringByLocalParser)) \\ |
| |
$\quad$ (CMO\_LIST, $1$, (CMO\_LIST, $2$, (CMO\_INT32, OX\_DATA), \\ |
| |
$\qquad$ (CMO\_LIST, $4$, (CMO\_INT32, CMO\_INT32), \\ |
| |
$\qquad\quad$ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\ |
| |
$\qquad\quad$ (CMO\_INT32, CMO\_LIST)))))) |
| \end{quote} |
\end{quote} |
| ¤È¤Ê¤ë. |
¤Ë¤Ê¤ë. |
| |
|
| ¤µ¤é¤Ë, ¤³¤Î¥µ¡¼¥Ð¤Î¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤¬Ì¿Îá SM\_popCMO, SM\_popString, |
|
| SM\_mathcap, SM\_executeStringByLocalParser ¤òÍøÍѲÄǽ¤Ç¤¢¤ì¤Ð, $b$ ¤ÎÉô |
|
| ʬ¤ò |
|
| \begin{quote} |
|
| (CMO\_LIST, $5$, |
|
| (CMO\_INT32, SM\_popCMO), \\ |
|
| \ \ (CMO\_INT32, SM\_popString), (CMO\_INT32, SM\_mathcap), \\ |
|
| \ \ (CMO\_INT32, SM\_executeStringByLocalParser)) |
|
| \end{quote} |
|
| ¤Ë¤·, cmo\_int32, cmo\_string, cmo\_mathcap, cmo\_list ¤Î¤ß¤ËÀ©¸Â¤·¤¿¤¤ |
|
| ¤È¤¤Ï$c$ ¤ÎÉôʬ¤ò |
|
| \begin{quote} |
|
| (CMO\_LIST, $1$, \\ |
|
| \ \ (CMO\_LIST, $2$, (CMO\_INT32, OX\_DATA), \\ |
|
| \ \ \ \ (CMO\_LIST, $4$, (CMO\_INT32, CMO\_INT32), \\ |
|
| \ \ \ \ \ \ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\ |
|
| \ \ \ \ \ \ (CMO\_INT32, CMO\_LIST)))) |
|
| \end{quote} |
|
| ¤Ë¤¹¤ë. |
|
| |
|
| |
|
| \section{¥»¥¥å¥ê¥Æ¥£Âкö} |
\section{¥»¥¥å¥ê¥Æ¥£Âкö} |
| |
|
| OpenXM µ¬Ìó¤Ï TCP/IP ¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤¦¤³¤È¤ò¹Íθ¤·¤Æ¤¤¤ë. ¥Í¥Ã¥È¥ï¡¼¥¯ |
OpenXM µ¬Ìó¤Ï TCP/IP ¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤¦¤³¤È¤ò¹Íθ¤·¤Æ¤¤¤ë. ¥Í¥Ã¥È¥ï¡¼¥¯ |
| Line 452 OpenXM µ¬Ìó¤Ï TCP/IP ¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤¦¤³¤È¤ò¹Íθ¤·¤Æ¤ |
|
| Line 428 OpenXM µ¬Ìó¤Ï TCP/IP ¤òÍѤ¤¤ÆÄÌ¿®¤ò¹Ô¤¦¤³¤È¤ò¹Íθ¤·¤Æ¤ |
|
| ssh ¤òÍøÍѤ·¤ÆÂбþ¤·¤Æ¤¤¤ë. |
ssh ¤òÍøÍѤ·¤ÆÂбþ¤·¤Æ¤¤¤ë. |
| |
|
| |
|
| \section{¾¤Î¥×¥í¥¸¥§¥¯¥È} |
\section{OpenXM °Ê³°¤Î¥×¥í¥¸¥§¥¯¥È} |
| |
|
| ¾¤Î¥×¥í¥¸¥§¥¯¥È¤Ë¤Ä¤¤¤Æ¤â¿¨¤ì¤Æ¤ª¤³¤¦. |
OpenXM °Ê³°¤Ë¤â¿ô¼°½èÍý¥·¥¹¥Æ¥à´Ö¤ÎÄÌ¿®¤òÌܻؤ·¤¿¥×¥í¥¸¥§¥¯¥È¤Ï¸ºß¤¹¤ë. |
| |
¤³¤³¤Ç¤Ï¾¤Î¥×¥í¥¸¥§¥¯¥È¤Ë¤Ä¤¤¤Æ¤â¿¨¤ì¤Æ¤ª¤³¤¦. |
| |
|
| \begin{itemize} |
\begin{itemize} |
| \item ESPRIT OpenMath Project |
\item ESPRIT OpenMath Project |
| |
|
| http://www.openmath.org/omsoc/ |
http://www.openmath.org/omsoc/ |
| |
|
| ¿ô³ØŪÂоݤÎSGMLŪɽµ¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È. °Û¤Ê¤ë¼ï |
¿ô³ØŪÂоݤΠSGML Ūɽµ¤Îɸ½à²½¤òÌܻؤ·¤¿Â絬ÌÏ¤Ê¥×¥í¥¸¥§¥¯¥È. °Û¤Ê¤ë¼ï |
| Îà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤¤Ë, OpenMath ¤ÇÄêµÁ¤µ¤ì¤¿É½ |
Îà¤Î¿ô¼°½èÍý¥·¥¹¥Æ¥à¤Î´Ö¤Ç¾ðÊó¤ò¸ò´¹¤¹¤ë¤È¤¤Ë, OpenMath ¤ÇÄêµÁ¤µ¤ì¤¿É½ |
| ¸½¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤¤ë. ¼ÂºÝ¤Î¾ðÊó¸ò´¹¤Î¼ê³¤¤Ë¤Ï¤¤¤í¤¤¤í¤Ê¤â¤Î¤¬¹Í |
¸½¤òÍøÍѤ¹¤ë¤³¤È¤¬¤Ç¤¤ë. ¼ÂºÝ¤Î¾ðÊó¸ò´¹¤Î¼ê³¤¤Ï¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Î |
| ¤¨¤é¤ì¤ë¤¬, Î㤨¤Ð MCP (Mathematical Computation Protocol) ¤Ê¤ë¼ê³¤¤¬ |
Èϰϳ°¤Ç¤¢¤ë¤¬, ÊÌ¤Î¥×¥í¥¸¥§¥¯¥È¤È¤·¤Æ, |
| ¹Í°Æ¤µ¤ì¤Æ¤¤¤ë. MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç |
Î㤨¤Ð MCP ¤òÍѤ¤¤¿¼ÂÁõ¤¬¤¢¤ê, GAP ¤È Axiom ¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï |
| ¿ô¼°¤òµ½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç, ¤¤¤µ¤µ¤«¥á¥¤¥ë¤Ë»÷¤Æ¤¤¤Ê¤¯¤â¤Ê¤¤. ¼ÂºÝ¤Ë¤³¤Î |
¤ì¤Æ¤¤¤ë. OpenXM ¤Ï OpenMath µ¬Ìó¤Î phrasedictionary ¤ÈƱ¤¸¥¢¥¤¥Ç¥¢¤òÍÑ |
| ÊýË¡¤ÇGAP ¤ÈAxiom¤Î´Ö¤ÇÄÌ¿®¤¬¹Ô¤ï¤ì¤Æ¤¤¤ë. |
¤¤¤Æ¤¤¤ë. |
| |
|
| \item NetSolve |
\item NetSolve |
| |
|
| Line 482 NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, |
|
| Line 459 NetSolve ¤Ï¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼¥Ð·¿¤Îʬ»¶¥·¥¹¥Æ¥à¤Ç¤¢¤ê, |
|
| |
|
| \item MP |
\item MP |
| |
|
| http://symbolicNet.mcs.kent.edu/SN/areas/protocols/mp.html |
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
| |
|
| ¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤Î¸úΨŪ¤Ê¸ò´¹¤Î¤¿¤á¤Î¥×¥í¥È¥³¥ë. |
²Ê³Øµ»½Ñ·×»»¤ò¹Ô¤Ê¤¦¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¿ô³ØŪ¤Ê¥Ç¡¼¥¿¤ò¸úΨŪ¤Ë¸ò´¹¤µ¤»¤ë¤³ |
| ¸ò´¹¤¹¤ë¥Ç¡¼¥¿¤ÎÌÚ¹½Â¤¤Ë¤Ä¤¤¤Æ¾Ü¤·¤¤. |
¤È¤òÌÜŪ¤È¤·¤¿¥×¥í¥È¥³¥ë¤òºîÀ®¤·¤Æ¤¤¤ë. ÌÚ¹½Â¤¤òÍѤ¤¤Æ, ´Êñ¤«¤Ä½ÀÆð¤Ê¤â |
| |
¤Î¤òÌܻؤ·¤Æ¤ª¤ê, ¥Ç¡¼¥¿¤Îɽ¸½ÊýË¡¤ä¸ò´¹ÊýË¡¤Ë¤è¤é¤º¤Ë¥½¥Õ¥È¥¦¥§¥¢¤òºî¤ë |
| |
¤³¤È¤¬¤Ç¤¤ë¤è¤¦¤Ë¤¹¤ë¤Î¤¬ÌÜɸ¤Ç¤¢¤ë. ¸½ºß¤¹¤Ç¤Ë, C ¸À¸ì¤ÇÍøÍѲÄǽ¤Ê¥é |
| |
¥¤¥Ö¥é¥ê¤¬Ä󶡤µ¤ì¤Æ¤¤¤ë. |
| |
|
| \item MCP |
\item MCP (Mathematical Computation Protocol) |
| |
|
| http://horse.mcs.kent.edu/~pwang/ |
http://horse.mcs.kent.edu/\~{}pwang/ |
| |
|
| HTTP ¥×¥í¥È¥³¥ë¤òÍѤ¤¤Æ, ¥ê¥â¡¼¥È¤Î·×»»µ¡¤Ç·×»»¤ò¹Ô¤Ê¤¦. |
¿ô³ØŪ¤Ê·×»»¤ò¹Ô¤Ê¤¦¤¿¤á¤Î HTTP ¤Ë»÷¤¿¥×¥í¥È¥³¥ë. ¥¯¥é¥¤¥¢¥ó¥È¡¦¥µ¡¼ |
| |
¥Ð¥â¥Ç¥ë¤òºÎÍѤ·¤Æ¤ª¤ê, ¥Ô¥¢¥Ä¡¼¥Ô¥¢¤Î¥¹¥È¥ê¡¼¥à¥³¥Í¥¯¥·¥ç¥ó¤ò¹Ô¤Ê¤¦. |
| |
¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò¤É¤Î¤è¤¦¤Ëɽ¸½¤¹¤ë¤«¤Ë¤Ä¤¤¤Æ¤Ïµ¬Äꤵ¤ì¤Æ¤ª¤é¤º, |
| |
MP ¤ä MathML ¤ÇÄê¤á¤é¤ì¤¿ÊýË¡¤Çɽ¸½¤¹¤ë¤³¤È¤¬¹Í¤¨¤é¤ì¤ë. |
| |
¤¹¤Ç¤Ë OpenMath ¤Î XML ɽ¸½¤òÍѤ¤¤¿¼ÂÁõ¤¬Â¸ºß¤¹¤ë. |
| |
¤³¤Î¾ì¹ç MCP ¤Ë¤è¤Ã¤ÆÁ÷¿®¤µ¤ì¤ë¥Ç¡¼¥¿¤Ï, ËÜʸ¤Ë OpenMath ·Á¼°¤Ç¿ô¼°¤òµ |
| |
½Ò¤·¤¿¥Æ¥¥¹¥È¤Ç¤¢¤ë. |
| |
|
| \end{itemize} |
\end{itemize} |
| |
|
| |
|
| \section{¸½ºßÄ󶡤µ¤ì¤Æ¤¤¤ë¥½¥Õ¥È¥¦¥§¥¢} |
\section{¸½ºßÄ󶡤µ¤ì¤Æ¤¤¤ë¥½¥Õ¥È¥¦¥§¥¢} |
| |
|
| ¸½ºß OpenXM µ¬Ìó¤ËÂбþ¤·¤Æ¤¤¤ë¥¯¥é¥¤¥¢¥ó¥È¤Ë¤Ïasir, sm1, Mathematica ¤¬¤¢¤ë. |
¸½ºß OpenXM µ¬Ìó¤ËÂбþ¤·¤Æ¤¤¤ë¥¯¥é¥¤¥¢¥ó¥È¤Ë¤Ïasir, sm1, Mathematica ¤¬ |
| ¤³¤ì¤é¤Î¥¯¥é¥¤¥¢¥ó¥È¤«¤é OpenXM µ¬Ìó¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³¤È |
¤¢¤ë. ¤³¤ì¤é¤Î¥¯¥é¥¤¥¢¥ó¥È¤«¤é OpenXM µ¬Ìó¤ËÂбþ¤·¤¿¥µ¡¼¥Ð¤ò¸Æ¤Ó½Ð¤¹¤³ |
| ¤¬¤Ç¤¤ë. ¸½ºß OpenXM µ¬Ìó¤ËÂбþ¤·¤Æ¤¤¤ë¥µ¡¼¥Ð¥½¥Õ¥È¥¦¥§¥¢¤Ë¤Ï, asir, |
¤È¤¬¤Ç¤¤ë. ¤Þ¤¿ OpenXM µ¬Ìó¤ËÂбþ¤·¤Æ¤¤¤ë¥µ¡¼¥Ð¤Ë¤Ï, asir, sm1, |
| sm1, gnuplot, Mathematica, PHC pack ¤Ê¤É¤¬¤¢¤ê, |
Mathematica, gnuplot, PHC pack ¤Ê¤É¤¬¤¢¤ê, ¤½¤ì¤¾¤ì ox\_asir, ox\_sm1, |
| ¤½¤ì¤¾¤ì ox\_asir, ox\_sm1, ox\_sm1\_gnuplot, ox\_math, ox\_sm1\_phc |
ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë. |
| ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë. ¤Þ¤¿, OpenMath |
¤µ¤é¤Ë OpenMath µ¬Ìó¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥ª¥Ö¥¸¥§¥¯¥È¤È CMO ·Á¼°¤Î¥ª¥Ö |
| µ¬Ìó¤Î XML ɽ¸½¤Çɽ¸½¤µ¤ì¤¿¥ª¥Ö¥¸¥§¥¯¥È¤È CMO ·Á¼°¤Î¥ª¥Ö¥¸¥§¥¯¥È¤òÊÑ´¹¤¹ |
¥¸¥§¥¯¥È¤òÁê¸ßÊÑ´¹¤¹¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê, |
| ¤ë¥½¥Õ¥È¥¦¥§¥¢¤¬ JAVA ¤Ë¤è¤Ã¤Æ¼ÂÁõ¤µ¤ì¤Æ¤ª¤ê, OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ |
OMproxy ¤È¤¤¤¦Ì¾Á°¤ÇÄ󶡤µ¤ì¤Æ¤¤¤ë. |
| ¤ì¤Æ¤¤¤ë. |
|
| |
|
| \begin{thebibliography}{99} |
\begin{thebibliography}{99} |
| \bibitem{Ohara-Takayama-Noro-1999} |
\bibitem{Ohara-Takayama-Noro-1999} |
| ¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô: |
¾®¸¶¸ùǤ, ¹â»³¿®µ£, ÌîϤÀµ¹Ô: |
| {Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý, |
{Open asir ÆþÌç}, 1999, ¿ô¼°½èÍý, |
| Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo). |
Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG ½ÐÈÇ, Tokyo). |
| |
|
| \bibitem{OpenXM-1999} |
\bibitem{OpenXM-1999} |
| ÌîϤÀµ¹Ô, ¹â»³¿®µ£: |
ÌîϤÀµ¹Ô, ¹â»³¿®µ£: |
| {Open XM ¤ÎÀ߷פȼÂÁõ |
{Open XM ¤ÎÀ߷פȼÂÁõ |
| --- Open message eXchange protocol for Mathematics}, |
--- Open message eXchange protocol for Mathematics}, |
| 1999/11/22 |
1999/11/22 |
| \end{thebibliography} |
\end{thebibliography} |
| |
|
| \end{document} |
\end{document} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to genkou19991125.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc