=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.47 retrieving revision 1.48 diff -u -p -r1.47 -r1.48 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/22 18:01:06 1.47 +++ OpenXM/doc/Attic/genkou19991125.tex 1999/12/22 19:01:18 1.48 @@ -204,25 +204,32 @@ OpenXM µ¬Ìó¤Î TCP/IP ¼ÂÁõ¤Ç¤Ï¥Ð¥¤¥È¥¹¥È¥ê¡¼¥à¤Ç 32 bit ¤Þ¤¿¡¢Éé¤Î¿ô¤òɽ¸½¤¹¤ëɬÍפ¬¤¢¤ë¤È¤­¤Ë¤Ï¡¢ 2 ¤ÎÊä¿ôɽ¸½¤ò»È¤¦¤³¤È¤Ë¤Ê¤Ã¤Æ¤¤¤ë¡£ -ɽ¸½¤·¤¿¤¤Â¿ÇÜĹÀ°¿ô¤ÎÀäÂÐÃͤò 2 ¿Ê¿ô¤Çɽ¤·¤¿¾ì¹ç¤Î·å¿ô¤ò $n$ ¤È -¤·¤¿¤È¤­¡¢¼¡¤Ë¤¯¤ë¥Ç¡¼¥¿¤Ï $[(n+31)/32]$ ¤ò 32 bit ¤ÎÀ°¿ô¤Çɽ¤·¤¿ÃͤȤʤ롣 -¤³¤ì¤Ï¿ÇÜĹÀ°¿ô¤ÎÀäÂÐÃͤò $2^{32}$ ¿Ê¿ô¤Çɽ¤·¤¿¾ì¹ç¤Î·å¿ô¤È¤È¤Ã¤Æ¤â¤è¤¤¡£ -¤¿¤À¤·¡¢É½¸½¤·¤¿¤¤¿ô¤¬Éé¤Î¾ì¹ç¤Ï $[(n+31)/32]$ ¤ò 32 bit ¤ÎÀ°¿ô¤Çɽ¤·¤¿Ãͤò - 2 ¤ÎÊä¿ôɽ¸½¤ÇÉé¤Ë¤·¤Æ¡¢Àµ¤Î¾ì¹ç¤È¶èÊ̤¹¤ë¡£ +CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤Ï¡¢ GNU MP LIBRARY Åù¤ò»²¹Í¤Ë¤·¤Æ¤ª¤ê¡¢ +Éä¹çÉÕ¤­ÀäÂÐÃÍɽ¸½¤òÍѤ¤¤Æ¤¤¤ë¡£ +¥¿¥°°Ê¹ß¤Î·Á¼°¤Ï¼¡¤Î¤è¤¦¤Ë¤Ê¤ë¡£ -ɽ¸½¤·¤¿¤¤Â¿ÇÜĹÀ°¿ô¤ÎÀäÂÐÃͤ¬ $2^{32}$ ¿Ê¿ô¤Ç $(b_0 b_1 ... b_k)_{2^{32}}$ -¤Èɽ¤»¤ë¤È¤­¡¢¼¡¤Ë¤¯¤ë¥Ç¡¼¥¿¤Ï $b_0$, $b_1$, $\cdots$, $b_k$ ¤ò -¤½¤ì¤¾¤ì 32 bit ¤ÎÀ°¿ô¤Çɽ¸½¤·¤¿ÃͤȤʤ롣 -%°Ê²¼¤Ï½ñ¤­Ä¾¤·¤ÎɬÍפ¬¤¢¤ë¤«¤â... -¤Ê¤ª¡¢ GNU MP LIBRARY ¤òÍѤ¤¤ë¤È¡¢ -C ¸À¸ì¤«¤é¿ÇÜĹÀ°¿ô¤äǤ°ÕÀºÅÙÉâÆ°¾®¿ô¤ò°·¤¦¤³¤È¤¬¤Ç¤­¤ë¡£ -$b_0$, $b_1$, $\cdots$, $b_k$ ¤ò¤½¤ì¤¾¤ì 32 bit À°¿ô¤Çɽ¸½¤·¤¿ÃÍ¤Ï -¤³¤Î GNU MP LIBRARY ¤ÇÍѤ¤¤é¤ì¤Æ¤¤¤ë¿ÇÜĹÀ°¿ô¤Ç»È¤ï¤ì¤Æ¤¤¤ë·Á¼°¤ò -»²¹Í¤Ë¤·¤Æ¹ç¤ï¤»¤Æ¤¢¤ë¡£ +\begin{tabular}{|c|c|c|c|c|} \hline +$f$ & $b_0$ & $b_1$ & $\cdots$ & $b_{n-1}$ \\ \hline +\end{tabular} +¤³¤³¤Ç¡¢ 1 ¤Ä¤ÎÏÈ¤Ï 4 ¥Ð¥¤¥È¤òɽ¤·¡¢ +$f$ ¤ÏÉä¹çÉÕ¤­ 32 ¥Ó¥Ã¥ÈÀ°¿ô¤ò¡¢ +$b_0$, $b_1$, $\cdots$, $b_{n-1}$ ¤ÏÉä¹ç¤Ê¤· 32 ¥Ó¥Ã¥ÈÀ°¿ô¤òɽ¤·¤Æ¤¤¤ë¡£ +¤µ¤é¤Ë¡¢ $|f| = n$ ¤¬À®¤êΩ¤¿¤Ê¤±¤ì¤Ð¤Ê¤é¤Ê¤¤¡£ +¤³¤Î¥ª¥Ö¥¸¥§¥¯¥È¤Ï +\[ \mbox{sgn}(f) \times \{ b_0 (2^{32})^0 + b_1 (2^{32})^1 + \cdots + + b_{n-1} (2^{32})^{n-1} \} \] +¤È¤¤¤¦À°¿ô¤Ç¤¢¤ë¤ÈÄêµÁ¤µ¤ì¤Æ¤¤¤ë¡£ +¤¿¤À¤·¡¢ +\[ \mbox{sgn}(f) = \left\{ \begin{array}{ll} + 1 & f>0 \\ + 0 & f=0 \\ + -1 & f<0 \\ \end{array} \right. \] +¤Ç¤¢¤ë¡£ + ¤³¤³¤Ç¶ñÂÎÎã¤ò¤À¤½¤¦¡£ -$4294967298 = 1 \times 2^{32} + 2$ ¤ò¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¤Î¿ÇÜĹÀ°¿ô¤Ç -ɽ¸½¤¹¤ë¤È¡¢ +$4294967298 = 1 \times 2^{32} + 2$ ¤ò CMO ·Á¼°¤Î +¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥È¥ª¡¼¥À¡¼¡¢Â¿ÇÜĹÀ°¿ô¤Çɽ¸½¤¹¤ë¤È¡¢ \begin{center} {\tt 00 00 00 14 00 00 00 02 00 00 00 02 00 00 00 01} \end{center} @@ -235,12 +242,12 @@ $4294967298 = 1 \times 2^{32} + 2$ ¤ò¥Í¥Ã¥È¥ï¡¼¥¯¥Ð¥¤¥ \section{MathCap ¤Ë¤Ä¤¤¤Æ} -¥µ¡¼¥Ð¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥ÈÁÐÊý¤È¤â¤Ë OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë -¥á¥Ã¥»¡¼¥¸¤ÎÃæ¤Î¥Ç¡¼¥¿·Á¼°¤ò¤¹¤Ù¤Æ¼õ¤±¼è¤ì¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¡£ -¤·¤«¤â¡¢ OpenXM µ¬Ìó¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë¥Ç¡¼¥¿·Á¼°¤À¤±¤¬ -¼õÅϤ·¤Ë»È¤ï¤ì¤ë¤È¤¤¤¦¤ï¤±¤Ç¤Ï¤Ê¤¤¡£ -¤½¤³¤Ç¡¢ OpenXM ¤Ç¤ÏÁê¼ê¦¤¬¼õ¤±¼è¤ë¤³¤È¤¬¤Ç¤­¤ë¥Ç¡¼¥¿·Á¼°¤ò -¼ýÆÀ¤¹¤ëÊýË¡¤òÍÑ°Õ¤·¤Æ¤¤¤ë¡£ +OpenXM µ¬Ìó¤Ç¤Ï¡¢ÄÌ¿®»þ¤ËÍѤ¤¤é¤ì¤ë¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò +³Æ¥½¥Õ¥È¥¦¥§¥¢¤¬À©¸Â¤¹¤ëÊýË¡¤òÍÑ°Õ¤·¤Æ¤¤¤ë¡£ +¤Ê¤¼¤Ê¤é¡¢¥µ¡¼¥Ð¤ª¤è¤Ó¥¯¥é¥¤¥¢¥ó¥ÈÁÐÊý¤È¤â¤Ë OpenXM ¤Çµ¬Äꤵ¤ì¤Æ¤¤¤ë +¤¹¤Ù¤Æ¤Î¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò¼õ¤±¼è¤ì¤ë¤ï¤±¤Ç¤Ï¤Ê¤¤¤«¤é¤Ç¤¢¤ë¡£ +¤½¤³¤Ç¡¢ OpenXM ¤Ç¤ÏÁê¼ê¦¤¬¼õ¤±¼è¤ë¤³¤È¤¬¤Ç¤­¤ë +¥á¥Ã¥»¡¼¥¸¤Î¼ïÎà¤ò¼ýÆÀ¤¹¤ëÊýË¡¤òÍÑ°Õ¤·¤Æ¤¤¤ë¡£ CMO ·Á¼°¤ÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë MathCap ¥Ç¡¼¥¿¤Ï %Íý²ò²Äǽ¤Ê¥á¥Ã¥»¡¼¥¸¤Î @@ -257,10 +264,10 @@ MathCap ¥Ç¡¼¥¿¤Ë´Þ¤Þ¤ì¤Æ¤¤¤ëÆâÍƤòÍý²ò¤Ç¤­¤ë¤¿¤á¤Ë¤Ï OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ MathCap ¤ò°Ê²¼¤Ë¼¨¤¹¡£ -%¤Ê¤ª¡¢ $a_1$, $a_2$, $\cdots$, $a_n$ ¤òÍ×ÁÇ¤Ë -%»ý¤Ä¥ê¥¹¥È¹½Â¤¤ò {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} ¡¢ -%ʸ»úÎó ``string'' ¤ò {\tt "string"} ¡¢ 32 bit À°¿ô¤ò -%¤½¤ì¤ËÂбþ¤¹¤ë 10 ¿Ê¿ô¤ÎÀ°¿ô¤Ç¼¨¤¹¡£ +¤Ê¤ª¡¢ $a_1$, $a_2$, $\cdots$, $a_n$ ¤òÍ×ÁÇ¤Ë +»ý¤Ä¥ê¥¹¥È¹½Â¤¤ò {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} ¡¢ +ʸ»úÎó ``string'' ¤ò {\tt "string"} ¡¢ 32 bit À°¿ô¤ò +¤½¤ì¤ËÂбþ¤¹¤ë 10 ¿Ê¿ô¤ÎÀ°¿ô¤Ç¼¨¤¹¡£ %¢­¼ê¤Çºî¤Ã¤¿¤Î¤Ç´Ö°ã¤¨¤Æ¤¤¤ë²ÄǽÀ­¤¢¤ê¡£ %%¸Å¤¤¥Ð¡¼¥¸¥ç¥ó¡£º¹¤·Âؤ¨¤ÎɬÍפ¢¤ê¡£ @@ -281,9 +288,9 @@ OpenXM ÂбþÈǤΠasir ¥µ¡¼¥Ð¤Ç¤¢¤ë ox\_asir ¤¬ÊÖ¤¹ Math ºÇ½é¤ÎÍ×ÁǤϥС¼¥¸¥ç¥ó¥Ê¥ó¥Ð¡¼¤ò¡¢¼¡¤ÎÍ×ÁǤϥµ¡¼¥Ð¤Î̾Á°¤òɽ¤·¤Æ¤¤¤ë¡£ ¼¡¤Î {\tt [276,275,$\cdots$,271]} ¤ÎÉôʬ¤Ï -¥µ¡¼¥Ð¤ËÂФ¹¤ëÆ°ºî¤ËÂбþ¤·¤¿Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¼ïÎà¤òɽ¤·¤Æ¤¤¤ë¡£ -¥µ¡¼¥Ð¤ÎÆ°ºî¤ËÂФ¹¤ë¥Ç¡¼¥¿¤Ï¤¹¤Ù¤Æ 32 bit ¤ÎÀ°¿ô¤Çɽ¤·¤Æ¤ª¤ê¡¢ -¤³¤Î¥ê¥¹¥È¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤ËÂбþ¤¹¤ë 32 bit À°¿ô¤Î¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤¤¤ë¡£ +¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤ËÂФ¹¤ëÌ¿Îá¤Î¤¦¤Á¡¢ÍøÍѲÄǽ¤ÊÌ¿Îá¤Î¼ïÎà¤òɽ¤·¤Æ¤¤¤ë¡£ +¥¹¥¿¥Ã¥¯¥Þ¥·¥ó¤Ø¤ÎÌ¿Îá¤Ï¤¹¤Ù¤Æ 32 ¥Ó¥Ã¥È¤ÎÀ°¿ô¤Çɽ¤·¤Æ¤ª¤ê¡¢ +¤³¤Î¥ê¥¹¥È¤ÏÍøÍѲÄǽ¤ÊÌ¿Îá¤ËÂбþ¤¹¤ë 32 ¥Ó¥Ã¥È¤ÎÀ°¿ô¤Î¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤¤¤ë¡£ ºÇ¸å¤Î {\tt [ [514,[1,2,3,$\cdots$,60]],[2144202544,[0,1]] ]} ¤ÎÉôʬ¤Ï Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î·Á¼°¤òɽ¤·¤Æ¤¤¤ë¡£ @@ -299,14 +306,6 @@ CMO ·Á¼°¤Ç¤ÏÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¥¿¥°¤¬¥ê¥¹¥È¤ÎÃæ¤Ë¼ý¤Þ¤Ã Á°Àá¤Ç CMO ·Á¼°¤Ç¤Ï¿ÇÜĹÀ°¿ô¤òɽ¤¹¥¿¥°¤¬ 20 ¤Ç¤¢¤ë¤³¤È¤ò½Ò¤Ù¤¿¤¬¡¢ ¤³¤Î¥ê¥¹¥È¤Ë 20 ¤¬´Þ¤Þ¤ì¤Æ¤¤¤ë¤Î¤Ç¡¢ ox\_asir ¤Ï CMO ·Á¼°¤Î¿ÇÜĹÀ°¿ô¤ò¼õ¤±¼è¤ì¤ë¤³¤È¤¬¤ï¤«¤ë¡£ - -%%¤³¤Î¥ê¥¹¥È¤ÎÍ×ÁǤϤޤ¿¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ -%¤³¤ÎºÇ¸å¤ÎÉôʬ¤â¤Þ¤¿¥ê¥¹¥È¤È¤Ê¤Ã¤Æ¤ª¤ê¡¢ -%¤¢¤ë¥Ç¡¼¥¿·Á¼°¤ÇÍý²ò²Äǽ¤Ê¤â¤Î¤òɽ¸½¤·¤¿¥ê¥¹¥È¤òÍ×ÁǤȤ·¤Æ¤¤¤ë¡£ -%{\tt [514,[1, 2, $\cdots$]]} ¤ÎºÇ½é¤Î 514 ¤Ï¤³¤Î¥ê¥¹¥È¤¬ CMO ·Á¼° -%¤Ç¤ÎÍý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤òɽ¤·¤Æ¤¤¤ë¤³¤È¤ò¼¨¤·¤Æ¤ª¤ê¡¢ -%¤½¤Î¸å¤Î¥ê¥¹¥È¤Ç¤Ï CMO ÁؤÇÄêµÁ¤µ¤ì¤Æ¤¤¤ë¥Ç¡¼¥¿¤Î¤¦¤Á¡¢ -%Íý²ò²Äǽ¤Ê¥Ç¡¼¥¿¤Î¥¿¥°¤¬Ê¤ó¤Ç¤¤¤ë¡£ ¤Ê¤ª¡¢¥Ç¡¼¥¿¤¬¼õ¤±¼è¤ì¤ë¤³¤È¤È¡¢ ¥Ç¡¼¥¿¤ÎÏÀÍý¹½Â¤¤¬Íý²ò¤Ç¤­¤ë¤³¤È¤È¤Ï¤Þ¤Ã¤¿¤¯ÊÌʪ¤Ç¤¢¤ë¤Î¤Ç