Return to genkou19991125.tex CVS log

Up to [local] / OpenXM / doc

Annotation of OpenXM/doc/genkou19991125.tex, Revision 1.28

1.1       tam         1: \documentclass{jarticle}
                      2:
                      3: \title{\bf Open XM($B%?%$%H%kL$Dj(B)}
                      4: \author{
1.24      tam         5: %Maekawa, Masahide  (Oct., 1999 -- : CVS server) \\
                      6: $BA0@n(B $B$^$5$R$G(B,
                      7: %$B",4A;zD4$YCf!#(B commit $B8+$?$i65$($F$M!#$I$&$;L@F|J9$1$k$1$I!#(B
                      8: %Noro, Masayuki     (Jan., 1996 -- : OpenXM Protocol, asir99) \\
                      9: $BLnO$(B $B@59T(B,
                     10: %Ohara, Katsuyoshi  (Jan., 1998 -- : ox\_math) \\
                     11: $B>.86(B $B8yG$(B, \\
                     12: %Okutani, Yukio     (Oct., 1999 -- : asir contrib) \\
                     13: $B1|C+(B $B9,IW(B,
                     14: %Takayama, Nobuki   (Jan., 1996 -- : OpenXM Protocol, kan) \\
                     15: $B9b;3(B $B?.5#(B,
                     16: %Tamura, Yasushi    (Nov., 1998 -- : OpenMath proxy) \\
                     17: $BEDB<(B $B63;N(B
1.1       tam        18: }
1.23      tam        19: \date{1999$BG/(B11$B7n(B25$BF|(B}
1.1       tam        20:
1.2       tam        21: %\pagestyle{empty}
1.1       tam        22:
                     23: \begin{document}
                     24: \maketitle
                     25:
                     26: \section{OpenXM $B$N7W;;%b%G%k(B}
                     27:
                     28: OpenXM $B$O?t3X%=%U%H4V$G%a%C%;!<%8$r8r49$9$k$?$a$N5,Ls$G$"$k!#(B
1.26      tam        29: $B?t3XE*$J%G!<%?$r4^$s$@%a%C%;!<%8$J$I$rMQ$$$F(B
1.1       tam        30: $B?t3X%=%U%H4V$G%a%C%;!<%8$r$d$j$H$j$5$;$k$3$H$K$h$j!"(B
                     31: $B$"$k?t3X%=%U%H$+$iB>$N?t3X%=%U%H$r8F$S=P$7$F7W;;$r9T$J$C$?$j!"(B
1.20      tam        32: $BB>$N%^%7%s$G7W;;$r9T$J$o$;$?$j$9$k$3$H$,L\E*$G$"$k!#(B
1.2       tam        33: $BH/C<$OLnO$@59T$H9b;3?.5#$K$h$j!"(B asir $B$H(B kan/sm1 $B$r(B
1.1       tam        34: $BAj8_$K8F$S=P$95!G=$r<BAu$7$?$3$H$G$"$k!#(B
                     35: $B8=:_$NL\I8$O!"%U%j!<$N?t3X%=%U%H$rAj8_$K@\B3$7$F(B
                     36: $B9%$-$J8@8l$+$i4JC1$KB>$N?t3X%=%U%H$r;H$($k$h$&$K$9$k$3$H$G$"$k!#(B
1.26      tam        37: $B$J$*!"(B OpenXM $B$H$O(B Open message eXchange protocol for Mathematics $B$N(B
                     38: $BN,$G$"$k!#(B
1.1       tam        39:
                     40: $BH/C<$H$J$C$?(B asir $B$H(B kan/sm1 $B$G$N<BAu;~$K$O!"(B
                     41: $B$*8_$$$KAj<jB&$N%3%^%s%IJ8;zNs$rAw$C$F$$$?!#(B
1.24      tam        42: $B$3$NJ}K!$O8=:_$N(B OpenXM $B5,Ls$G$b7A$rJQ$($F2DG=$G$O$"$k$,!"(B
                     43: $B;H$$$d$9$$H?LL!"8zN(E*$G$"$k$H$O$$$$Fq$$!#(B
1.1       tam        44: $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
                     45: $BH=JL$7$F!"Aj<jB&$K9g$o$;$F%3%^%s%IJ8;zNs$r:n@.$9$kI,MW$,$"$k!#(B
                     46:
1.23      tam        47: $B$3$l0J30$NJ}K!$H$7$F!"(B
1.24      tam        48: OpenXM $B5,Ls$G$O6&DLI=8=7A<0$K$h$k%a%C%;!<%8$bMQ0U$7$F$$$k!#(B
1.1       tam        49: OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B(Common Mathematical Object format)
                     50: $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
                     51: $B07$($k$h$&$K$7$F$"$k!#(B
1.24      tam        52: $B$J$*!"8=:_$N(B OpenXM $B5,Ls$G$O!"(B
                     53: $BA0=R$N%3%^%s%IJ8;zNs$b(B CMO $B7A<0$J$I$N2?$i$+$N%G!<%?7A<0$NCf$N(B
1.25      tam        54: $BJ8;zNs$H$7$FI=8=$7$FAw$kI,MW$,$"$k!#(B
1.1       tam        55:
1.14      tam        56: OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s%H$N4V$G9T$J$o$l$k!#(B
1.20      tam        57: $B%5!<%P$O%9%?%C%/%^%7%s$G$"$k$H2>Dj$5$l$F$*$j!"(B
1.14      tam        58: $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
                     59: OpenXM $B$N%a%C%;!<%8$NCf$K$O%5!<%P$K9T$J$o$;$?$$F0:n$KBP1~$9$k%G!<%?$,$"$j!"(B
                     60: $B$3$N%a%C%;!<%8$r<u$1<h$C$?%5!<%P$O$=$l$KBP1~$9$kF0:n$r(B
                     61: $B9T$J$&$3$H$,4|BT$5$l$F$$$k!#(B
1.15      tam        62: $B$?$@$7!"%5!<%P$OL?Na$5$l$J$$8B$j2?$bF0:n$r9T$J$*$&$H$O$7$J$$!#(B
1.14      tam        63:
1.1       tam        64:
                     65: \section{OpenXM $B$N%a%C%;!<%8$N9=B$(B}
                     66:
1.24      tam        67: OpenXM $B$N%a%C%;!<%8$OJ#?t$N<oN`$N%G!<%?$rI=8=$9$k$3$H$,2DG=$G$"$k!#(B
1.13      tam        68: $B%a%C%;!<%8$,$I$N$h$&$J%G!<%?$J$N$+$O!"(B
                     69: $B@hF,$K$"$k(B tag $B$r$_$l$PJ,$+$k$h$&$K$J$C$F$$$k!#(B
1.20      tam        70: $B$3$N(B tag $B$r$_$k$3$H$K$h$C$F!"(B
                     71: CMO $B7A<0$d!"(B OpenMath $B$N(B XML $BI=8=$J$I$N!"(B
                     72: $B%a%C%;!<%8$K4^$^$l$F$$$k%G!<%?$N<oN`$,J,$+$k$h$&$K$J$C$F$$$k!#(B
1.25      tam        73:
                     74: $B%a%C%;!<%8$NCf$N<B:]$K%G!<%?$NF~$C$F$$$kItJ,$O(B
                     75:  tag $B0J9_$K$"$k(B body $B$NItJ,$G$"$k!#(B
                     76: body $B$NCf$N%G!<%?$,$I$N$h$&$K3JG<$5$l$F$$$k$+$O(B
                     77: $B3F%G!<%?7A<0$,$=$l$>$lFHN)$K7h$a$i$l$k$h$&$K$J$C$F$$$k!#(B
                     78: $B$b$7!"(B OpenXM $B5,Ls$G%a%C%;!<%8$N$d$j$H$j$r9T$J$$$?$$$,!"(B
                     79: $B$^$@5,Ls$GDj5A$5$l$F$$$J$$%G!<%?7A<0$r;H$$$?$$>l9g$O!"(B
                     80: tag $B$r$^$@;H$o$l$F$J$5$=$&$JCM(B
                     81: ($B%7%9%F%`8GM-$NI=8=$N$?$a$K?d>)$5$l$F$$$kCM$,$"$k(B)
                     82: $B$K@_Dj$7!"(B body $B$NItJ,$K%G!<%?$rKd$a9~$a$P$h$$!#(B
                     83: $B$J$*!"$9$Y$F$N%a%C%;!<%8$K(B body $B$,I,MW$H$$$&$o$1$G$O$J$/!"(B
                     84: body $B$N$J$$%a%C%;!<%8$b(B OpenXM $B5,Ls$K$OB8:_$9$k$3$H$K(B
                     85: $BCm0U$7$J$1$l$P$J$i$J$$!#(B
                     86:
1.15      tam        87: $B%5!<%P$KBP$9$kF0:n$KBP1~$7$?%G!<%?$O(B SM $B7A<0$H$7$FDj5A$5$l$F$$$k!#(B
                     88: SM $B7A<00J30$N%G!<%?$G$O!"%5!<%P$O<u$1<h$C$?%G!<%?$r%9%?%C%/$K@Q$`(B
                     89: $B0J30$NF0:n$r$7$J$$$3$H$K$J$C$F$$$k!#(B
                     90: $B$D$^$j!"(B SM $B7A<0$N%G!<%?$,%G!<%?$r<u$1<h$k0J30$NF0:n$r(B
                     91: $B%5!<%P$K9T$J$o$;$kM#0l$N%G!<%?7A<0$G$"$k!#(B
1.25      tam        92: $B$3$N%G!<%?$r<u$1<h$k0J30$NF0:n$NCf$K$O!"(B
1.22      tam        93: $B%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$bF~$C$F$$$k!#(B
1.24      tam        94: $B$3$N%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$NCf$K$O(B
                     95: $B?t3XE*$J1i;;$r9T$J$&F0:n$b4^$^$l$F$$$k!#(B
1.25      tam        96: $B0J8e!"%G!<%?$K$J$s$i$+$N2C9)$r;\$9F0:n$N$3$H$r7W;;$H8F$V$3$H$K$9$k!#(B
1.13      tam        97:
                     98:
1.1       tam        99: \section{OpenXM $B$N7W;;$N?J9TJ}K!(B}
1.2       tam       100:
1.15      tam       101: $B%/%i%$%"%s%H$,%5!<%P$X$J$s$i$+$N7W;;$r9T$J$o$;$k>l9g!"(B
                    102: $B%/%i%$%"%s%H$+$i%5!<%P$X7W;;$5$;$?$$%G!<%?$r%a%C%;!<%8$H$7$FAw$j!"(B
                    103: $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
1.12      tam       104: $B$?$@$7!"%5!<%P$O7k2L$NAw?.$9$i$bL?Na$5$l$J$1$l$P9T$J$&$3$H$O$J$/!"(B
                    105: $B%/%i%$%"%s%H$O7k2L$r<u$1<h$i$:$K%5!<%P$K<!!9$H(B
                    106: $B7W;;$r9T$J$o$;$k$3$H$b2DG=$G$"$k!#(B
1.16      tam       107:
                    108: $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
                    109: $B$?$@$7!"$3$N$^$^$G$O<u$1<h$C$?%a%C%;!<%8$K4^$^$l$k%G!<%?$r(B
                    110: $B%9%?%C%/$K@Q$_>e$2$F$$$/$@$1$G!"%5!<%P$O7W;;$r9T$J$*$&$H$O$7$J$$!#(B
                    111: $B<!$$$G%5!<%P$K9T$J$o$;$?$$F0:n$KBP1~$7$?%G!<%?$rAw$k$H!"(B
                    112: $B=i$a$F%5!<%P$O7W;;$J$I$N!"$J$s$i$+$NF0:n$r9T$J$&!#(B
                    113: $B$3$N$H$-!"I,MW$,$"$l$P%5!<%P$O%9%?%C%/$+$iI,MW$J$@$1%G!<%?$r<h$j=P$9!#(B
                    114: $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
1.3       tam       115: $B%5!<%P$O%(%i!<%*%V%8%'%/%H$r%9%?%C%/$K@Q$`$@$1$G!"(B
                    116: $BL@<($5$l$J$$8B$j%(%i!<$rJV$5$J$$$3$H$KCm0U$7$J$1$l$P$J$i$J$$!#(B
1.2       tam       117:
1.3       tam       118: $B7k2L$,@8$8$kF0:n$r%5!<%P$,9T$J$C$?>l9g!"(B
                    119: $B%5!<%P$OF0:n$N7k2L$r%9%?%C%/$K@Q$s$G$$$k!#(B
                    120: $B%5!<%P$K9T$J$o$;$?F0:n$N7k2L$r%/%i%$%"%s%H$,CN$j$?$$>l9g!"(B
1.16      tam       121: $B%9%?%C%/$+$i%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?(B SM $B7A<0$N%G!<%?$r(B
1.3       tam       122: $B%5!<%PB&$XAw$l$P$h$$!#(B
                    123:
                    124: $B%/%i%$%"%s%H$,%5!<%P$X7W;;$r9T$J$o$;!"7k2L$rF@$k$H$$$&<j=g$rDI$C$F$$$/$H!"(B
                    125: $B<!$N$h$&$K$J$k!#(B
                    126:
                    127: \begin{enumerate}
                    128: \item  $B$^$:!"%/%i%$%"%s%H$,%5!<%P$X7W;;$5$;$?$$%G!<%?$rAw$k!#(B
                    129:        $B%5!<%P$OAw$i$l$F$-$?%G!<%?$r%9%?%C%/$K@Q$`!#(B
1.12      tam       130: \item  $B%/%i%$%"%s%H$,%5!<%P$K!V7W;;$r9T$J$&F0:n$KBP1~$7$?%G!<%?!W$r(B
1.3       tam       131:        $BAw$k$H!"%5!<%P$OI,MW$J$@$1%9%?%C%/$+$i%G!<%?$r<h$j=P$7!"(B
                    132:        $B<B9T$7$?7W;;$N7k2L$r%9%?%C%/$K@Q$`!#(B
1.4       tam       133: \item  $B:G8e$K!V%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?%G!<%?!W$r(B
1.3       tam       134:        $B%5!<%P$XAw$k$H!"%5!<%P$O%9%?%C%/$+$i7W;;7k2L$NF~$C$F$$$k(B
                    135:        $B%G!<%?$r<h$j=P$7!"%/%i%$%"%s%H$XAw=P$9$k!#(B
1.4       tam       136: \end{enumerate}
1.2       tam       137:
1.1       tam       138:
                    139: \section{CMO $B$N%G!<%?9=B$(B}
1.4       tam       140:
                    141: OpenXM $B4V$G$d$j$H$j$5$l$k%a%C%;!<%8$r<B:]$K:n@.$9$k>l9g!"(B
1.16      tam       142: CMO $B7A<0$GDj5A$5$l$F$$$kB?G\D9@0?t$rM}2r$7$F$*$/$H!"(B
                    143: CMO $B7A<0$NB>$N%G!<%?9=B$$@$1$G$J$/!"(B OX $B7A<0!"(B SM $B7A<0$N%G!<%?$r(B
1.17      tam       144: $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
1.4       tam       145: $B%G!<%?9=B$$K$D$$$F@bL@$9$k!#(B
                    146:
1.17      tam       147: CMO $B7A<0$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b(B
1.12      tam       148: $BJ8;zNs$d%j%9%H9=B$$J$I$,$"$k!#$I$N$h$&$J%G!<%?$G$"$k$+$O(B
1.4       tam       149: $B%G!<%?$N@hF,$K$"$k(B tag $B$r8+$l$PH=JL$G$-$k$h$&$K$J$C$F$$$k!#(B
1.17      tam       150: $B$3$l$O%a%C%;!<%8$N%G!<%?$NH=JL$N;EJ}$H$*$J$8$G$"$k!#(B
1.4       tam       151: $B$J$*!"(B tag $B$O3F%G!<%?Kh$K(B 32 bit $B$N@0?t$GI=$5$l$F$*$j!"(B
                    152: $BB?G\D9@0?t$O(B 20 $B$H$J$C$F$$$k!#(B
1.5       tam       153: $B$3$3$G(B 32 bit $B$N@0?t$NI=8=J}K!$K$D$$$F@bL@$9$kI,MW$,$"$k!#(B
1.28    ! tam       154: OpenXM $B$G$O%P%$%HNs$G(B 32 bit $B$N@0?t(B 20 $B$r(B
        !           155: {\tt 00 00 00 14} $B$HI=$9J}K!$H(B {\tt 14 00 00 00} $B$HI=$9J}K!$,$"$k!#(B
1.5       tam       156: $B$3$NI=8=J}K!$N0c$$$O%/%i%$%"%s%H$H%5!<%P$N:G=i$N@\B3;~$K(B
1.12      tam       157: $BAPJ}$N9g0U$G7hDj$9$k$3$H$K$J$C$F$$$k!#(B
                    158: $B$J$*!"9g0U$,$J$$>l9g$K$O(B
1.6       tam       159: $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
1.5       tam       160: $B;H$&$3$H$K$J$C$F$$$k!#(B
                    161: $B$^$?!"Ii$N?t$rI=8=$9$kI,MW$,$"$k$H$-$K$O!"(B
1.6       tam       162: 2 $B$NJd?tI=8=$r;H$&$3$H$K$J$C$F$$$k!#(B
1.4       tam       163:
                    164: $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
                    165: $B$7$?$H$-!"<!$K$/$k%G!<%?$O(B $[(n+31)/32]$ $B$r(B 32 bit $B$N@0?t$H$J$k!#(B
1.6       tam       166: $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
1.23      tam       167: $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
                    168:  2 $B$NJd?tI=8=$GIi$K$7$F!"@5$N>l9g$H6hJL$9$k!#(B
1.5       tam       169:
1.12      tam       170: $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}}$
                    171: $B$HI=$;$k$H$-!"<!$K$/$k%G!<%?$O(B $b_0$, $b_1$, $\cdots$, $b_k$ $B$r(B
                    172: $B$=$l$>$l(B 32 bit $B$N@0?t$GI=8=$7$?CM$H$J$k!#(B
1.26      tam       173: %$B0J2<$O=q$-D>$7$NI,MW$,$"$k$+$b(B...
1.23      tam       174: $B$J$*!"(B GNU MP LIBRARY $B$rMQ$$$k$H!"(B
                    175: C $B8@8l$+$iB?G\D9@0?t$dG$0U@:EYIbF0>.?t$r07$&$3$H$,$G$-$k!#(B
                    176: $b_0$, $b_1$, $\cdots$, $b_k$ $B$r$=$l$>$l(B 32 bit $B@0?t$GI=8=$7$?CM$O(B
                    177: $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
                    178: $B;29M$K$7$F9g$o$;$F$"$k!#(B
1.5       tam       179:
1.6       tam       180: $B$3$3$G6qBNNc$r$@$=$&!#(B
                    181: $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network byte order $B$NB?G\D9@0?t$G(B
                    182: $BI=8=$9$k$H!"(B
                    183: \begin{center}
                    184:        {\tt 00 00 00 14 00 00 00 02 00 00 00 02 00 00 00 01}
                    185: \end{center}
                    186: $B$H$J$k!#$^$?!"F1$8I=8=J}K!$G(B $-1$ $B$rI=8=$9$k$H!"(B
                    187: \begin{center}
                    188:        {\tt 00 00 00 14 ff ff ff ff 00 00 00 01}
                    189: \end{center}
                    190: $B$H$J$k!#(B
1.4       tam       191:
1.1       tam       192:
                    193: \section{MathCap $B$K$D$$$F(B}
1.6       tam       194:
                    195: $B%5!<%P$*$h$S%/%i%$%"%s%HAPJ}$H$b$K(B OpenXM $B$G5,Dj$5$l$F$$$k(B
1.28    ! tam       196: $B%a%C%;!<%8$NCf$N%G!<%?7A<0$r$9$Y$F<u$1<h$l$k$o$1$G$O$J$$!#(B
1.26      tam       197: $B$7$+$b!"(B OpenXM $B5,Ls$G5,Dj$5$l$F$$$k%G!<%?7A<0$@$1$,(B
                    198: $B<uEO$7$K;H$o$l$k$H$$$&$o$1$G$O$J$$!#(B
1.28    ! tam       199: $B$=$3$G!"(B OpenXM $B$G$OAj<jB&$,<u$1<h$k$3$H$,$G$-$k%G!<%?7A<0$r(B
1.6       tam       200: $B<}F@$9$kJ}K!$rMQ0U$7$F$$$k!#(B
1.27      tam       201:
1.18      tam       202: CMO $B7A<0$GDj5A$5$l$F$$$k(B MathCap $B%G!<%?$O(B
1.26      tam       203: %$BM}2r2DG=$J%a%C%;!<%8$N(B
1.27      tam       204: $B<u$1<h$k$3$H$,$G$-$k%G!<%?7A<0$rI=$9%G!<%?$G$"$j!"(B
1.26      tam       205: $BMW5a$5$l$l$P%5!<%P$O%5!<%P<+?H$N(B MathCap $B%G!<%?$r%9%?%C%/$K@Q$`!#(B
1.18      tam       206: $B$^$?!"%/%i%$%"%s%H$+$i(B MathCap $B%G!<%?$r%5!<%P$XAw$k$3$H$b$G$-!"(B
                    207: MathCap $B%G!<%?$r%5!<%P$H%/%i%$%"%s%H$N4V$G8r49$9$k$3$H$K$h$C$F!"(B
1.26      tam       208: $B$*8_$$$KAj<jB&$,<u$1<h$k$3$H$,$G$-$J$$%G!<%?7A<0$G(B
1.28    ! tam       209: $B%a%C%;!<%8$rAw$C$F$7$^$&$N$rKI$0$3$H$,$G$-$k!#(B
1.18      tam       210: $B$J$*!"(B MathCap $B%G!<%?$NCf$G$O(B CMO $B7A<0$GDj5A$5$l$F$$$k(B
                    211: 32 bit $B@0?t!"J8;zNs!"%j%9%H9=B$$,;H$o$l$F$*$j!"(B
                    212: MathCap $B%G!<%?$K4^$^$l$F$$$kFbMF$rM}2r$G$-$k$?$a$K$O(B
                    213: $BI,A3E*$K$3$l$i$bM}2r$G$-$kI,MW$,$"$k!#(B
1.7       tam       214:
1.26      tam       215: OpenXM $BBP1~HG$N(B asir $B%5!<%P$G$"$k(B ox\_asir $B$,JV$9(B MathCap $B$r0J2<$K<($9!#(B
                    216:
                    217: %$B$J$*!"(B $a_1$, $a_2$, $\cdots$, $a_n$ $B$rMWAG$K(B
                    218: %$B;}$D%j%9%H9=B$$r(B {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} $B!"(B
                    219: %$BJ8;zNs(B ``string'' $B$r(B {\tt "string"} $B!"(B 32 bit $B@0?t$r(B
                    220: %$B$=$l$KBP1~$9$k(B 10 $B?J?t$N@0?t$G<($9!#(B
1.7       tam       221:
1.8       tam       222: %$B"-<j$G:n$C$?$N$G4V0c$($F$$$k2DG=@-$"$j!#(B
                    223: %%$B8E$$%P!<%8%g%s!#:9$7BX$($NI,MW$"$j!#(B
1.7       tam       224: \begin{verbatim}
                    225: [ [199901160,"ox_asir"],
                    226:   [276,275,258,262,263,266,267,268,274
                    227:     ,269,272,265,264,273,300,270,271],
1.8       tam       228:   [ [514,[1,2,3,4,5,2130706433,2130706434
                    229:           ,17,19,20,21,22,24,25,26,31,27,33,60]],
                    230:     [2144202544,[0,1]]
1.7       tam       231:   ]
                    232: ]
                    233: \end{verbatim}
                    234:
1.18      tam       235: $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
                    236: $B:G=i$N(B {\tt [199901160,"ox\_asir"]} $B$NItJ,$K$O%5!<%P$N>pJs$,F~$C$F$$$k!#(B
                    237: %$B$3$N:G=i$NMWAG$,$^$?%j%9%H9=B$$H$J$C$F$*$j!"(B
1.8       tam       238: $B:G=i$NMWAG$O%P!<%8%g%s%J%s%P!<$r!"<!$NMWAG$O%5!<%P$NL>A0$rI=$7$F$$$k!#(B
                    239:
1.19      tam       240: $B<!$N(B {\tt [276,275,$\cdots$,271]} $B$NItJ,$O(B
1.20      tam       241: $B%5!<%P$KBP$9$kF0:n$KBP1~$7$?M}2r2DG=$J%G!<%?$N<oN`$rI=$7$F$$$k!#(B
                    242: $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
                    243: $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
                    244:
                    245: $B:G8e$N(B {\tt [ [514,[1,2,3,$\cdots$,60]],[2144202544,[0,1]] ]} $B$NItJ,$O(B
                    246: $BM}2r2DG=$J%G!<%?$N7A<0$rI=$7$F$$$k!#(B
                    247: $B$3$NItJ,$O$5$i$K(B {\tt [514,[1,2,3,$\cdots$,60]]} $B$H(B
1.28    ! tam       248: {\tt [2144202544,[0,1]]} $B$K$NItJ,$KJ,$1$k$3$H$,$G$-!"(B
1.27      tam       249: $B$=$l$>$l$,0l$D$N%G!<%?7A<0$K$D$$$F$N>pJs$H$J$C$F$$$k!#(B
                    250: $B$I$N%G!<%?7A<0$K$D$$$F$N>pJs$+$O:G=i$NMWAG$K$"$k@0?tCM$r$_$l$P(B
                    251: $BJ,$+$k$h$&$K$J$C$F$$$k!#(B
                    252: $B$3$N@0?tCM$O(B CMO $B7A<0$G$O(B 514 $B$H$J$C$F$$$k!#(B
                    253: $B:G=i$N%G!<%?7A<0$r6hJL$9$k@0?tCM0J8e$NMWAG$O(B
                    254: $B3F%G!<%?7A<0$K$h$C$F$I$N$h$&$K;H$o$l$k$+Dj$^$C$F$$$k!#(B
                    255: CMO $B7A<0$G$OM}2r2DG=$J%G!<%?$N(B tag $B$,%j%9%H$NCf$K<}$^$C$F$$$k!#(B
                    256: $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
                    257: $B$3$N%j%9%H$K(B 20 $B$,4^$^$l$F$$$k$N$G!"(B
                    258: ox\_asir $B$O(B CMO $B7A<0$NB?G\D9@0?t$r<u$1<h$l$k$3$H$,$o$+$k!#(B
                    259:
1.19      tam       260: %%$B$3$N%j%9%H$NMWAG$O$^$?%j%9%H$H$J$C$F$*$j!"(B
                    261: %$B$3$N:G8e$NItJ,$b$^$?%j%9%H$H$J$C$F$*$j!"(B
                    262: %$B$"$k%G!<%?7A<0$GM}2r2DG=$J$b$N$rI=8=$7$?%j%9%H$rMWAG$H$7$F$$$k!#(B
                    263: %{\tt [514,[1, 2, $\cdots$]]} $B$N:G=i$N(B 514 $B$O$3$N%j%9%H$,(B CMO $B7A<0(B
                    264: %$B$G$NM}2r2DG=$J%G!<%?$rI=$7$F$$$k$3$H$r<($7$F$*$j!"(B
                    265: %$B$=$N8e$N%j%9%H$G$O(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$N$&$A!"(B
                    266: %$BM}2r2DG=$J%G!<%?$N(B tag $B$,JB$s$G$$$k!#(B
1.6       tam       267:
1.27      tam       268: $B$J$*!"%G!<%?$,<u$1<h$l$k$3$H$H!"(B
                    269: $B%G!<%?$NO@M}9=B$$,M}2r$G$-$k$3$H$H$O$^$C$?$/JLJ*$G$"$k$N$G(B
1.9       tam       270: $BCm0U$9$kI,MW$,$"$k!#(B
1.6       tam       271:
1.1       tam       272:
1.28    ! tam       273: \section{$B%;%-%e%j%F%#BP:v(B}
1.9       tam       274:
1.28    ! tam       275: OpenXM $B$G$O4v$i$+$N%;%-%e%j%F%#BP:v$r9M$($F$$$k!#(B
        !           276: OpenXM $B$KBP1~$7$?%=%U%H%&%'%"$r%/%i%C%/$7$F$b(B
        !           277: $BBg$7$?MxE@$O$J$$$H;W$($k$,!"$=$l$O@_7W>e$NOC$G$"$C$F!"(B
        !           278: $BM=4|$;$L<jCJ$G967b$r<u$1$?>l9g$K$I$N$h$&$J;vBV$r(B
        !           279: $B>7$/$+$OA[A|$7Fq$$!#(B
        !           280:
        !           281:
        !           282: %$B$^$:!"@\B3$,I,MW$K$J$C$?;~$K!"%/%i%$%"%s%H$,%5!<%PB&$+$i$N(B
        !           283: %$B@\B3$rBT$D$h$&$K$J$C$F$$$k!#$3$l$O>o$K@\B3$rBT$D$3$H$K$h$C$F!"(B
        !           284: %$B?/F~<T$K@\B3$N5!2q$rM?$($F$7$^$&$3$H$r8:$i$9$?$a$G$"$k!#(B
        !           285:
        !           286: %$B<!$K!"%/%i%$%"%s%H$,@\B3Kh$K@\B3$rBT$D(B port $BHV9f$r%i%s%@%`$K7hDj$9$k(B
        !           287: %$B$3$H$K$J$C$F$$$k!#$3$l$K$h$j!"?/F~<T$,$I$3$K@\B3$r9T$J$($P$h$$$N$+(B
        !           288: %$B$o$+$j$K$/$/$7$F$$$k!#(B
        !           289:
        !           290: %$B:G8e$K!"@\B3;~$K%/%i%$%"%s%H$,(B 1 $B2s$N$_M-8z$J%Q%9%o!<%I$rH/9T$7!"(B
        !           291: %$BG'>Z$r9T$J$&$h$&$K$J$C$F$$$k!#$3$N%Q%9%o!<%I$O0lC6;HMQ$5$l$k$H(B
        !           292: %$BL58z$K$J$k$N$G!"$b$72>$K$J$s$i$+$N<jCJ$G%Q%9%o!<%I$,1L$l$?$H$7$F$b(B
        !           293: %$B0BA4$G$"$k!#$J$*!"$3$N%Q%9%o!<%I$O0BA4$J<jCJ$GAw$i$l$F$$$J$$$H(B
        !           294: %$B$$$1$J$$!#$^$?!"8=:_$N<BAu$G$O%5!<%P!"$*$h$S%/%i%$%"%s%H$NF0:n$7$F$$$k(B
        !           295: %$B%3%s%T%e!<%?>e$G$O$3$N%Q%9%o!<%I$,$o$+$C$F$7$^$&$?$a!"(B
        !           296: %$BF10l$N%3%s%T%e!<%?>e$K0-0U$N$"$k%f!<%6$O$$$J$$$H2>Dj$7$F$$$k(B
        !           297: %$B$3$H$KCm0U$7$J$1$l$P$J$i$J$$!#(B
        !           298:
        !           299: %$B$J$*!"@\B3$,3NN)$7$?8e$N%a%C%;!<%8$NAw<u?.$K4X$7$F$O!"(B
        !           300: %$BFC$K0E9f2=$J$I$N=hCV$,9T$J$o$l$F$$$k$o$1$G$O$J$$!#(B
        !           301: %$B$b$7I,MW$,$"$l$P!"DL?.O)$N0E9f2=$r9T$J$&5!G=$,$"$k(B
        !           302: %$B%=%U%H%&%'%"$r;H$&$3$H$r9M$($F$$$k!#(B
1.9       tam       303:
1.1       tam       304:
                    305: \section{$BB>$N%W%m%8%'%/%H(B}
                    306:
1.11      tam       307: $BB>$N%W%m%8%'%/%H$K$D$$$F4v$D$+>R2p$9$k!#(B
                    308:
                    309: OpenMath $B%W%m%8%'%/%H$O?t3XE*$J%*%V%8%'%/%H$r(B
                    310: $B%3%s%T%e!<%?>e$GI=8=$9$kJ}K!$r7hDj$7$F$$$k!#(B
1.12      tam       311: $B3F%=%U%H%&%'%"4V$G%*%V%8%'%/%H$r8r49$9$k:]$N(B
                    312: $B%*%V%8%'%/%H$NJQ49<j=g$K$D$$$F$b=R$Y$i$l$F$$$k!#(B
                    313: $BI=8=J}K!$O0l$D$@$1$G$J$/!"(B XML $BI=8=$d(B binary $BI=8=$J$I$,(B
                    314: $BMQ0U$5$l$F$$$k!#(B
1.11      tam       315:
1.12      tam       316: %$B0J2<!"D4$Y$kI,MW$"$j!#(B
1.11      tam       317: %NetSolve
                    318:
                    319: %MP
                    320:
                    321: %MCP
                    322:
1.1       tam       323: \section{$B8=:_Ds6!$5$l$F$$$k%=%U%H%&%'%"(B}
1.11      tam       324:
                    325: $B8=:_(B OpenXM $B5,3J$KBP1~$7$F$$$k%/%i%$%"%s%H%=%U%H%&%'%"$K$O(B
                    326: asir, sm1, Mathematica $B$,$"$k!#(B
                    327: $B$3$l$i$N%/%i%$%"%s%H%=%U%H%&%'%"$+$i(B
                    328: OpenXM $B5,3J$KBP1~$7$?%5!<%P$r8F$S=P$9$3$H$,$G$-$k!#(B
                    329: $B8=:_(B OpenXM $B5,Ls$KBP1~$7$F$$$k%5!<%P%=%U%H%&%'%"$K$O!"(B
                    330:  asir, sm1, gnuplot, Mathematica $B$J$I$,$"$j!"(B
                    331: $B$=$l$>$l(B ox\_asir, ox\_sm1, ox\_math $B$H$$$&L>A0$GDs6!$5$l$F$$$k!#(B
                    332: $B$^$?!"(B OpenMath $B5,3J$N(B XML $BI=8=$GI=8=$5$l$?%G!<%?$H(B CMO $B7A<0$N(B
                    333: $B%G!<%?$rJQ49$9$k%=%U%H%&%'%"$,(B JAVA $B$K$h$C$F<BAu$5$l$F$*$j!"(B
                    334: OMproxy $B$H$$$&L>A0$GDs6!$5$l$F$$$k!#(B
1.1       tam       335:
                    336: \end{document}