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

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

version 1.23, 1999/12/20 13:00:21 version 1.26, 1999/12/20 16:01:35
Line 2 
Line 2 
   
 \title{\bf Open XM($B%?%$%H%kL$Dj(B)}  \title{\bf Open XM($B%?%$%H%kL$Dj(B)}
 \author{  \author{
 Maekawa, Masahide  (Oct., 1999 -- : CVS server) \\  %Maekawa, Masahide  (Oct., 1999 -- : CVS server) \\
 Noro, Masayuki     (Jan., 1996 -- : OpenXM Protocol, asir99) \\  $BA0@n(B $B$^$5$R$G(B,
 Ohara, Katsuyoshi  (Jan., 1998 -- : ox\_math) \\  %$B",4A;zD4$YCf!#(B commit $B8+$?$i65$($F$M!#$I$&$;L@F|J9$1$k$1$I!#(B
 Okutani, Yukio     (Oct., 1999 -- : asir contrib) \\  %Noro, Masayuki     (Jan., 1996 -- : OpenXM Protocol, asir99) \\
 Takayama, Nobuki   (Jan., 1996 -- : OpenXM Protocol, kan) \\  $BLnO$(B $B@59T(B,
 Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy) \\  %Ohara, Katsuyoshi  (Jan., 1998 -- : ox\_math) \\
   $B>.86(B $B8yG$(B, \\
   %Okutani, Yukio     (Oct., 1999 -- : asir contrib) \\
   $B1|C+(B $B9,IW(B,
   %Takayama, Nobuki   (Jan., 1996 -- : OpenXM Protocol, kan) \\
   $B9b;3(B $B?.5#(B,
   %Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy) \\
   $BEDB<(B $B63;N(B
 }  }
 \date{1999$BG/(B11$B7n(B25$BF|(B}  \date{1999$BG/(B11$B7n(B25$BF|(B}
   
Line 19  Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy) \\
Line 26  Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy) \\
 \section{OpenXM $B$N7W;;%b%G%k(B}  \section{OpenXM $B$N7W;;%b%G%k(B}
   
 OpenXM $B$O?t3X%=%U%H4V$G%a%C%;!<%8$r8r49$9$k$?$a$N5,Ls$G$"$k!#(B  OpenXM $B$O?t3X%=%U%H4V$G%a%C%;!<%8$r8r49$9$k$?$a$N5,Ls$G$"$k!#(B
 OpenXM $B$H$O(B Open message eXchange protocol for Mathematics $B$NN,$G$"$k!#(B  $B?t3XE*$J%G!<%?$r4^$s$@%a%C%;!<%8$J$I$rMQ$$$F(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$9$k$3$H$,L\E*$G$"$k!#(B  $BB>$N%^%7%s$G7W;;$r9T$J$o$;$?$j$9$k$3$H$,L\E*$G$"$k!#(B
Line 27  OpenXM $B$H$O(B Open message eXchange protocol for M
Line 34  OpenXM $B$H$O(B Open message eXchange protocol for M
 $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
 $B9%$-$J8@8l$+$i4JC1$KB>$N?t3X%=%U%H$r;H$($k$h$&$K$9$k$3$H$G$"$k!#(B  $B9%$-$J8@8l$+$i4JC1$KB>$N?t3X%=%U%H$r;H$($k$h$&$K$9$k$3$H$G$"$k!#(B
   $B$J$*!"(B OpenXM $B$H$O(B Open message eXchange protocol for Mathematics $B$N(B
   $BN,$G$"$k!#(B
   
 $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$b7A$rJQ$($F2DG=$G$O$"$k$,!"(B
   $B;H$$$d$9$$H?LL!"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  $B$3$l0J30$NJ}K!$H$7$F!"(B
   OpenXM $B5,Ls$G$O6&DLI=8=7A<0$K$h$k%a%C%;!<%8$bMQ0U$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
   $B$J$*!"8=:_$N(B OpenXM $B5,Ls$G$O!"(B
   $BA0=R$N%3%^%s%IJ8;zNs$b(B CMO $B7A<0$J$I$N2?$i$+$N%G!<%?7A<0$NCf$N(B
   $BJ8;zNs$H$7$FI=8=$7$FAw$kI,MW$,$"$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%/%^%7%s$G$"$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
Line 55  OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n
Line 64  OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n
   
 \section{OpenXM $B$N%a%C%;!<%8$N9=B$(B}  \section{OpenXM $B$N%a%C%;!<%8$N9=B$(B}
   
 $BA0@a$G8+$?$h$&$K!"(B OpenXM $B$N%a%C%;!<%8$O(B  OpenXM $B$N%a%C%;!<%8$OJ#?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!"(B  $B$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"(B
 CMO $B7A<0$d!"(B OpenMath $B$N(B XML $BI=8=$J$I$N!"(B  CMO $B7A<0$d!"(B OpenMath $B$N(B XML $BI=8=$J$I$N!"(B
 $B%a%C%;!<%8$K4^$^$l$F$$$k%G!<%?$N<oN`$,J,$+$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%a%C%;!<%8$NCf$N<B:]$K%G!<%?$NF~$C$F$$$kItJ,$O(B
    tag $B0J9_$K$"$k(B body $B$NItJ,$G$"$k!#(B
   body $B$NCf$N%G!<%?$,$I$N$h$&$K3JG<$5$l$F$$$k$+$O(B
   $B3F%G!<%?7A<0$,$=$l$>$lFHN)$K7h$a$i$l$k$h$&$K$J$C$F$$$k!#(B
   $B$b$7!"(B OpenXM $B5,Ls$G%a%C%;!<%8$N$d$j$H$j$r9T$J$$$?$$$,!"(B
   $B$^$@5,Ls$GDj5A$5$l$F$$$J$$%G!<%?7A<0$r;H$$$?$$>l9g$O!"(B
   tag $B$r$^$@;H$o$l$F$J$5$=$&$JCM(B
   ($B%7%9%F%`8GM-$NI=8=$N$?$a$K?d>)$5$l$F$$$kCM$,$"$k(B)
   $B$K@_Dj$7!"(B body $B$NItJ,$K%G!<%?$rKd$a9~$a$P$h$$!#(B
   $B$J$*!"$9$Y$F$N%a%C%;!<%8$K(B body $B$,I,MW$H$$$&$o$1$G$O$J$/!"(B
   body $B$N$J$$%a%C%;!<%8$b(B OpenXM $B5,Ls$K$OB8:_$9$k$3$H$K(B
   $BCm0U$7$J$1$l$P$J$i$J$$!#(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$3$N%G!<%?$r<u$1<h$k0J30$NF0:n$NCf$K$O!"(B
 $B%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$bF~$C$F$$$k!#(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$NCf$K$O(B
 $B$3$N%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$K4^$^$l$F$$$k!#(B  $B?t3XE*$J1i;;$r9T$J$&F0:n$b4^$^$l$F$$$k!#(B
 $B0J8e!"%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$N$3$H$r7W;;$H8F$V!#(B  $B0J8e!"%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$N$3$H$r7W;;$H8F$V$3$H$K$9$k!#(B
   
   
 \section{OpenXM $B$N7W;;$N?J9TJ}K!(B}  \section{OpenXM $B$N7W;;$N?J9TJ}K!(B}
Line 148  OpenXM $B$G$O(B 32 bit $B$N@0?t(B 20 $B$r%P%$%HNs
Line 170  OpenXM $B$G$O(B 32 bit $B$N@0?t(B 20 $B$r%P%$%HNs
 $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
   %$B0J2<$O=q$-D>$7$NI,MW$,$"$k$+$b(B...
 $B$J$*!"(B GNU MP LIBRARY $B$rMQ$$$k$H!"(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  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_0$, $b_1$, $\cdots$, $b_k$ $B$r$=$l$>$l(B 32 bit $B@0?t$GI=8=$7$?CM$O(B
Line 170  $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network by
Line 193  $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network by
 \section{MathCap $B$K$D$$$F(B}  \section{MathCap $B$K$D$$$F(B}
   
 $B%5!<%P$*$h$S%/%i%$%"%s%HAPJ}$H$b$K(B OpenXM $B$G5,Dj$5$l$F$$$k(B  $B%5!<%P$*$h$S%/%i%$%"%s%HAPJ}$H$b$K(B OpenXM $B$G5,Dj$5$l$F$$$k(B
 $B$9$Y$F$N%a%C%;!<%8$rM}2r$G$-$k$o$1$G$O$J$$!#(B  $B%a%C%;!<%8$NCf$N%G!<%?7A<0$r$9$Y$FM}2r$G$-$k$o$1$G$O$J$$!#(B
 $B$=$3$G!"(B OpenXM $B$G$OAj<jB&$KM}2r2DG=$J%a%C%;!<%8$N<oN`$r(B  $B$7$+$b!"(B OpenXM $B5,Ls$G5,Dj$5$l$F$$$k%G!<%?7A<0$@$1$,(B
   $B<uEO$7$K;H$o$l$k$H$$$&$o$1$G$O$J$$!#(B
   
   $B$=$3$G!"(B OpenXM $B$G$OAj<jB&$,<u$1<h$k$3$H$,$G$-$k%G!<%?7A<0$N<oN`$r(B
 $B<}F@$9$kJ}K!$rMQ0U$7$F$$$k!#(B  $B<}F@$9$kJ}K!$rMQ0U$7$F$$$k!#(B
 CMO $B7A<0$GDj5A$5$l$F$$$k(B MathCap $B%G!<%?$O(B  CMO $B7A<0$GDj5A$5$l$F$$$k(B MathCap $B%G!<%?$O(B
 $BM}2r2DG=$J%a%C%;!<%8$N<oN`$rI=$9%G!<%?$G$"$j!"(B  %$BM}2r2DG=$J%a%C%;!<%8$N(B
 $BMW5a$5$l$l$P%5!<%P$O(B MathCap $B%G!<%?$r%9%?%C%/$K@Q$`!#(B  $B<u$1<h$k$3$H$,$G$-$k%G!<%?7A<0$N<oN`$rI=$9(B
   $B%G!<%?$G$"$j!"(B
   $BMW5a$5$l$l$P%5!<%P$O%5!<%P<+?H$N(B MathCap $B%G!<%?$r%9%?%C%/$K@Q$`!#(B
 $B$^$?!"%/%i%$%"%s%H$+$i(B MathCap $B%G!<%?$r%5!<%P$XAw$k$3$H$b$G$-!"(B  $B$^$?!"%/%i%$%"%s%H$+$i(B MathCap $B%G!<%?$r%5!<%P$XAw$k$3$H$b$G$-!"(B
 MathCap $B%G!<%?$r%5!<%P$H%/%i%$%"%s%H$N4V$G8r49$9$k$3$H$K$h$C$F!"(B  MathCap $B%G!<%?$r%5!<%P$H%/%i%$%"%s%H$N4V$G8r49$9$k$3$H$K$h$C$F!"(B
 $B$*8_$$$KAj<jB&$KM}2rIT2DG=$J%a%C%;!<%8$rAw$C$F$7$^$&$3$H$r(B  $B$*8_$$$KAj<jB&$,<u$1<h$k$3$H$,$G$-$J$$%G!<%?7A<0$G(B
 $BKI$0$3$H$,$G$-$k!#(B  $B%a%C%;!<%8$rAw$C$F$7$^$&$3$H$rKI$0$3$H$,$G$-$k!#(B
 $B$J$*!"(B MathCap $B%G!<%?$NCf$G$O(B CMO $B7A<0$GDj5A$5$l$F$$$k(B  $B$J$*!"(B MathCap $B%G!<%?$NCf$G$O(B CMO $B7A<0$GDj5A$5$l$F$$$k(B
 32 bit $B@0?t!"J8;zNs!"%j%9%H9=B$$,;H$o$l$F$*$j!"(B  32 bit $B@0?t!"J8;zNs!"%j%9%H9=B$$,;H$o$l$F$*$j!"(B
 MathCap $B%G!<%?$K4^$^$l$F$$$kFbMF$rM}2r$G$-$k$?$a$K$O(B  MathCap $B%G!<%?$K4^$^$l$F$$$kFbMF$rM}2r$G$-$k$?$a$K$O(B
 $BI,A3E*$K$3$l$i$bM}2r$G$-$kI,MW$,$"$k!#(B  $BI,A3E*$K$3$l$i$bM}2r$G$-$kI,MW$,$"$k!#(B
   
 OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $B$,JV$9(B MathCap $B$r(B  OpenXM $BBP1~HG$N(B asir $B%5!<%P$G$"$k(B ox\_asir $B$,JV$9(B MathCap $B$r0J2<$K<($9!#(B
 $B0J2<$K<($9!#$J$*!"(B $a_1$, $a_2$, $\cdots$, $a_n$ $B$rMWAG$K(B  
 $B;}$D%j%9%H9=B$$r(B {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} $B!"(B  %$B$J$*!"(B $a_1$, $a_2$, $\cdots$, $a_n$ $B$rMWAG$K(B
 $BJ8;zNs(B ``string'' $B$r(B {\tt "string"} $B!"(B 32 bit $B@0?t$r(B  %$B;}$D%j%9%H9=B$$r(B {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} $B!"(B
 $B$=$l$KBP1~$9$k(B 10 $B?J?t$N@0?t$G<($9!#(B  %$BJ8;zNs(B ``string'' $B$r(B {\tt "string"} $B!"(B 32 bit $B@0?t$r(B
   %$B$=$l$KBP1~$9$k(B 10 $B?J?t$N@0?t$G<($9!#(B
   
 %$B"-<j$G:n$C$?$N$G4V0c$($F$$$k2DG=@-$"$j!#(B  %$B"-<j$G:n$C$?$N$G4V0c$($F$$$k2DG=@-$"$j!#(B
 %%$B8E$$%P!<%8%g%s!#:9$7BX$($NI,MW$"$j!#(B  %%$B8E$$%P!<%8%g%s!#:9$7BX$($NI,MW$"$j!#(B
Legend:
Removed from v.1.23  
changed lines
  Added in v.1.26
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>