===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.17
retrieving revision 1.20
diff -u -p -r1.17 -r1.20
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/19 19:04:32	1.17
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/20 08:59:03	1.20
@@ -22,7 +22,7 @@ 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
 $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
-$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
 $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
@@ -42,7 +42,7 @@ OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(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
-$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
 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
@@ -56,9 +56,9 @@ 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
 $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$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"%a%C%;!<%8$K4^$^$l$F$$$k(B
-$B%G!<%?$,(B CMO $B7A<0$J$N$+!"(B OpenMath $B$N(B XML $BI=8=$J$N$+$,(B
-$BJ,$+$k$h$&$K$J$C$F$$$k!#(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
+$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
 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
@@ -113,7 +113,6 @@ CMO $B7A<0$GDj5A$5$l$F$$$kB?G\D9@0?t$rM}2r$7$F$*$/$H!
 CMO $B7A<0$NB>$N%G!<%?9=B$$@$1$G$J$/!"(B OX $B7A<0!"(B SM $B7A<0$N%G!<%?$r(B
 $BM}2r$9$k=u$1$K$J$k$H;W$($k$N$G!"(B CMO $B7A<0$NB?G\D9@0?t$N(B
 $B%G!<%?9=B$$K$D$$$F@bL@$9$k!#(B
-$B$J$*!"(B GMP $B$G(B
 
 CMO $B7A<0$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b(B
 $BJ8;zNs$d%j%9%H9=B$$J$I$,$"$k!#$I$N$h$&$J%G!<%?$G$"$k$+$O(B
@@ -155,26 +154,29 @@ $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network by
 	{\tt 00 00 00 14 ff ff ff ff 00 00 00 01}
 \end{center}
 $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}
 
-%$BA0@a$G8+$?$h$&$K!"(B 1 $B$D$N%a%C%;!<%8$ND9$5$O7h$^$C$F$$$J$$!#(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$=$3$G!"(B OpenXM $B$G$OAj<j$NM}2r2DG=$J%a%C%;!<%8$r(B
+$B$=$3$G!"(B OpenXM $B$G$OAj<jB&$KM}2r2DG=$J%a%C%;!<%8$N<oN`$r(B
 $B<}F@$9$kJ}K!$rMQ0U$7$F$$$k!#(B
-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
-$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
-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
+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
+$BMW5a$5$l$l$P%5!<%P$O(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
+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
 $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
-32 bit $B@0?t!"J8;zNs!"%j%9%H9=B$$r;H$C$F$*$j!"(B
-MathCap $B$rM}2r$G$-$k$?$a$K$OI,A3E*$K$3$l$i$bM}2r$G$-$k(B
-$BI,MW$,$"$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
+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
 
 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_1$, $a_2$, $\cdots$, $a_n$ $B$rMWAG$K(B
@@ -195,26 +197,30 @@ OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $B$,
 ]
 \end{verbatim}
 
-$B$3$N(B MathCap $B%G!<%?$N%j%9%H9=B$$N:G=i$NMWAG$O%5!<%P$N>pJs$,F~$C$F$$$k!#(B
-$B$3$N:G=i$NMWAG$,$^$?%j%9%H9=B$$H$J$C$F$*$j!"(B
+$B$3$N(B MathCap $B%G!<%?$N%j%9%H9=B$$OBg$-$/J,$1$F(B 3 $B$D$NItJ,$KJ,$+$l$k!#(B
+$B:G=i$N(B {\tt [199901160,"ox\_asir"]} $B$NItJ,$K$O%5!<%P$N>pJs$,F~$C$F$$$k!#(B
+%$B$3$N:G=i$NMWAG$,$^$?%j%9%H9=B$$H$J$C$F$*$j!"(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<!$NMWAG$O(B SM $BAX$GDj5A$5$l$F$$$kM}2r2DG=$J%G!<%?$rI=$7$F$$$k!#(B
-$B%5!<%P$NF0:n$KBP$9$k%G!<%?$O(B SM $BAX$G$O$9$Y$F(B 32 bit $B$N@0?t$G(B
-$BI=$5$l$F$*$j!"$3$N(B 2 $BHV$a$NMWAG$OM}2r2DG=$J(B SM $BAX$N%G!<%?$K(B
-$BBP$9$k(B 32 bit $B@0?t$N%j%9%H$H$J$C$F$$$k!#(B
+$B<!$N(B {\tt [276,275,$\cdots$,271]} $B$NItJ,$O(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$9$Y$F(B 32 bit $B$N@0?t$GI=$7$F$*$j!"(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
 
-$B:G8e$NMWAG$OM}2r2DG=$J%G!<%?$rI=$7$F$$$k!#(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$"$k%G!<%?7A<0$GM}2r2DG=$J$b$N$rI=8=$7$?%j%9%H$rMWAG$H$7$F$$$k!#(B
-{\tt [514,[1, 2, $\cdots$]]} $B$N:G=i$N(B 514 $B$O$3$N%j%9%H$,(B CMO $B7A<0(B
-$B$G$NM}2r2DG=$J%G!<%?$rI=$7$F$$$k$3$H$r<($7$F$*$j!"(B
-$B$=$N8e$N%j%9%H$G$O(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$N$&$A!"(B
-$BM}2r2DG=$J%G!<%?$N(B tag $B$,JB$s$G$$$k!#(B
-$BA0@a$G(B CMO $B7A<0$G$OB?G\D9@0?t$rI=$9(B tag $B$,(B 20 $B$G$"$k$3$H$r=R$Y$?$,!"(B
-$B$3$N%j%9%H$K(B 20 $B$,4^$^$l$F$$$k$N$G!"(B ox\_asir $B$O(B CMO $B7A<0$N(B
-$BB?G\D9@0?t$,M}2r$G$-$k$3$H$,$o$+$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: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
+%{\tt [514,[1, 2, $\cdots$]]} $B$N:G=i$N(B 514 $B$O$3$N%j%9%H$,(B CMO $B7A<0(B
+%$B$G$NM}2r2DG=$J%G!<%?$rI=$7$F$$$k$3$H$r<($7$F$*$j!"(B
+%$B$=$N8e$N%j%9%H$G$O(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$N$&$A!"(B
+%$BM}2r2DG=$J%G!<%?$N(B tag $B$,JB$s$G$$$k!#(B
+%$BA0@a$G(B CMO $B7A<0$G$OB?G\D9@0?t$rI=$9(B tag $B$,(B 20 $B$G$"$k$3$H$r=R$Y$?$,!"(B
+%$B$3$N%j%9%H$K(B 20 $B$,4^$^$l$F$$$k$N$G!"(B ox\_asir $B$O(B CMO $B7A<0$N(B
+%$BB?G\D9@0?t$,M}2r$G$-$k$3$H$,$o$+$k!#(B
 
 $B:G=i$N%j%9%H$,%5!<%P$N>pJs$rI=$7$F$$$k$H$$$C$?$3$H$,M}2r$G$-$k$3$H$H!"(B
 $B%G!<%?$,<u$1<h$l$k$3$H$H$O$^$C$?$/JLJ*$G$"$k$N$G(B