[BACK]Return to genkou19991125.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.88 and 1.89

version 1.88, 1999/12/25 13:05:20 version 1.89, 1999/12/25 13:58:52
Line 1 
Line 1 
 \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{
Line 10 
Line 10 
 ¤Ê¤ó¤Ç»Å»ö¤ò¤·¤Ê¤¤¤Î¤«, ¤¤¤¤²Ã¸º»Å»ö¤ò¤·¤í, Åļ. \\  ¤Ê¤ó¤Ç»Å»ö¤ò¤·¤Ê¤¤¤Î¤«, ¤¤¤¤²Ã¸º»Å»ö¤ò¤·¤í, Åļ. \\
 3.5 ¤½¤¦¤¤¤¦¤´ÈӤȤ«¤Ä¤Þ¤é¤Ê¤¤Ï两ã¤Ê¤¯¤Æ, commit ¤Î¾ðÊó¤ò¤ß¤ì¤ÐÅļ¤¬  3.5 ¤½¤¦¤¤¤¦¤´ÈӤȤ«¤Ä¤Þ¤é¤Ê¤¤Ï两ã¤Ê¤¯¤Æ, commit ¤Î¾ðÊó¤ò¤ß¤ì¤ÐÅļ¤¬
 Ç¡²¿¤Ë»Å»ö¤ò¤·¤Æ¤¤¤Ê¤¤¤Î¤«¤è¤¯¤ï¤«¤ë¤è. \\  Ç¡²¿¤Ë»Å»ö¤ò¤·¤Æ¤¤¤Ê¤¤¤Î¤«¤è¤¯¤ï¤«¤ë¤è. \\
 4. ¤¤¤¤²Ã¸º, Section 8 ¤ò½ñ¤±.  
 }  }
   
 \author{±ü ë ¡¡ ¹Ô ±û\affil{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê}  \author{±ü ë ¡¡ ¹Ô ±û\affil{¿À¸ÍÂç³ØÂç³Ø±¡¼«Á³²Ê³Ø¸¦µæ²Ê}
Line 26 
Line 25 
   \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

Legend:
Removed from v.1.88  
changed lines
  Added in v.1.89

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>