version 1.13, 1999/12/19 15:02:37 |
version 1.25, 1999/12/20 15:01:17 |
|
|
|
|
\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/(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 29 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 30 OpenXM $B$H$O(B Open message eXchange protocol for M |
|
Line 37 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$b7A$rJQ$($F2DG=$G$O$"$k$,!"(B |
$B;H$$$d$9$/$O$"$k$,!"8zN(E*$G$"$k$H$O$$$$Fq$$!#(B |
$B;H$$$d$9$$H?LL!"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$bMQ0U$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 |
|
$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 |
|
$B9T$J$&$3$H$,4|BT$5$l$F$$$k!#(B |
|
$B$?$@$7!"%5!<%P$OL?Na$5$l$J$$8B$j2?$bF0:n$r9T$J$*$&$H$O$7$J$$!#(B |
|
|
|
|
\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!"%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%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 |
|
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 |
|
$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$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$3$N%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$NCf$K$O(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$3$H$K$9$k!#(B |
|
|
|
|
\section{OpenXM $B$N7W;;$N?J9TJ}K!(B} |
\section{OpenXM $B$N7W;;$N?J9TJ}K!(B} |
|
|
OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s%H$N4V$G(B |
$B%/%i%$%"%s%H$,%5!<%P$X$J$s$i$+$N7W;;$r9T$J$o$;$k>l9g!"(B |
$B9T$J$o$l$k!#%/%i%$%"%s%H$+$i%5!<%P$X7W;;$5$;$?$$%G!<%?$r(B |
$B%/%i%$%"%s%H$+$i%5!<%P$X7W;;$5$;$?$$%G!<%?$r%a%C%;!<%8$H$7$FAw$j!"(B |
$B%a%C%;!<%8$H$7$FAw$j!"<!$$$G%5!<%P$K9T$J$o$;$?$$F0:n$K(B |
$B$=$7$F$=$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 |
$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!#(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 |
|
$B$?$@$7!"%5!<%P$O7k2L$NAw?.$9$i$bL?Na$5$l$J$1$l$P9T$J$&$3$H$O$J$/!"(B |
$B$?$@$7!"%5!<%P$O7k2L$NAw?.$9$i$bL?Na$5$l$J$1$l$P9T$J$&$3$H$O$J$/!"(B |
$B%/%i%$%"%s%H$O7k2L$r<u$1<h$i$:$K%5!<%P$K<!!9$H(B |
$B%/%i%$%"%s%H$O7k2L$r<u$1<h$i$:$K%5!<%P$K<!!9$H(B |
$B7W;;$r9T$J$o$;$k$3$H$b2DG=$G$"$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!"(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<u$1<h$C$?%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#(B |
$B$?$@$7!"$3$N$^$^$G$O<u$1<h$C$?%a%C%;!<%8$K4^$^$l$k%G!<%?$r(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%9%?%C%/$K@Q$_>e$2$F$$$/$@$1$G!"%5!<%P$O7W;;$r9T$J$*$&$H$O$7$J$$!#(B |
$B$=$l$KBP1~$9$kF0:n$r9T$J$&!#(B |
$B<!$$$G%5!<%P$K9T$J$o$;$?$$F0:n$KBP1~$7$?%G!<%?$rAw$k$H!"(B |
$B$3$N$H$-!"I,MW$,$"$l$P%5!<%P$O%9%?%C%/$+$i%G!<%?$r<h$j=P$9!#(B |
$B=i$a$F%5!<%P$O7W;;$J$I$N!"$J$s$i$+$NF0:n$r9T$J$&!#(B |
$B%/%i%$%"%s%H$+$i$NL?Na$K$h$kF0:nCf$K$?$H$(%(%i!<$,H/@8$7$?$H$7$F$b!"(B |
$B$3$N$H$-!"I,MW$,$"$l$P%5!<%P$O%9%?%C%/$+$iI,MW$J$@$1%G!<%?$r<h$j=P$9!#(B |
|
$B$3$3$G!"%/%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 |
|
|
$B7k2L$,@8$8$kF0:n$r%5!<%P$,9T$J$C$?>l9g!"(B |
$B7k2L$,@8$8$kF0:n$r%5!<%P$,9T$J$C$?>l9g!"(B |
$B%5!<%P$OF0:n$N7k2L$r%9%?%C%/$K@Q$s$G$$$k!#(B |
$B%5!<%P$OF0:n$N7k2L$r%9%?%C%/$K@Q$s$G$$$k!#(B |
$B%5!<%P$K9T$J$o$;$?F0:n$N7k2L$r%/%i%$%"%s%H$,CN$j$?$$>l9g!"(B |
$B%5!<%P$K9T$J$o$;$?F0:n$N7k2L$r%/%i%$%"%s%H$,CN$j$?$$>l9g!"(B |
$B%9%?%C%/$+$i%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?(B SM $BAX$N%G!<%?$r(B |
$B%9%?%C%/$+$i%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?(B SM $B7A<0$N%G!<%?$r(B |
$B%5!<%PB&$XAw$l$P$h$$!#(B |
$B%5!<%PB&$XAw$l$P$h$$!#(B |
|
|
$B%/%i%$%"%s%H$,%5!<%P$X7W;;$r9T$J$o$;!"7k2L$rF@$k$H$$$&<j=g$rDI$C$F$$$/$H!"(B |
$B%/%i%$%"%s%H$,%5!<%P$X7W;;$r9T$J$o$;!"7k2L$rF@$k$H$$$&<j=g$rDI$C$F$$$/$H!"(B |
Line 103 SM $BAX0J30$N%G!<%?$G$O%5!<%P$O%G!<%?$r<u$1<h$k0J30$N |
|
Line 137 SM $BAX0J30$N%G!<%?$G$O%5!<%P$O%G!<%?$r<u$1<h$k0J30$N |
|
\section{CMO $B$N%G!<%?9=B$(B} |
\section{CMO $B$N%G!<%?9=B$(B} |
|
|
OpenXM $B4V$G$d$j$H$j$5$l$k%a%C%;!<%8$r<B:]$K:n@.$9$k>l9g!"(B |
OpenXM $B4V$G$d$j$H$j$5$l$k%a%C%;!<%8$r<B:]$K:n@.$9$k>l9g!"(B |
CMO $BAX$GDj5A$5$l$F$$$kB?G\D9@0?t$rM}2r$7$F$*$/$H!"(B |
CMO $B7A<0$GDj5A$5$l$F$$$kB?G\D9@0?t$rM}2r$7$F$*$/$H!"(B |
CMO $BAX$NB>$N%G!<%?9=B$$@$1$G$J$/!"(B OX $BAX!"(B SM $BAX$N%G!<%?$r(B |
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 $BAX$NB?G\D9@0?t$N(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%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 $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 |
$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%a%C%;!<%8$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 |
$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 |
%$B:r:#$N%3%s%T%e!<%?;v>p$+$i!"(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 |
%32 bit $B@0?t$b(B 8 bit $BC10L$G07$&$[$&$,ET9g$,$h$$!#(B |
{\tt 14 00 00 00} $B$HI=$9J}K!$,$"$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 |
|
$( \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!#(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 130 $( \mbox{\tt 14 00 00 00})_{2^8}$ $B$HI=$9J}K!$,$"$k! |
|
Line 162 $( \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 189 $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} |
|
|
%$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%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$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 |
$B<}F@$9$kJ}K!$rMQ0U$7$F$$$k!#(B |
CMO $BAX$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$rI=$9%G!<%?$G$"$j!"(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$r%9%?%C%/$K@Q$`!#(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$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$r%5!<%P$H%/%i%$%"%s%H4V$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<j$NM}2rIT2DG=$J%a%C%;!<%8$rAw$C$F$7$^$&$3$H$r(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 |
$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%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$$r;H$C$F$*$j!"(B |
32 bit $B@0?t!"J8;zNs!"%j%9%H9=B$$,;H$o$l$F$*$j!"(B |
MathCap $B$rM}2r$G$-$k$?$a$K$OI,A3E*$K$3$l$i$bM}2r$G$-$k(B |
MathCap $B%G!<%?$K4^$^$l$F$$$kFbMF$rM}2r$G$-$k$?$a$K$O(B |
$BI,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$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 |
$B0J2<$K<($9!#$J$*!"(B $a_1$, $a_2$, $\cdots$, $a_n$ $B$rMWAG$K(B |
Line 190 OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $B$, |
|
Line 224 OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $B$, |
|
] |
] |
\end{verbatim} |
\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(B MathCap $B%G!<%?$N%j%9%H9=B$$OBg$-$/J,$1$F(B 3 $B$D$NItJ,$KJ,$+$l$k!#(B |
$B$3$N:G=i$NMWAG$,$^$?%j%9%H9=B$$H$J$C$F$*$j!"(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: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<!$N(B {\tt [276,275,$\cdots$,271]} $B$NItJ,$O(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 |
$B%5!<%P$KBP$9$kF0:n$KBP1~$7$?M}2r2DG=$J%G!<%?$N<oN`$rI=$7$F$$$k!#(B |
$BI=$5$l$F$*$j!"$3$N(B 2 $BHV$a$NMWAG$OM}2r2DG=$J(B SM $BAX$N%G!<%?$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 |
$BBP$9$k(B 32 bit $B@0?t$N%j%9%H$H$J$C$F$$$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 |
|
|
$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 |
%$B$3$N%j%9%H$NMWAG$O$^$?%j%9%H$H$J$C$F$*$j!"(B |
$BM}2r2DG=$J%G!<%?$N7A<0$rI=$7$F$$$k!#(B |
$B$3$N:G8e$NItJ,$b$^$?%j%9%H$H$J$C$F$*$j!"(B |
$B$3$NItJ,$O$5$i$K(B {\tt [514,[1,2,3,$\cdots$,60]]} $B$H(B |
$B$"$k%G!<%?7A<0$GM}2r2DG=$J$b$N$rI=8=$7$?%j%9%H$rMWAG$H$7$F$$$k!#(B |
{\tt [2144202544,[0,1]]} $B$KJ,$1$k$3$H$,$G$-!"(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$3$N%j%9%H$NMWAG$O$^$?%j%9%H$H$J$C$F$*$j!"(B |
$B$G$NM}2r2DG=$J%G!<%?$rI=$7$F$$$k$3$H$r<($7$F$*$j!"(B |
%$B$3$N:G8e$NItJ,$b$^$?%j%9%H$H$J$C$F$*$j!"(B |
$B$=$N8e$N%j%9%H$G$O(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$N$&$A!"(B |
%$B$"$k%G!<%?7A<0$GM}2r2DG=$J$b$N$rI=8=$7$?%j%9%H$rMWAG$H$7$F$$$k!#(B |
$BM}2r2DG=$J%G!<%?$N(B tag $B$,JB$s$G$$$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 |
$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$G$NM}2r2DG=$J%G!<%?$rI=$7$F$$$k$3$H$r<($7$F$*$j!"(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 |
%$B$=$N8e$N%j%9%H$G$O(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$N$&$A!"(B |
$BB?G\D9@0?t$,M}2r$G$-$k$3$H$,$o$+$k!#(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=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 |
$B%G!<%?$,<u$1<h$l$k$3$H$H$O$^$C$?$/JLJ*$G$"$k$N$G(B |