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

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.19 and 1.23

version 1.19, 1999/12/19 20:59:14 version 1.23, 1999/12/20 13:00:21
Line 9  Okutani, Yukio     (Oct., 1999 -- : asir contrib) \\
Line 9  Okutani, Yukio     (Oct., 1999 -- : asir contrib) \\
 Takayama, Nobuki   (Jan., 1996 -- : OpenXM Protocol, kan) \\  Takayama, Nobuki   (Jan., 1996 -- : OpenXM Protocol, kan) \\
 Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy) \\  Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy) \\
 }  }
 \date{ 1999$BG/(B, 11$B7n(B25$BF|(B}  \date{1999$BG/(B11$B7n(B25$BF|(B}
   
 %\pagestyle{empty}  %\pagestyle{empty}
   
Line 22  OpenXM $B$O?t3X%=%U%H4V$G%a%C%;!<%8$r8r49$9$k$?$a$N5,
Line 22  OpenXM $B$O?t3X%=%U%H4V$G%a%C%;!<%8$r8r49$9$k$?$a$N5,
 OpenXM $B$H$O(B Open message eXchange protocol for Mathematics $B$NN,$G$"$k!#(B  OpenXM $B$H$O(B Open message eXchange protocol for Mathematics $B$NN,$G$"$k!#(B
 $B?t3X%=%U%H4V$G%a%C%;!<%8$r$d$j$H$j$5$;$k$3$H$K$h$j!"(B  $B?t3X%=%U%H4V$G%a%C%;!<%8$r$d$j$H$j$5$;$k$3$H$K$h$j!"(B
 $B$"$k?t3X%=%U%H$+$iB>$N?t3X%=%U%H$r8F$S=P$7$F7W;;$r9T$J$C$?$j!"(B  $B$"$k?t3X%=%U%H$+$iB>$N?t3X%=%U%H$r8F$S=P$7$F7W;;$r9T$J$C$?$j!"(B
 $BB>$N%^%7%s$G7W;;$r9T$J$o$;$?$j$G$-$k$h$&$K$9$k!#(B  $BB>$N%^%7%s$G7W;;$r9T$J$o$;$?$j$9$k$3$H$,L\E*$G$"$k!#(B
 $BH/C<$OLnO$@59T$H9b;3?.5#$K$h$j!"(B asir $B$H(B kan/sm1 $B$r(B  $BH/C<$OLnO$@59T$H9b;3?.5#$K$h$j!"(B asir $B$H(B kan/sm1 $B$r(B
 $BAj8_$K8F$S=P$95!G=$r<BAu$7$?$3$H$G$"$k!#(B  $BAj8_$K8F$S=P$95!G=$r<BAu$7$?$3$H$G$"$k!#(B
 $B8=:_$NL\I8$O!"%U%j!<$N?t3X%=%U%H$rAj8_$K@\B3$7$F(B  $B8=:_$NL\I8$O!"%U%j!<$N?t3X%=%U%H$rAj8_$K@\B3$7$F(B
Line 31  OpenXM $B$H$O(B Open message eXchange protocol for M
Line 31  OpenXM $B$H$O(B Open message eXchange protocol for M
 $BH/C<$H$J$C$?(B asir $B$H(B kan/sm1 $B$G$N<BAu;~$K$O!"(B  $BH/C<$H$J$C$?(B asir $B$H(B kan/sm1 $B$G$N<BAu;~$K$O!"(B
 $B$*8_$$$KAj<jB&$N%3%^%s%IJ8;zNs$rAw$C$F$$$?!#(B  $B$*8_$$$KAj<jB&$N%3%^%s%IJ8;zNs$rAw$C$F$$$?!#(B
 $B$3$NJ}K!$O8=:_$N(B OpenXM $B5,Ls$G$b2DG=$G$"$j!"(B  $B$3$NJ}K!$O8=:_$N(B OpenXM $B5,Ls$G$b2DG=$G$"$j!"(B
   
 $B;H$$$d$9$/$O$"$k$,!"8zN(E*$G$"$k$H$O$$$$Fq$$!#(B  $B;H$$$d$9$/$O$"$k$,!"8zN(E*$G$"$k$H$O$$$$Fq$$!#(B
 $B$5$i$K!"$3$NJ}K!$G$OAj<jB&$N%=%U%H$,(B asir $B$J$N$+(B kan/sm1 $B$J$N$+$r(B  $B$5$i$K!"$3$NJ}K!$G$OAj<jB&$N%=%U%H$,(B asir $B$J$N$+(B kan/sm1 $B$J$N$+$r(B
 $BH=JL$7$F!"Aj<jB&$K9g$o$;$F%3%^%s%IJ8;zNs$r:n@.$9$kI,MW$,$"$k!#(B  $BH=JL$7$F!"Aj<jB&$K9g$o$;$F%3%^%s%IJ8;zNs$r:n@.$9$kI,MW$,$"$k!#(B
   
 $B$3$l0J30$NJ}K!$H$7$F!"(B OpenXM $B5,Ls$G$O6&DLI=8=7A<0$K$h$k(B  $B$3$l0J30$NJ}K!$H$7$F!"(B
 $B%a%C%;!<%8$rMQ0U$7$F$$$k!#(B  
   OpenXM $B5,Ls$G$O6&DLI=8=7A<0$K$h$k%a%C%;!<%8$rMQ0U$7$F$$$k!#(B
   
 OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B(Common Mathematical Object format)  OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B(Common Mathematical Object format)
 $B0J30$K$b!"(B MP $B$d(B OpenMath $B$N(B XML, binary $BI=8=7A<0$H$$$C$?B>$N7A<0$r$b(B  $B0J30$K$b!"(B MP $B$d(B OpenMath $B$N(B XML, binary $BI=8=7A<0$H$$$C$?B>$N7A<0$r$b(B
 $B07$($k$h$&$K$7$F$"$k!#(B  $B07$($k$h$&$K$7$F$"$k!#(B
   
 OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s%H$N4V$G9T$J$o$l$k!#(B  OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s%H$N4V$G9T$J$o$l$k!#(B
 $B%5!<%P$O%9%?%C%/$r;}$C$F$$$k$H2>Dj$5$l$F$*$j!"(B  $B%5!<%P$O%9%?%C%/%^%7%s$G$"$k$H2>Dj$5$l$F$*$j!"(B
 $B%5!<%P$,%/%i%$%"%s%H$+$i<u$1<h$C$?%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#(B  $B%5!<%P$,%/%i%$%"%s%H$+$i<u$1<h$C$?%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#(B
 OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n$KBP1~$9$k%G!<%?$,$"$j!"(B  OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n$KBP1~$9$k%G!<%?$,$"$j!"(B
 $B$3$N%a%C%;!<%8$r<u$1<h$C$?%5!<%P$O$=$l$KBP1~$9$kF0:n$r(B  $B$3$N%a%C%;!<%8$r<u$1<h$C$?%5!<%P$O$=$l$KBP1~$9$kF0:n$r(B
Line 56  OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n
Line 59  OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n
 $BJ#?t$N<oN`$N%G!<%?$rI=8=$9$k$3$H$,2DG=$G$"$k!#(B  $BJ#?t$N<oN`$N%G!<%?$rI=8=$9$k$3$H$,2DG=$G$"$k!#(B
 $B%a%C%;!<%8$,$I$N$h$&$J%G!<%?$J$N$+$O!"(B  $B%a%C%;!<%8$,$I$N$h$&$J%G!<%?$J$N$+$O!"(B
 $B@hF,$K$"$k(B tag $B$r$_$l$PJ,$+$k$h$&$K$J$C$F$$$k!#(B  $B@hF,$K$"$k(B tag $B$r$_$l$PJ,$+$k$h$&$K$J$C$F$$$k!#(B
 $B$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"%a%C%;!<%8$K4^$^$l$F$$$k(B  $B$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"(B
 $B%G!<%?$,(B CMO $B7A<0$J$N$+!"(B OpenMath $B$N(B XML $BI=8=$J$N$+$,(B  CMO $B7A<0$d!"(B OpenMath $B$N(B XML $BI=8=$J$I$N!"(B
 $BJ,$+$k$h$&$K$J$C$F$$$k!#(B  $B%a%C%;!<%8$K4^$^$l$F$$$k%G!<%?$N<oN`$,J,$+$k$h$&$K$J$C$F$$$k!#(B
 $B%5!<%P$KBP$9$kF0:n$KBP1~$7$?%G!<%?$O(B SM $B7A<0$H$7$FDj5A$5$l$F$$$k!#(B  $B%5!<%P$KBP$9$kF0:n$KBP1~$7$?%G!<%?$O(B SM $B7A<0$H$7$FDj5A$5$l$F$$$k!#(B
 SM $B7A<00J30$N%G!<%?$G$O!"%5!<%P$O<u$1<h$C$?%G!<%?$r%9%?%C%/$K@Q$`(B  SM $B7A<00J30$N%G!<%?$G$O!"%5!<%P$O<u$1<h$C$?%G!<%?$r%9%?%C%/$K@Q$`(B
 $B0J30$NF0:n$r$7$J$$$3$H$K$J$C$F$$$k!#(B  $B0J30$NF0:n$r$7$J$$$3$H$K$J$C$F$$$k!#(B
 $B$D$^$j!"(B SM $B7A<0$N%G!<%?$,%G!<%?$r<u$1<h$k0J30$NF0:n$r(B  $B$D$^$j!"(B SM $B7A<0$N%G!<%?$,%G!<%?$r<u$1<h$k0J30$NF0:n$r(B
 $B%5!<%P$K9T$J$o$;$kM#0l$N%G!<%?7A<0$G$"$k!#(B  $B%5!<%P$K9T$J$o$;$kM#0l$N%G!<%?7A<0$G$"$k!#(B
   $B$3$N%G!<%?$r<u$1<h$k0J30$NF0:n$K$O!"(B
   $B%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$bF~$C$F$$$k!#(B
   $B$b$A$m$s?t3XE*$J1i;;$r9T$J$&F0:n$b!"(B
   $B$3$N%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$K4^$^$l$F$$$k!#(B
   $B0J8e!"%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$N$3$H$r7W;;$H8F$V!#(B
   
   
 \section{OpenXM $B$N7W;;$N?J9TJ}K!(B}  \section{OpenXM $B$N7W;;$N?J9TJ}K!(B}
Line 121  CMO $B7A<0$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b
Line 129  CMO $B7A<0$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b
 $B$J$*!"(B tag $B$O3F%G!<%?Kh$K(B 32 bit $B$N@0?t$GI=$5$l$F$*$j!"(B  $B$J$*!"(B tag $B$O3F%G!<%?Kh$K(B 32 bit $B$N@0?t$GI=$5$l$F$*$j!"(B
 $BB?G\D9@0?t$O(B 20 $B$H$J$C$F$$$k!#(B  $BB?G\D9@0?t$O(B 20 $B$H$J$C$F$$$k!#(B
 $B$3$3$G(B 32 bit $B$N@0?t$NI=8=J}K!$K$D$$$F@bL@$9$kI,MW$,$"$k!#(B  $B$3$3$G(B 32 bit $B$N@0?t$NI=8=J}K!$K$D$$$F@bL@$9$kI,MW$,$"$k!#(B
 OpenXM $B$G$O(B 8 bit $BC10L$G(B $( \mbox{\tt 00 00 00 14})_{2^8}$ $B$HI=$9J}K!$H(B  OpenXM $B$G$O(B 32 bit $B$N@0?t(B 20 $B$r%P%$%HNs$G(B {\tt 00 00 00 14} $B$HI=$9J}K!$H(B
 $( \mbox{\tt 14 00 00 00})_{2^8}$ $B$HI=$9J}K!$,$"$k!#(B  {\tt 14 00 00 00} $B$HI=$9J}K!$,$"$k!#(B
 $B$3$NI=8=J}K!$N0c$$$O%/%i%$%"%s%H$H%5!<%P$N:G=i$N@\B3;~$K(B  $B$3$NI=8=J}K!$N0c$$$O%/%i%$%"%s%H$H%5!<%P$N:G=i$N@\B3;~$K(B
 $BAPJ}$N9g0U$G7hDj$9$k$3$H$K$J$C$F$$$k!#(B  $BAPJ}$N9g0U$G7hDj$9$k$3$H$K$J$C$F$$$k!#(B
 $B$J$*!"9g0U$,$J$$>l9g$K$O(B  $B$J$*!"9g0U$,$J$$>l9g$K$O(B
Line 134  $( \mbox{\tt 14 00 00 00})_{2^8}$ $B$HI=$9J}K!$,$"$k!
Line 142  $( \mbox{\tt 14 00 00 00})_{2^8}$ $B$HI=$9J}K!$,$"$k!
 $BI=8=$7$?$$B?G\D9@0?t$N@dBPCM$r(B 2 $B?J?t$GI=$7$?>l9g$N7e?t$r(B $n$ $B$H(B  $BI=8=$7$?$$B?G\D9@0?t$N@dBPCM$r(B 2 $B?J?t$GI=$7$?>l9g$N7e?t$r(B $n$ $B$H(B
 $B$7$?$H$-!"<!$K$/$k%G!<%?$O(B $[(n+31)/32]$ $B$r(B 32 bit $B$N@0?t$H$J$k!#(B  $B$7$?$H$-!"<!$K$/$k%G!<%?$O(B $[(n+31)/32]$ $B$r(B 32 bit $B$N@0?t$H$J$k!#(B
 $B$3$l$OB?G\D9@0?t$N@dBPCM$r(B $2^{32}$ $B?J?t$GI=$7$?>l9g$N7e?t$H$H$C$F$b$h$$!#(B  $B$3$l$OB?G\D9@0?t$N@dBPCM$r(B $2^{32}$ $B?J?t$GI=$7$?>l9g$N7e?t$H$H$C$F$b$h$$!#(B
 $B$?$@$7!"I=8=$7$?$$?t$,Ii$N>l9g$O$3$N(B 32 bit $B$N@0?tCM$O(B 2 $B$NJd?tI=8=$GIi$K$J$k!#(B  $B$?$@$7!"I=8=$7$?$$?t$,Ii$N>l9g$O(B $[(n+31)/32]$ $B$r(B 32 bit $B$N@0?t$GI=$7$?CM$r(B
    2 $B$NJd?tI=8=$GIi$K$7$F!"@5$N>l9g$H6hJL$9$k!#(B
   
 %$BI=8=$7$?$$B?G\D9@0?t$,Ii$G$"$C$F$b$3$l0J9_$N@bL@$O@5$N>l9g$H(B  
 %$BJQ$o$i$J$$$N$G!"0J8eB?G\D9@0?t$O@5$H$_$J$9!#(B  
   
 $BI=8=$7$?$$B?G\D9@0?t$N@dBPCM$,(B $2^{32}$ $B?J?t$G(B $(b_0 b_1 ... b_k)_{2^{32}}$  $BI=8=$7$?$$B?G\D9@0?t$N@dBPCM$,(B $2^{32}$ $B?J?t$G(B $(b_0 b_1 ... b_k)_{2^{32}}$
 $B$HI=$;$k$H$-!"<!$K$/$k%G!<%?$O(B $b_0$, $b_1$, $\cdots$, $b_k$ $B$r(B  $B$HI=$;$k$H$-!"<!$K$/$k%G!<%?$O(B $b_0$, $b_1$, $\cdots$, $b_k$ $B$r(B
 $B$=$l$>$l(B 32 bit $B$N@0?t$GI=8=$7$?CM$H$J$k!#(B  $B$=$l$>$l(B 32 bit $B$N@0?t$GI=8=$7$?CM$H$J$k!#(B
   $B$J$*!"(B GNU MP LIBRARY $B$rMQ$$$k$H!"(B
   C $B8@8l$+$iB?G\D9@0?t$dG$0U@:EYIbF0>.?t$r07$&$3$H$,$G$-$k!#(B
   $b_0$, $b_1$, $\cdots$, $b_k$ $B$r$=$l$>$l(B 32 bit $B@0?t$GI=8=$7$?CM$O(B
   $B$3$N(B GNU MP LIBRARY $B$GMQ$$$i$l$F$$$kB?G\D9@0?t$G;H$o$l$F$$$k7A<0$r(B
   $B;29M$K$7$F9g$o$;$F$"$k!#(B
   
 $B$3$3$G6qBNNc$r$@$=$&!#(B  $B$3$3$G6qBNNc$r$@$=$&!#(B
 $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network byte order $B$NB?G\D9@0?t$G(B  $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network byte order $B$NB?G\D9@0?t$G(B
Line 154  $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network by
Line 165  $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network by
         {\tt 00 00 00 14 ff ff ff ff 00 00 00 01}          {\tt 00 00 00 14 ff ff ff ff 00 00 00 01}
 \end{center}  \end{center}
 $B$H$J$k!#(B  $B$H$J$k!#(B
 $B$J$*!"(B GNU MP LIBRARY $B$rMQ$$$k$H!"(B  
 C $B8@8l$+$iB?G\D9@0?t$dG$0U@:EYIbF0>.?t$r07$&$3$H$,$G$-$k!#(B  
 $B$3$N(B GNU MP LIBRARY $B$GMQ$$$i$l$F$$$kB?G\D9@0?t$N7A<0$H(B  
 CMO $B7A<0$NB?G\D9@0?t$N(B tag $B0J9_$N%G!<%?$OA4$/F1$8$K9g$o$;$F$"$k!#(B  
   
   
 \section{MathCap $B$K$D$$$F(B}  \section{MathCap $B$K$D$$$F(B}
Line 203  OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $B$,
Line 210  OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $B$,
 $B:G=i$NMWAG$O%P!<%8%g%s%J%s%P!<$r!"<!$NMWAG$O%5!<%P$NL>A0$rI=$7$F$$$k!#(B  $B:G=i$NMWAG$O%P!<%8%g%s%J%s%P!<$r!"<!$NMWAG$O%5!<%P$NL>A0$rI=$7$F$$$k!#(B
   
 $B<!$N(B {\tt [276,275,$\cdots$,271]} $B$NItJ,$O(B  $B<!$N(B {\tt [276,275,$\cdots$,271]} $B$NItJ,$O(B
 SM $B7A<0$GDj5A$5$l$F$$$k%G!<%?$N$&$A$G!"M}2r2DG=$J%G!<%?$N<oN`$rI=$7$F$$$k!#(B  $B%5!<%P$KBP$9$kF0:n$KBP1~$7$?M}2r2DG=$J%G!<%?$N<oN`$rI=$7$F$$$k!#(B
 $B%5!<%P$NF0:n$KBP$9$k%G!<%?$O(B SM $B7A<0$G$O$9$Y$F(B 32 bit $B$N@0?t$G(B  $B%5!<%P$NF0:n$KBP$9$k%G!<%?$O$9$Y$F(B 32 bit $B$N@0?t$GI=$7$F$*$j!"(B
 $BI=$5$l$F$*$j!"$3$N(B 2 $BHV$a$NMWAG$OM}2r2DG=$J(B SM $B7A<0$N%G!<%?$K(B  $B$3$N%j%9%H$OM}2r2DG=$J%G!<%?$KBP1~$9$k(B 32 bit $B@0?t$N%j%9%H$H$J$C$F$$$k!#(B
 $BBP$9$k(B 32 bit $B@0?t$N%j%9%H$H$J$C$F$$$k!#(B  
   
 %$B:G8e$NMWAG$OM}2r2DG=$J%G!<%?$rI=$7$F$$$k!#(B  $B:G8e$N(B {\tt [ [514,[1,2,3,$\cdots$,60]],[2144202544,[0,1]] ]} $B$NItJ,$O(B
   $BM}2r2DG=$J%G!<%?$N7A<0$rI=$7$F$$$k!#(B
   $B$3$NItJ,$O$5$i$K(B {\tt [514,[1,2,3,$\cdots$,60]]} $B$H(B
   {\tt [2144202544,[0,1]]} $B$KJ,$1$k$3$H$,$G$-!"(B
 %%$B$3$N%j%9%H$NMWAG$O$^$?%j%9%H$H$J$C$F$*$j!"(B  %%$B$3$N%j%9%H$NMWAG$O$^$?%j%9%H$H$J$C$F$*$j!"(B
 %$B$3$N:G8e$NItJ,$b$^$?%j%9%H$H$J$C$F$*$j!"(B  %$B$3$N:G8e$NItJ,$b$^$?%j%9%H$H$J$C$F$*$j!"(B
 %$B$"$k%G!<%?7A<0$GM}2r2DG=$J$b$N$rI=8=$7$?%j%9%H$rMWAG$H$7$F$$$k!#(B  %$B$"$k%G!<%?7A<0$GM}2r2DG=$J$b$N$rI=8=$7$?%j%9%H$rMWAG$H$7$F$$$k!#(B
Legend:
Removed from v.1.19  
changed lines
  Added in v.1.23
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>