version 1.88, 1999/12/25 13:05:20 |
version 1.89, 1999/12/25 13:58:52 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.87 1999/12/25 12:10:39 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.88 1999/12/25 13:05:20 tam Exp $ |
|
|
\usepackage{jssac} |
\usepackage{jssac} |
\title{ |
\title{ |
|
|
¤Ê¤ó¤Ç»Å»ö¤ò¤·¤Ê¤¤¤Î¤«, ¤¤¤¤²Ã¸º»Å»ö¤ò¤·¤í, Åļ. \\ |
¤Ê¤ó¤Ç»Å»ö¤ò¤·¤Ê¤¤¤Î¤«, ¤¤¤¤²Ã¸º»Å»ö¤ò¤·¤í, Åļ. \\ |
3.5 ¤½¤¦¤¤¤¦¤´ÈӤȤ«¤Ä¤Þ¤é¤Ê¤¤Ï两ã¤Ê¤¯¤Æ, commit ¤Î¾ðÊó¤ò¤ß¤ì¤ÐÅļ¤¬ |
3.5 ¤½¤¦¤¤¤¦¤´ÈӤȤ«¤Ä¤Þ¤é¤Ê¤¤Ï两ã¤Ê¤¯¤Æ, commit ¤Î¾ðÊó¤ò¤ß¤ì¤ÐÅļ¤¬ |
Ç¡²¿¤Ë»Å»ö¤ò¤·¤Æ¤¤¤Ê¤¤¤Î¤«¤è¤¯¤ï¤«¤ë¤è. \\ |
Ç¡²¿¤Ë»Å»ö¤ò¤·¤Æ¤¤¤Ê¤¤¤Î¤«¤è¤¯¤ï¤«¤ë¤è. \\ |
4. ¤¤¤¤²Ã¸º, Section 8 ¤ò½ñ¤±. |
|
} |
} |
|
|
\author{±ü ë ¡¡ ¹Ô ±û\affil{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê} |
\author{±ü ë ¡¡ ¹Ô ±û\affil{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê} |
|
|
\and Á° Àî ¡¡ ¾ ½¨\affil{¿À¸ÍÂç³ØÍý³ØÉô} |
\and Á° Àî ¡¡ ¾ ½¨\affil{¿À¸ÍÂç³ØÍý³ØÉô} |
\mail{maekawa@math.sci.kobe-u.ac.jp} |
\mail{maekawa@math.sci.kobe-u.ac.jp} |
} |
} |
%\art{} |
\art{} |
|
|
\begin{document} |
\begin{document} |
\maketitle |
\maketitle |
Line 85 OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ |
|
Line 84 OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥á¥Ã¥»¡¼¥¸¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥ |
|
\end{enumerate} |
\end{enumerate} |
¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë. |
¤½¤ì¤¾¤ì¤Î 4 ¥Ð¥¤¥È¤Ï 32 ¥Ó¥Ã¥ÈÀ°¿ô¤È¤ß¤Ê¤µ¤ì¤Æ°·¤ï¤ì¤ë. |
|
|
¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ëÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
¤³¤Î¾ì¹ç¤ËÍѤ¤¤é¤ì¤ë 32 ¥Ó¥Ã¥ÈÀ°¿ô¤Îɽ¸½ÊýË¡¤Ë¤Ä¤¤¤ÆÀâÌÀ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
32 ¥Ó¥Ã¥È¤ÎÀµ¤ÎÀ°¿ô |
32 ¥Ó¥Ã¥È¤ÎÀµÀ°¿ô |
$d_0 + d_1 \cdot 2^{32} + d_2 \cdot (2^{32})^2 + d_2 \cdot (2^{32})^3$ |
$d_0 + d_1 \cdot 2^8 + d_2 \cdot (2^8)^2 + d_3 \cdot (2^8)^3$ |
($0 <= d_i < 2^{32}$ ) |
($0 \le d_i < 2^8$ )¤ò¥Ð¥¤¥ÈÎó¤Çɽ¤¹¾ì¹ç, |
¤ò¥Ð¥¤¥ÈÎó¤Çɽ¤¹¾ì¹ç, |
|
\begin{tabular}{|c|c|c|c|} \hline |
\begin{tabular}{|c|c|c|c|} \hline |
$d_0$ & $d_0$ & $d_0$ & $d_0$ \\ \hline |
$d_3$ & $d_2$ & $d_1$ & $d_0$ \\ \hline |
\end{tabular} |
\end{tabular} |
|
¤Èɽ¤¹ÊýË¡¤È, |
|
\begin{tabular}{|c|c|c|c|} \hline |
|
$d_0$ & $d_1$ & $d_2$ & $d_3$ \\ \hline |
|
\end{tabular} |
|
¤Èɽ¤¹ÊýË¡¤¬¤¢¤ë. |
|
¤³¤Îɽ¸½ÊýË¡¤Î°ã¤¤¤Ï OpenXM µ¬Ìó¤Ç¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤± |
|
%ÁªÂò»è¤«¤é |
|
Áª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤¤¤ë. |
|
¤Ê¤ª, Éé¤Î¿ô¤òɽ¤¹É¬Íפ¬¤¢¤ë¤È¤¤Ë¤Ï, 2 ¤ÎÊä¿ôɽ¸½¤ò»È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë. |
|
%¶ñÂÎÎã¤ò¤À¤½¤¦. |
|
|
%¤Ï¸å½Ò¤¹¤ë¤¬, |
|
´ðËÜŪ¤Ëɽ¸½ÊýË¡¤Ï¤¤¤¯¤Ä¤«¤ÎÁªÂò»è¤«¤éÁª¤Ö¤³¤È¤¬²Äǽ¤È¤Ê¤Ã¤Æ¤ª¤ê, |
|
¤Þ¤¿¤½¤ÎÁªÂò¤ÏÄÌ¿®Ï©¤Î³ÎΩ»þ¤Ë°ìÅÙ¤À¤±¤Ê¤µ¤ì¤ë. |
|
%¤³¤È¤ËÃí°Õ¤·¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
|
|
|
|
|
|
|
% OpenXM µ¬Ìó¤Ç¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç 32 bit ¤ÎÀ°¿ô 20 ¤ò |
% OpenXM µ¬Ìó¤Ç¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç 32 bit ¤ÎÀ°¿ô 20 ¤ò |
% {\tt 00 00 00 14} ¤Èɽ¤¹ÊýË¡¤È {\tt 14 00 00 00} ¤Èɽ¤¹ÊýË¡¤¬¤¢¤ë. |
% {\tt 00 00 00 14} ¤Èɽ¤¹ÊýË¡¤È {\tt 14 00 00 00} ¤Èɽ¤¹ÊýË¡¤¬¤¢¤ë. |
% ¤³¤Îɽ¸½ÊýË¡¤Î°ã¤¤¤Ï¥¯¥é¥¤¥¢¥ó¥È¤È¥µ¡¼¥Ð¤ÎºÇ½é¤ÎÀܳ»þ¤Ë |
% ¤³¤Îɽ¸½ÊýË¡¤Î°ã¤¤¤Ï¥¯¥é¥¤¥¢¥ó¥È¤È¥µ¡¼¥Ð¤ÎºÇ½é¤ÎÀܳ»þ¤Ë |
Line 421 mathcap ¤Ï CMO ¤Î°ì¼ï¤Ç¤¢¤ë¤Î¤Ç, ¤¹¤Ç¤ËÀâÌÀ¤·¤¿¤è¤¦¤Ë |
|
Line 422 mathcap ¤Ï CMO ¤Î°ì¼ï¤Ç¤¢¤ë¤Î¤Ç, ¤¹¤Ç¤ËÀâÌÀ¤·¤¿¤è¤¦¤Ë |
|
¤Î¹½Â¤¤ò»ý¤Á¥Ø¥Ã¥À¤ÎÃÍ¤Ï 5 ¤Ç¤¢¤ë(\ref{sec:cmo} Àá¤ò»²¾È¤Î¤³¤È). |
¤Î¹½Â¤¤ò»ý¤Á¥Ø¥Ã¥À¤ÎÃÍ¤Ï 5 ¤Ç¤¢¤ë(\ref{sec:cmo} Àá¤ò»²¾È¤Î¤³¤È). |
¥Ü¥Ç¥£¤Ï cmo\_list ¥ª¥Ö¥¸¥§¥¯¥È¤Ç¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
¥Ü¥Ç¥£¤Ï cmo\_list ¥ª¥Ö¥¸¥§¥¯¥È¤Ç¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤. |
|
|
%\begin{quote} |
|
% cmo\_mathcap := (CMO\_MATHCAP,{\sl cmo} obj) |
|
%\end{quote} |
|
|
|
¤µ¤Æ, mathcap ¥ª¥Ö¥¸¥§¥¯¥È¤Î¥Ü¥Ç¥£¤Î cmo\_list ¥ª¥Ö¥¸¥§¥¯¥È¤Ï°Ê²¼¤Î¾ò·ï¤ò |
¤µ¤Æ, mathcap ¥ª¥Ö¥¸¥§¥¯¥È¤Î¥Ü¥Ç¥£¤Î cmo\_list ¥ª¥Ö¥¸¥§¥¯¥È¤Ï°Ê²¼¤Î¾ò·ï¤ò |
Ëþ¤¿¤¹¤³¤È¤òÍ׵ᤵ¤ì¤ë. |
Ëþ¤¿¤¹¤³¤È¤òÍ׵ᤵ¤ì¤ë. |
|
|
Line 515 CMO ·Á¼°¤Î 32 ¥Ó¥Ã¥ÈÀ°¿ô, ʸ»úÎó, mathcap , ¥ê¥¹¥È¹½Â¤ |
|
Line 512 CMO ·Á¼°¤Î 32 ¥Ó¥Ã¥ÈÀ°¿ô, ʸ»úÎó, mathcap , ¥ê¥¹¥È¹½Â¤ |
|
\end{quote} |
\end{quote} |
¤È¤Ê¤ë. |
¤È¤Ê¤ë. |
|
|
% ¤Ê¤ª, ¤³¤Î mathcap ¤Ç¤Ï, ¥Ç¡¼¥¿¤ÎÏÀÍý¹½Â¤¤¬Íý²ò¤Ç¤¤ë¤«¤É¤¦¤« |
|
% ¤Þ¤Ç¤Ïʬ¤«¤é¤Ê¤¤¤Î¤ÇÃí°Õ¤¹¤ëɬÍפ¬¤¢¤ë. |
|
|
|
\section{¥»¥¥å¥ê¥Æ¥£Âкö} |
\section{¥»¥¥å¥ê¥Æ¥£Âкö} |
|
|
Line 557 OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤ |
|
Line 552 OpenXM ¤Ç¤Ï¿¯Æþ¼Ô¤Ë¹¶·â¤Îµ¡²ñ¤ò¤Ç¤¤ë¤À¤±Í¿¤¨¤Ê¤¤¤è¤¦¤ |
|
|
|
http://www.openmath.org/omsoc/ %A.M.Cohen |
http://www.openmath.org/omsoc/ %A.M.Cohen |
|
|
¤³¤Î¥×¥í¥¸¥§¥¯¥È¤Ï¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò¥³¥ó¥Ô¥å¡¼¥¿¾å¤Çɽ¸½¤¹¤ëÊý |
¿ô³ØŪ¤Ê¥ª¥Ö¥¸¥§¥¯¥È¤ò¥³¥ó¥Ô¥å¡¼¥¿¾å¤Çɽ¸½¤¹¤ëÊýË¡¤òµ¬Äꤷ¤Æ¤¤¤ë. |
Ë¡¤òµ¬Äꤷ¤Æ¤¤¤ë. |
|
%³Æ¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¥ª¥Ö¥¸¥§¥¯¥È¤ò¸ò´¹¤¹¤ëºÝ¤Î¥ª¥Ö¥¸¥§¥¯¥È¤ÎÊÑ´¹¼ê½ç¤Ë |
%³Æ¥½¥Õ¥È¥¦¥§¥¢´Ö¤Ç¥ª¥Ö¥¸¥§¥¯¥È¤ò¸ò´¹¤¹¤ëºÝ¤Î¥ª¥Ö¥¸¥§¥¯¥È¤ÎÊÑ´¹¼ê½ç¤Ë |
%¤Ä¤¤¤Æ¤âÄê¤á¤é¤ì¤Æ¤¤¤ë. |
%¤Ä¤¤¤Æ¤âÄê¤á¤é¤ì¤Æ¤¤¤ë. |
ɽ¸½ÊýË¡¤Ï´ö¤Ä¤«¤ÎÃʳ¬¤ÇÄê¤á¤é¤ì¤Æ¤¤¤Æ, |
ɽ¸½ÊýË¡¤Ï´ö¤Ä¤«¤ÎÃʳ¬¤ÇÄê¤á¤é¤ì¤Æ¤¤¤Æ, |
Line 569 XML ɽ¸½¤ä¥Ð¥¤¥Ê¥êɽ¸½¤Ê¤É¤¬ÍÑ°Õ¤µ¤ì¤Æ¤¤¤ë. |
|
Line 563 XML ɽ¸½¤ä¥Ð¥¤¥Ê¥êɽ¸½¤Ê¤É¤¬ÍÑ°Õ¤µ¤ì¤Æ¤¤¤ë. |
|
|
|
http://www.cs.utk.edu/netsolve/ |
http://www.cs.utk.edu/netsolve/ |
|
|
|
¥Í¥Ã¥È¥ï¡¼¥¯¤Ë·Ò¤¬¤Ã¤Æ¤¤¤ë·×»»µ¡»ñ¸»¤ÎÃ椫¤é, |
|
Í×µá¤Ë¤¢¤Ã¤¿¤â¤Î¤òÁܤ·½Ð¤¹. |
|
|
|
|
\item MP |
\item MP |