Annotation of OpenXM/doc/genkou19991125.tex, Revision 1.8
1.1 tam 1: \documentclass{jarticle}
2:
3: \title{\bf Open XM($B%?%$%H%kL$Dj(B)}
4: \author{
5: Maekawa \\
6: Noro \\
7: : \\
8: : \\
9: }
10: \date{ 1999$BG/(B, 11$B7n(B25$BF|(B}
11:
1.2 tam 12: %\pagestyle{empty}
1.1 tam 13:
14: \begin{document}
15: \maketitle
16:
17: \section{OpenXM $B$N7W;;%b%G%k(B}
18:
19: OpenXM $B$O?t3X%=%U%H4V$G%a%C%;!<%8$r8r49$9$k$?$a$N5,Ls$G$"$k!#(B
20: OpenXM $B$H$O(B Open message eXchange protocol for Mathematics $B$NN,$G$"$k!#(B
21: $B?t3X%=%U%H4V$G%a%C%;!<%8$r$d$j$H$j$5$;$k$3$H$K$h$j!"(B
22: $B$"$k?t3X%=%U%H$+$iB>$N?t3X%=%U%H$r8F$S=P$7$F7W;;$r9T$J$C$?$j!"(B
23: $BB>$N%^%7%s$G7W;;$r9T$J$o$;$?$j$G$-$k$h$&$K$9$k!#(B
1.2 tam 24: $BH/C<$OLnO$@59T$H9b;3?.5#$K$h$j!"(B asir $B$H(B kan/sm1 $B$r(B
1.1 tam 25: $BAj8_$K8F$S=P$95!G=$r<BAu$7$?$3$H$G$"$k!#(B
26: $B8=:_$NL\I8$O!"%U%j!<$N?t3X%=%U%H$rAj8_$K@\B3$7$F(B
27: $B9%$-$J8@8l$+$i4JC1$KB>$N?t3X%=%U%H$r;H$($k$h$&$K$9$k$3$H$G$"$k!#(B
28:
29: $BH/C<$H$J$C$?(B asir $B$H(B kan/sm1 $B$G$N<BAu;~$K$O!"(B
30: $B$*8_$$$KAj<jB&$N%3%^%s%IJ8;zNs$rAw$C$F$$$?!#(B
31: $B$3$NJ}K!$O8=:_$N(B OpenXM $B5,Ls$G$b2DG=$G$"$j!"(B
32: $B;H$$$d$9$/$O$"$k$,!"8zN(E*$G$"$k$H$O$$$$Fq$$!#(B
33: $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
34: $BH=JL$7$F!"Aj<jB&$K9g$o$;$F%3%^%s%IJ8;zNs$r:n@.$9$kI,MW$,$"$k!#(B
35:
36: $B$3$l0J30$NJ}K!$H$7$F!"(B OpenXM $B5,Ls$G$O6&DLI=8=7A<0$K$h$k(B
37: $B%a%C%;!<%8$rMQ0U$7$F$$$k!#(B
38: OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(B(Common Mathematical Object format)
39: $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
40: $B07$($k$h$&$K$7$F$"$k!#(B
41:
42:
43: \section{OpenXM $B$N%a%C%;!<%8$N9=B$(B}
44:
45: OpenXM $B$G5,Dj$7$F$$$k%a%C%;!<%8$OO@M}E*$K(B
46: OX $BAX!"(B SM $BAX!"(B CMO $BAX$KJ,$1$k$3$H$,$G$-$k!#(B
47: $B$3$NCf$G!"%a%C%;!<%8$H$7$FAw$k$3$H$,2DG=$J$N$O(B
48: OX $BAX$GDj5A$5$l$?$b$N$@$1$G$"$j!"(B
49: SM $BAX!"(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$O(B
50: OX $BAX$GDj5A$5$l$F$$$k%G!<%?$N0lIt$KKd$a9~$^$l$F(B
51: $BAw$i$l$k!#(B
52: SM $BAX!"(B CMO $BAX$GDj5A$5$l$F$$$k%G!<%?0J30$K$b(B
53: $BA0=R$N(B MP $B$d(B OpenMath $B$N(B XML, binary $BI=8=$b(B
54: OX $BAX$KKd$a9~$^$l$FAw$i$l$k$o$1$G$"$k$,!"(B
55: $B$I$N$h$&$J%G!<%?$,Kd$a9~$^$l$F$$$k$+$O!"(B
1.8 ! tam 56: OX $BAX$N@hF,$K$"$k(B tag $B$r8+$l$PH=JL$G$-$k$h$&$K$J$C$F$$$k!#(B
1.1 tam 57:
58:
59: \section{OpenXM $B$N7W;;$N?J9TJ}K!(B}
1.2 tam 60:
61: OpenXM $B5,Ls$G$N%a%C%;!<%8$N8r49$O%5!<%P$H%/%i%$%"%s%H$N4V$G(B
62: $B9T$J$o$l$k!#%/%i%$%"%s%H$+$i%5!<%P$X7W;;$5$;$?$$%G!<%?$r(B
63: $B%a%C%;!<%8$H$7$FAw$j!"<!$$$G%5!<%P$K9T$J$o$;$?$$F0:n$K(B
64: $BBP1~$7$?%G!<%?$rAw$k$3$H$K$h$C$F!"7W;;$J$I$N!"$J$s$i$+$NF0:n$r(B
65: $B%5!<%P$K9T$J$o$;$k!#%5!<%P$O7k2L$NAw?.$bL?Na$5$l$J$1$l$P(B
66: $B9T$J$&$3$H$O$J$/!"%/%i%$%"%s%H$O7k2L$r<u$1<h$i$:$K%5!<%P$K<!!9$H(B
67: $B7W;;$r9T$J$o$;$k$3$H$b2DG=$G$"$k!#$J$*!"%5!<%P$KBP$9$kF0:n$KBP1~$7$?(B
68: $B%G!<%?$O(B SM $BAX$GDj5A$5$l$F$*$j!"(B SM $BAX0J30$N%G!<%?$G$O%5!<%P$O(B
69: $B%G!<%?$r<u$1<h$k0J30$NF0:n$r$7$J$$$3$H$K$J$C$F$$$k!#(B
70:
71: $B%5!<%P$O%9%?%C%/$r;}$C$F$$$k$H2>Dj$5$l$F$*$j!"<u$1<h$C$?(B
72: $B%a%C%;!<%8$O$9$Y$F%9%?%C%/$K@Q$^$l$k!#$3$3$G!"(B SM $BAX$GDj5A$5$l$?(B
73: $B%G!<%?$r<u$1<h$C$?>l9g$K$O!"$=$l$KBP1~$9$kF0:n$r9T$J$&!#(B
74: $B$3$N$H$-!"I,MW$,$"$l$P%5!<%P$O%9%?%C%/$+$i%G!<%?$r<h$j=P$9!#(B
1.3 tam 75: $B%/%i%$%"%s%H$+$i$NL?Na$K$h$kF0:nCf$K%(%i!<$,H/@8$7$?$H$7$F$b!"(B
76: $B%5!<%P$O%(%i!<%*%V%8%'%/%H$r%9%?%C%/$K@Q$`$@$1$G!"(B
77: $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 78:
1.3 tam 79: $B7k2L$,@8$8$kF0:n$r%5!<%P$,9T$J$C$?>l9g!"(B
80: $B%5!<%P$OF0:n$N7k2L$r%9%?%C%/$K@Q$s$G$$$k!#(B
81: $B%5!<%P$K9T$J$o$;$?F0:n$N7k2L$r%/%i%$%"%s%H$,CN$j$?$$>l9g!"(B
82: $B%9%?%C%/$+$i%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?(B SM $BAX$N%G!<%?$r(B
83: $B%5!<%PB&$XAw$l$P$h$$!#(B
84:
85: $B%/%i%$%"%s%H$,%5!<%P$X7W;;$r9T$J$o$;!"7k2L$rF@$k$H$$$&<j=g$rDI$C$F$$$/$H!"(B
86: $B<!$N$h$&$K$J$k!#(B
87:
88: \begin{enumerate}
89: \item $B$^$:!"%/%i%$%"%s%H$,%5!<%P$X7W;;$5$;$?$$%G!<%?$rAw$k!#(B
90: $B%5!<%P$OAw$i$l$F$-$?%G!<%?$r%9%?%C%/$K@Q$`!#(B
91: \item $B%/%i%$%"%s%H$,%5!<%P$K7W;;$r9T$J$&F0:n$KBP1~$7$?%G!<%?$r(B
92: $BAw$k$H!"%5!<%P$OI,MW$J$@$1%9%?%C%/$+$i%G!<%?$r<h$j=P$7!"(B
93: $B<B9T$7$?7W;;$N7k2L$r%9%?%C%/$K@Q$`!#(B
1.4 tam 94: \item $B:G8e$K!V%G!<%?$r<h$j=P$7Aw?.$r9T$J$&L?Na$KBP1~$7$?%G!<%?!W$r(B
1.3 tam 95: $B%5!<%P$XAw$k$H!"%5!<%P$O%9%?%C%/$+$i7W;;7k2L$NF~$C$F$$$k(B
96: $B%G!<%?$r<h$j=P$7!"%/%i%$%"%s%H$XAw=P$9$k!#(B
1.4 tam 97: \end{enumerate}
1.2 tam 98:
1.1 tam 99:
100: \section{CMO $B$N%G!<%?9=B$(B}
1.4 tam 101:
102: OpenXM $B4V$G$d$j$H$j$5$l$k%a%C%;!<%8$r<B:]$K:n@.$9$k>l9g!"(B
103: CMO $BAX$GDj5A$5$l$F$$$kB?G\D9@0?t$rM}2r$7$F$*$/$H!"(B
104: CMO $BAX$NB>$N%G!<%?9=B$$@$1$G$J$/!"(B OX $BAX!"(B SM $BAX$N%G!<%?$r(B
105: $BM}2r$9$k=u$1$K$J$k$H;W$($k$N$G!"(B CMO $BAX$NB?G\D9@0?t$N(B
106: $B%G!<%?9=B$$K$D$$$F@bL@$9$k!#(B
107:
108: CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$b(B
109: $BJ8;zNs$d%j%9%H$J$I$,$"$k!#$I$N$h$&$J%G!<%?$G$"$k$+$O(B
110: $B%G!<%?$N@hF,$K$"$k(B tag $B$r8+$l$PH=JL$G$-$k$h$&$K$J$C$F$$$k!#(B
111: $B$3$l$O(B OX $BAX$G$N%G!<%?$NH=JL$N;EJ}$H$*$J$8$G$"$k!#(B
112: $B$J$*!"(B tag $B$O3F%G!<%?Kh$K(B 32 bit $B$N@0?t$GI=$5$l$F$*$j!"(B
113: $BB?G\D9@0?t$O(B 20 $B$H$J$C$F$$$k!#(B
1.5 tam 114: $B$3$3$G(B 32 bit $B$N@0?t$NI=8=J}K!$K$D$$$F@bL@$9$kI,MW$,$"$k!#(B
115: %$B:r:#$N%3%s%T%e!<%?;v>p$+$i!"(B
116: %32 bit $B@0?t$b(B 8 bit $BC10L$G07$&$[$&$,ET9g$,$h$$!#(B
117: OpenXM $B$G$O(B 8 bit $BC10L$G(B $( \mbox{\tt 00 00 00 14})_{2^8}$ $B$HI=$9J}K!$H(B
118: $( \mbox{\tt 14 00 00 00})_{2^8}$ $B$HI=$9J}K!$,$"$k!#(B
119: $B$3$NI=8=J}K!$N0c$$$O%/%i%$%"%s%H$H%5!<%P$N:G=i$N@\B3;~$K(B
120: $BAPJ}$N9g0U$G7hDj$9$k$3$H$K$J$C$F$$$k!#$J$*!"9g0U$,$J$$>l9g$K$O(B
1.6 tam 121: $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 122: $B;H$&$3$H$K$J$C$F$$$k!#(B
123: $B$^$?!"Ii$N?t$rI=8=$9$kI,MW$,$"$k$H$-$K$O!"(B
1.6 tam 124: 2 $B$NJd?tI=8=$r;H$&$3$H$K$J$C$F$$$k!#(B
1.4 tam 125:
126: $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
127: $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 128: $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.5 tam 129: $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
130:
131: %$BI=8=$7$?$$B?G\D9@0?t$,Ii$G$"$C$F$b$3$l0J9_$N@bL@$O@5$N>l9g$H(B
132: %$BJQ$o$i$J$$$N$G!"0J8eB?G\D9@0?t$O@5$H$_$J$9!#(B
133:
1.6 tam 134: $BI=8=$7$?$$B?G\D9@0?t$N@dBPCM$,(B $2^{32}$ $B?J?t$G(B $(b_0 b_1 ...)_{2^{32}}$
1.5 tam 135: $B$HI=$;$k$H$-!"<!$K$/$k%G!<%?$O(B $b_0$, $b_1$, $\cdots$ $B$r(B
136: 32 bit $B$N@0?t$GI=8=$7$?CM$H$J$k!#(B
137:
1.6 tam 138: $B$3$3$G6qBNNc$r$@$=$&!#(B
139: $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network byte order $B$NB?G\D9@0?t$G(B
140: $BI=8=$9$k$H!"(B
141: \begin{center}
142: {\tt 00 00 00 14 00 00 00 02 00 00 00 02 00 00 00 01}
143: \end{center}
144: $B$H$J$k!#$^$?!"F1$8I=8=J}K!$G(B $-1$ $B$rI=8=$9$k$H!"(B
145: \begin{center}
146: {\tt 00 00 00 14 ff ff ff ff 00 00 00 01}
147: \end{center}
148: $B$H$J$k!#(B
1.4 tam 149:
1.1 tam 150:
151: \section{MathCap $B$K$D$$$F(B}
1.6 tam 152:
153: %$BA0@a$G8+$?$h$&$K!"(B 1 $B$D$N%a%C%;!<%8$ND9$5$O7h$^$C$F$$$J$$!#(B
154: $B%5!<%P$*$h$S%/%i%$%"%s%HAPJ}$H$b$K(B OpenXM $B$G5,Dj$5$l$F$$$k(B
155: $B$9$Y$F$N%a%C%;!<%8$rM}2r$G$-$k$o$1$G$O$J$$!#(B
156: $B$=$3$G!"(B OpenXM $B$G$OAj<j$NM}2r2DG=$J%a%C%;!<%8$r(B
157: $B<}F@$9$kJ}K!$rMQ0U$7$F$$$k!#(B
158: CMO $BAX$GDj5A$5$l$F$$$k(B MathCap $B%G!<%?$O(B
1.7 tam 159: $BM}2r2DG=$J%a%C%;!<%8$rI=$9%G!<%?$G$"$j!"(B
160: $BMW5a$5$l$l$P%5!<%P$O(B MathCap $B$r%9%?%C%/$K@Q$`!#(B
161: $B$^$?!"%/%i%$%"%s%H$+$i(B MathCap $B$r%5!<%P$XAw$k$3$H$b$G$-!"(B
162: MathCap $B$r%5!<%P$H%/%i%$%"%s%H$G8r49$9$k$3$H$K$h$C$F!"(B
163: $B$*8_$$$KAj<j$NM}2rIT2DG=$J%a%C%;!<%8$rAw$C$F$7$^$&$3$H$r(B
164: $BKI$0$3$H$,$G$-$k!#(B
165: $B$J$*!"(B MathCap $B$N%G!<%?$NCf$G$O(B CMO $BAX$GDj5A$5$l$F$$$k(B
166: 32 bit $B@0?t!"J8;zNs!"%j%9%H9=B$$r;H$C$F$*$j!"(B
167: MathCap $B$rM}2r$G$-$k$?$a$K$OI,A3E*$K$3$l$i$bM}2r$G$-$k(B
168: $BI,MW$,$"$k!#(B
169:
170: OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $B$,JV$9(B MathCap $B$r(B
171: $B0J2<$K<($9!#$J$*!"(B $a_0$, $a_1$, $\cdots$, $a_n$ $B$rMWAG$K(B
172: $B;}$D%j%9%H9=B$$r(B {\tt [$a_0$, $a_1$, $\cdots$, $a_n$]} $B!"(B
173: $BJ8;zNs(B ``string'' $B$r(B {\tt "string"} $B!"(B 32 bit $B@0?t$r(B
174: $B$=$l$KBP1~$9$k(B 10 $B?J?t$N@0?t$G<($9!#(B
175:
1.8 ! tam 176: %$B"-<j$G:n$C$?$N$G4V0c$($F$$$k2DG=@-$"$j!#(B
! 177: %%$B8E$$%P!<%8%g%s!#:9$7BX$($NI,MW$"$j!#(B
1.7 tam 178: \begin{verbatim}
179: [ [199901160,"ox_asir"],
180: [276,275,258,262,263,266,267,268,274
181: ,269,272,265,264,273,300,270,271],
1.8 ! tam 182: [ [514,[1,2,3,4,5,2130706433,2130706434
! 183: ,17,19,20,21,22,24,25,26,31,27,33,60]],
! 184: [2144202544,[0,1]]
1.7 tam 185: ]
186: ]
187: \end{verbatim}
188:
189: $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
1.8 ! tam 190: $B$3$N:G=i$NMWAG$,$^$?%j%9%H9=B$$H$J$C$F$*$j!"(B
! 191: $B:G=i$NMWAG$O%P!<%8%g%s%J%s%P!<$r!"<!$NMWAG$O%5!<%P$NL>A0$rI=$7$F$$$k!#(B
! 192:
! 193: $B<!$NMWAG$O(B SM $BAX$GDj5A$5$l$F$$$kM}2r2DG=$J%G!<%?$rI=$7$F$$$k!#(B
! 194: $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
! 195: $BI=$5$l$F$*$j!"$3$N(B 2 $BHV$a$NMWAG$OM}2r2DG=$J(B SM $BAX$N%G!<%?$K(B
! 196: $BBP$9$k(B 32 bit $B@0?t$N%j%9%H$H$J$C$F$$$k!#(B
! 197:
! 198: $B:G8e$NMWAG$OM}2r2DG=$J%G!<%?$rI=$7$F$$$k!#(B
! 199: CMO $BAX$GDj5A$5$l$F$$$k%G!<%?$O(B
! 200: $B<uEO$7$9$k%G!<%?$O(B
1.6 tam 201:
202:
1.1 tam 203:
204: \section{security $BBP:v(B}
205:
206: \section{$BB>$N%W%m%8%'%/%H(B}
207:
208: \section{$B8=:_Ds6!$5$l$F$$$k%=%U%H%&%'%"(B}
209:
210: \end{document}
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>