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

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.11 and 1.12

version 1.11, 1999/12/18 20:02:19 version 1.12, 1999/12/18 21:02:33
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 \\  Maekawa, Masahide  (Oct., 1999 -- : CVS server) \\
         Noro \\  Noro, Masayuki     (Jan., 1996 -- : OpenXM Protocol, asir99) \\
         : \\  Ohara, Katsuyoshi  (Jan., 1998 -- : ox\_math) \\
         : \\  Okutani, Yukio     (Oct., 1999 -- : asir contrib) \\
   Takayama, Nobuki   (Jan., 1996 -- : OpenXM Protocol, kan) \\
   Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy) \\
 }  }
 \date{ 1999$BG/(B, 11$B7n(B25$BF|(B}  \date{ 1999$BG/(B, 11$B7n(B25$BF|(B}
   
Line 47  OX $BAX!"(B SM $BAX!"(B CMO $BAX$KJ,$1$k$3$H$,$G$
Line 49  OX $BAX!"(B SM $BAX!"(B CMO $BAX$KJ,$1$k$3$H$,$G$
 $B$3$NCf$G!"%a%C%;!<%8$H$7$FAw$k$3$H$,2DG=$J$N$O(B  $B$3$NCf$G!"%a%C%;!<%8$H$7$FAw$k$3$H$,2DG=$J$N$O(B
 OX $BAX$GDj5A$5$l$?$b$N$@$1$G$"$j!"(B  OX $BAX$GDj5A$5$l$?$b$N$@$1$G$"$j!"(B
 SM $BAX!"(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$O(B  SM $BAX!"(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$O(B
 OX $BAX$GDj5A$5$l$F$$$k%G!<%?$N0lIt$KKd$a9~$^$l$F(B  OX $BAX$GDj5A$5$l$F$$$k%G!<%?$KKd$a9~$^$l$FAw$i$l$k!#(B
 $BAw$i$l$k!#(B  
 SM $BAX!"(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?0J30$K$b(B  SM $BAX!"(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?0J30$K$b(B
 $BA0=R$N(B MP $B$d(B OpenMath $B$N(B XML, binary $BI=8=$b(B  $BA0=R$N(B MP $B$d(B OpenMath $B$N(B XML, binary $BI=8=$b(B
 OX $BAX$KKd$a9~$^$l$FAw$i$l$k$o$1$G$"$k$,!"(B  OX $BAX$KKd$a9~$^$l$FAw$i$l$k$o$1$G$"$k$,!"(B
Line 62  OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s
Line 63  OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s
 $B9T$J$o$l$k!#%/%i%$%"%s%H$+$i%5!<%P$X7W;;$5$;$?$$%G!<%?$r(B  $B9T$J$o$l$k!#%/%i%$%"%s%H$+$i%5!<%P$X7W;;$5$;$?$$%G!<%?$r(B
 $B%a%C%;!<%8$H$7$FAw$j!"<!$$$G%5!<%P$K9T$J$o$;$?$$F0:n$K(B  $B%a%C%;!<%8$H$7$FAw$j!"<!$$$G%5!<%P$K9T$J$o$;$?$$F0:n$K(B
 $BBP1~$7$?%G!<%?$rAw$k$3$H$K$h$C$F!"7W;;$J$I$N!"$J$s$i$+$NF0:n$r(B  $BBP1~$7$?%G!<%?$rAw$k$3$H$K$h$C$F!"7W;;$J$I$N!"$J$s$i$+$NF0:n$r(B
 $B%5!<%P$K9T$J$o$;$k!#%5!<%P$O7k2L$NAw?.$bL?Na$5$l$J$1$l$P(B  $B%5!<%P$K9T$J$o$;$k!#(B
 $B9T$J$&$3$H$O$J$/!"%/%i%$%"%s%H$O7k2L$r<u$1<h$i$:$K%5!<%P$K<!!9$H(B  $B$=$N7k2L$r%5!<%P$+$i%a%C%;!<%8$G<u$1<h$k$3$H$K$h$C$F7W;;$O9T$J$o$l$k!#(B
 $B7W;;$r9T$J$o$;$k$3$H$b2DG=$G$"$k!#$J$*!"%5!<%P$KBP$9$kF0:n$KBP1~$7$?(B  $B$?$@$7!"%5!<%P$O7k2L$NAw?.$9$i$bL?Na$5$l$J$1$l$P9T$J$&$3$H$O$J$/!"(B
 $B%G!<%?$O(B SM $BAX$GDj5A$5$l$F$*$j!"(B SM $BAX0J30$N%G!<%?$G$O%5!<%P$O(B  $B%/%i%$%"%s%H$O7k2L$r<u$1<h$i$:$K%5!<%P$K<!!9$H(B
 $B%G!<%?$r<u$1<h$k0J30$NF0:n$r$7$J$$$3$H$K$J$C$F$$$k!#(B  $B7W;;$r9T$J$o$;$k$3$H$b2DG=$G$"$k!#(B
   $B$J$*!"%5!<%P$KBP$9$kF0:n$KBP1~$7$?%G!<%?$O(B SM $BAX$GDj5A$5$l$F$*$j!"(B
   SM $BAX0J30$N%G!<%?$G$O%5!<%P$O%G!<%?$r<u$1<h$k0J30$NF0:n$r(B
   $B$7$J$$$3$H$K$J$C$F$$$k!#(B
   
 $B%5!<%P$O%9%?%C%/$r;}$C$F$$$k$H2>Dj$5$l$F$*$j!"<u$1<h$C$?(B  $B%5!<%P$O%9%?%C%/$r;}$C$F$$$k$H2>Dj$5$l$F$*$j!"(B
 $B%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#$3$3$G!"(B SM $BAX$GDj5A$5$l$?(B  $B<u$1<h$C$?%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#(B
 $B%G!<%?$r<u$1<h$C$?>l9g$K$O!"$=$l$KBP1~$9$kF0:n$r9T$J$&!#(B  $B$?$@$7!"A0=R$N$H$*$j!"(B SM $BAX$GDj5A$5$l$?%G!<%?$r<u$1<h$C$?>l9g$K$O!"(B
   $B$=$l$KBP1~$9$kF0:n$r9T$J$&!#(B
 $B$3$N$H$-!"I,MW$,$"$l$P%5!<%P$O%9%?%C%/$+$i%G!<%?$r<h$j=P$9!#(B  $B$3$N$H$-!"I,MW$,$"$l$P%5!<%P$O%9%?%C%/$+$i%G!<%?$r<h$j=P$9!#(B
 $B%/%i%$%"%s%H$+$i$NL?Na$K$h$kF0:nCf$K%(%i!<$,H/@8$7$?$H$7$F$b!"(B  $B%/%i%$%"%s%H$+$i$NL?Na$K$h$kF0:nCf$K$?$H$(%(%i!<$,H/@8$7$?$H$7$F$b!"(B
 $B%5!<%P$O%(%i!<%*%V%8%'%/%H$r%9%?%C%/$K@Q$`$@$1$G!"(B  $B%5!<%P$O%(%i!<%*%V%8%'%/%H$r%9%?%C%/$K@Q$`$@$1$G!"(B
 $BL@<($5$l$J$$8B$j%(%i!<$rJV$5$J$$$3$H$KCm0U$7$J$1$l$P$J$i$J$$!#(B  $BL@<($5$l$J$$8B$j%(%i!<$rJV$5$J$$$3$H$KCm0U$7$J$1$l$P$J$i$J$$!#(B
   
Line 88  OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s
Line 93  OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s
 \begin{enumerate}  \begin{enumerate}
 \item   $B$^$:!"%/%i%$%"%s%H$,%5!<%P$X7W;;$5$;$?$$%G!<%?$rAw$k!#(B  \item   $B$^$:!"%/%i%$%"%s%H$,%5!<%P$X7W;;$5$;$?$$%G!<%?$rAw$k!#(B
         $B%5!<%P$OAw$i$l$F$-$?%G!<%?$r%9%?%C%/$K@Q$`!#(B          $B%5!<%P$OAw$i$l$F$-$?%G!<%?$r%9%?%C%/$K@Q$`!#(B
 \item   $B%/%i%$%"%s%H$,%5!<%P$K7W;;$r9T$J$&F0:n$KBP1~$7$?%G!<%?$r(B  \item   $B%/%i%$%"%s%H$,%5!<%P$K!V7W;;$r9T$J$&F0:n$KBP1~$7$?%G!<%?!W$r(B
         $BAw$k$H!"%5!<%P$OI,MW$J$@$1%9%?%C%/$+$i%G!<%?$r<h$j=P$7!"(B          $BAw$k$H!"%5!<%P$OI,MW$J$@$1%9%?%C%/$+$i%G!<%?$r<h$j=P$7!"(B
         $B<B9T$7$?7W;;$N7k2L$r%9%?%C%/$K@Q$`!#(B          $B<B9T$7$?7W;;$N7k2L$r%9%?%C%/$K@Q$`!#(B
 \item   $B:G8e$K!V%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?%G!<%?!W$r(B  \item   $B:G8e$K!V%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?%G!<%?!W$r(B
Line 106  CMO $BAX$NB>$N%G!<%?9=B$$@$1$G$J$/!"(B OX $BAX!"(B
Line 111  CMO $BAX$NB>$N%G!<%?9=B$$@$1$G$J$/!"(B OX $BAX!"(B
 $B%G!<%?9=B$$K$D$$$F@bL@$9$k!#(B  $B%G!<%?9=B$$K$D$$$F@bL@$9$k!#(B
   
 CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b(B  CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b(B
 $BJ8;zNs$d%j%9%H$J$I$,$"$k!#$I$N$h$&$J%G!<%?$G$"$k$+$O(B  $BJ8;zNs$d%j%9%H9=B$$J$I$,$"$k!#$I$N$h$&$J%G!<%?$G$"$k$+$O(B
 $B%G!<%?$N@hF,$K$"$k(B tag $B$r8+$l$PH=JL$G$-$k$h$&$K$J$C$F$$$k!#(B  $B%G!<%?$N@hF,$K$"$k(B tag $B$r8+$l$PH=JL$G$-$k$h$&$K$J$C$F$$$k!#(B
 $B$3$l$O(B OX $BAX$G$N%G!<%?$NH=JL$N;EJ}$H$*$J$8$G$"$k!#(B  $B$3$l$O(B OX $BAX$G$N%G!<%?$NH=JL$N;EJ}$H$*$J$8$G$"$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
Line 117  CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b(B
Line 122  CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b(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 8 bit $BC10L$G(B $( \mbox{\tt 00 00 00 14})_{2^8}$ $B$HI=$9J}K!$H(B
 $( \mbox{\tt 14 00 00 00})_{2^8}$ $B$HI=$9J}K!$,$"$k!#(B  $( \mbox{\tt 14 00 00 00})_{2^8}$ $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!#$J$*!"9g0U$,$J$$>l9g$K$O(B  $BAPJ}$N9g0U$G7hDj$9$k$3$H$K$J$C$F$$$k!#(B
   $B$J$*!"9g0U$,$J$$>l9g$K$O(B
 $BA0<T$NI=8=J}K!(B($B0J8e!"$3$NI=8=J}K!$r(B network byte order $B$H8F$V(B)$B$r(B  $BA0<T$NI=8=J}K!(B($B0J8e!"$3$NI=8=J}K!$r(B network byte order $B$H8F$V(B)$B$r(B
 $B;H$&$3$H$K$J$C$F$$$k!#(B  $B;H$&$3$H$K$J$C$F$$$k!#(B
 $B$^$?!"Ii$N?t$rI=8=$9$kI,MW$,$"$k$H$-$K$O!"(B  $B$^$?!"Ii$N?t$rI=8=$9$kI,MW$,$"$k$H$-$K$O!"(B
Line 131  $( \mbox{\tt 14 00 00 00})_{2^8}$ $B$HI=$9J}K!$,$"$k!
Line 137  $( \mbox{\tt 14 00 00 00})_{2^8}$ $B$HI=$9J}K!$,$"$k!
 %$BI=8=$7$?$$B?G\D9@0?t$,Ii$G$"$C$F$b$3$l0J9_$N@bL@$O@5$N>l9g$H(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  %$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 ...)_{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$r(B  $B$HI=$;$k$H$-!"<!$K$/$k%G!<%?$O(B $b_0$, $b_1$, $\cdots$, $b_k$ $B$r(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$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 159  CMO $BAX$GDj5A$5$l$F$$$k(B MathCap $B%G!<%?$O(B
Line 165  CMO $BAX$GDj5A$5$l$F$$$k(B MathCap $B%G!<%?$O(B
 $BM}2r2DG=$J%a%C%;!<%8$rI=$9%G!<%?$G$"$j!"(B  $BM}2r2DG=$J%a%C%;!<%8$rI=$9%G!<%?$G$"$j!"(B
 $BMW5a$5$l$l$P%5!<%P$O(B MathCap $B$r%9%?%C%/$K@Q$`!#(B  $BMW5a$5$l$l$P%5!<%P$O(B MathCap $B$r%9%?%C%/$K@Q$`!#(B
 $B$^$?!"%/%i%$%"%s%H$+$i(B MathCap $B$r%5!<%P$XAw$k$3$H$b$G$-!"(B  $B$^$?!"%/%i%$%"%s%H$+$i(B MathCap $B$r%5!<%P$XAw$k$3$H$b$G$-!"(B
 MathCap $B$r%5!<%P$H%/%i%$%"%s%H$G8r49$9$k$3$H$K$h$C$F!"(B  MathCap $B$r%5!<%P$H%/%i%$%"%s%H4V$G8r49$9$k$3$H$K$h$C$F!"(B
 $B$*8_$$$KAj<j$NM}2rIT2DG=$J%a%C%;!<%8$rAw$C$F$7$^$&$3$H$r(B  $B$*8_$$$KAj<j$NM}2rIT2DG=$J%a%C%;!<%8$rAw$C$F$7$^$&$3$H$r(B
 $BKI$0$3$H$,$G$-$k!#(B  $BKI$0$3$H$,$G$-$k!#(B
 $B$J$*!"(B MathCap $B$N%G!<%?$NCf$G$O(B CMO $BAX$GDj5A$5$l$F$$$k(B  $B$J$*!"(B MathCap $B$N%G!<%?$NCf$G$O(B CMO $BAX$GDj5A$5$l$F$$$k(B
Line 168  MathCap $B$rM}2r$G$-$k$?$a$K$OI,A3E*$K$3$l$i$bM}2r$G$
Line 174  MathCap $B$rM}2r$G$-$k$?$a$K$OI,A3E*$K$3$l$i$bM}2r$G$
 $BI,MW$,$"$k!#(B  $BI,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$G$"$k(B ox\_asir $B$,JV$9(B MathCap $B$r(B
 $B0J2<$K<($9!#$J$*!"(B $a_0$, $a_1$, $\cdots$, $a_n$ $B$rMWAG$K(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_0$, $a_1$, $\cdots$, $a_n$]} $B!"(B  $B;}$D%j%9%H9=B$$r(B {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} $B!"(B
 $BJ8;zNs(B ``string'' $B$r(B {\tt "string"} $B!"(B 32 bit $B@0?t$r(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$=$l$KBP1~$9$k(B 10 $B?J?t$N@0?t$G<($9!#(B
   
Line 245  OpenXM $B$G$O4v$i$+$N%;%-%e%j%F%#BP:v$r9T$J$C$F$$$k!#
Line 251  OpenXM $B$G$O4v$i$+$N%;%-%e%j%F%#BP:v$r9T$J$C$F$$$k!#
   
 OpenMath $B%W%m%8%'%/%H$O?t3XE*$J%*%V%8%'%/%H$r(B  OpenMath $B%W%m%8%'%/%H$O?t3XE*$J%*%V%8%'%/%H$r(B
 $B%3%s%T%e!<%?>e$GI=8=$9$kJ}K!$r7hDj$7$F$$$k!#(B  $B%3%s%T%e!<%?>e$GI=8=$9$kJ}K!$r7hDj$7$F$$$k!#(B
 $BI=8=J}K!$O(B  $B3F%=%U%H%&%'%"4V$G%*%V%8%'%/%H$r8r49$9$k:]$N(B
   $B%*%V%8%'%/%H$NJQ49<j=g$K$D$$$F$b=R$Y$i$l$F$$$k!#(B
   $BI=8=J}K!$O0l$D$@$1$G$J$/!"(B XML $BI=8=$d(B binary $BI=8=$J$I$,(B
   $BMQ0U$5$l$F$$$k!#(B
   
   %$B0J2<!"D4$Y$kI,MW$"$j!#(B
 %NetSolve  %NetSolve
   
 %MP  %MP
Legend:
Removed from v.1.11  
changed lines
  Added in v.1.12
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>