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