===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.24
retrieving revision 1.28
diff -u -p -r1.24 -r1.28
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/20 14:01:03	1.24
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/20 18:00:55	1.28
@@ -26,7 +26,7 @@
 \section{OpenXM $B$N7W;;%b%G%k(B}
 
 OpenXM $B$O?t3X%=%U%H4V$G%a%C%;!<%8$r8r49$9$k$?$a$N5,Ls$G$"$k!#(B
-OpenXM $B$H$O(B Open message eXchange protocol for Mathematics $B$NN,$G$"$k!#(B
+$B?t3XE*$J%G!<%?$r4^$s$@%a%C%;!<%8$J$I$rMQ$$$F(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$9$k$3$H$,L\E*$G$"$k!#(B
@@ -34,6 +34,8 @@ OpenXM $B$H$O(B Open message eXchange protocol for M
 $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
 $B9%$-$J8@8l$+$i4JC1$KB>$N?t3X%=%U%H$r;H$($k$h$&$K$9$k$3$H$G$"$k!#(B
+$B$J$*!"(B OpenXM $B$H$O(B Open message eXchange protocol for Mathematics $B$N(B
+$BN,$G$"$k!#(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
@@ -49,7 +51,7 @@ OpenXM $B5,LsFH<+$N%G!<%?7A<0$G$"$k(B CMO $B7A<0(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$i$l$kI,MW$,$"$k!#(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
@@ -68,16 +70,30 @@ OpenXM $B$N%a%C%;!<%8$OJ#?t$N<oN`$N%G!<%?$rI=8=$9$k$3
 $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%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$K$O!"(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!#(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}
@@ -135,8 +151,8 @@ CMO $B7A<0$GDj5A$5$l$F$$$k%G!<%?$OB?G\D9@0?t0J30$K$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
 $B$3$3$G(B 32 bit $B$N@0?t$NI=8=J}K!$K$D$$$F@bL@$9$kI,MW$,$"$k!#(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
-{\tt 14 00 00 00} $B$HI=$9J}K!$,$"$k!#(B
+OpenXM $B$G$O%P%$%HNs$G(B 32 bit $B$N@0?t(B 20 $B$r(B
+{\tt 00 00 00 14} $B$HI=$9J}K!$H(B {\tt 14 00 00 00} $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
 $BAPJ}$N9g0U$G7hDj$9$k$3$H$K$J$C$F$$$k!#(B
 $B$J$*!"9g0U$,$J$$>l9g$K$O(B
@@ -154,6 +170,7 @@ OpenXM $B$G$O(B 32 bit $B$N@0?t(B 20 $B$r%P%$%HNs
 $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$=$l$>$l(B 32 bit $B$N@0?t$GI=8=$7$?CM$H$J$k!#(B
+%$B0J2<$O=q$-D>$7$NI,MW$,$"$k$+$b(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
@@ -176,27 +193,32 @@ $4294967298 = 1 \times 2^{32} + 2$ $B$r(B network by
 \section{MathCap $B$K$D$$$F(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<jB&$KM}2r2DG=$J%a%C%;!<%8$N<oN`$r(B
+$B%a%C%;!<%8$NCf$N%G!<%?7A<0$r$9$Y$F<u$1<h$l$k$o$1$G$O$J$$!#(B
+$B$7$+$b!"(B OpenXM $B5,Ls$G5,Dj$5$l$F$$$k%G!<%?7A<0$@$1$,(B
+$B<uEO$7$K;H$o$l$k$H$$$&$o$1$G$O$J$$!#(B
+$B$=$3$G!"(B OpenXM $B$G$OAj<jB&$,<u$1<h$k$3$H$,$G$-$k%G!<%?7A<0$r(B
 $B<}F@$9$kJ}K!$rMQ0U$7$F$$$k!#(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
+%$BM}2r2DG=$J%a%C%;!<%8$N(B
+$B<u$1<h$k$3$H$,$G$-$k%G!<%?7A<0$rI=$9%G!<%?$G$"$j!"(B
+$BMW5a$5$l$l$P%5!<%P$O%5!<%P<+?H$N(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$*8_$$$KAj<jB&$,<u$1<h$k$3$H$,$G$-$J$$%G!<%?7A<0$G(B
+$B%a%C%;!<%8$rAw$C$F$7$^$&$N$rKI$0$3$H$,$G$-$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
-$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
-$B$=$l$KBP1~$9$k(B 10 $B?J?t$N@0?t$G<($9!#(B
+OpenXM $BBP1~HG$N(B asir $B%5!<%P$G$"$k(B ox\_asir $B$,JV$9(B MathCap $B$r0J2<$K<($9!#(B
 
+%$B$J$*!"(B $a_1$, $a_2$, $\cdots$, $a_n$ $B$rMWAG$K(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
+%$B$=$l$KBP1~$9$k(B 10 $B?J?t$N@0?t$G<($9!#(B
+
 %$B"-<j$G:n$C$?$N$G4V0c$($F$$$k2DG=@-$"$j!#(B
 %%$B8E$$%P!<%8%g%s!#:9$7BX$($NI,MW$"$j!#(B
 \begin{verbatim}
@@ -223,7 +245,18 @@ OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $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
+{\tt [2144202544,[0,1]]} $B$K$NItJ,$KJ,$1$k$3$H$,$G$-!"(B
+$B$=$l$>$l$,0l$D$N%G!<%?7A<0$K$D$$$F$N>pJs$H$J$C$F$$$k!#(B
+$B$I$N%G!<%?7A<0$K$D$$$F$N>pJs$+$O:G=i$NMWAG$K$"$k@0?tCM$r$_$l$P(B
+$BJ,$+$k$h$&$K$J$C$F$$$k!#(B
+$B$3$N@0?tCM$O(B CMO $B7A<0$G$O(B 514 $B$H$J$C$F$$$k!#(B
+$B:G=i$N%G!<%?7A<0$r6hJL$9$k@0?tCM0J8e$NMWAG$O(B
+$B3F%G!<%?7A<0$K$h$C$F$I$N$h$&$K;H$o$l$k$+Dj$^$C$F$$$k!#(B
+CMO $B7A<0$G$OM}2r2DG=$J%G!<%?$N(B tag $B$,%j%9%H$NCf$K<}$^$C$F$$$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$NB?G\D9@0?t$r<u$1<h$l$k$3$H$,$o$+$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
@@ -231,40 +264,42 @@ OpenXM $BBP1~HG$N(B asir $B$G$"$k(B ox\_asir $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
+$B$J$*!"%G!<%?$,<u$1<h$l$k$3$H$H!"(B
+$B%G!<%?$NO@M}9=B$$,M}2r$G$-$k$3$H$H$O$^$C$?$/JLJ*$G$"$k$N$G(B
 $BCm0U$9$kI,MW$,$"$k!#(B
 
 
-\section{security $BBP:v(B}
+\section{$B%;%-%e%j%F%#BP:v(B}
 
-OpenXM $B$G$O4v$i$+$N%;%-%e%j%F%#BP:v$r9T$J$C$F$$$k!#(B
+OpenXM $B$G$O4v$i$+$N%;%-%e%j%F%#BP:v$r9M$($F$$$k!#(B
+OpenXM $B$KBP1~$7$?%=%U%H%&%'%"$r%/%i%C%/$7$F$b(B
+$BBg$7$?MxE@$O$J$$$H;W$($k$,!"$=$l$O@_7W>e$NOC$G$"$C$F!"(B
+$BM=4|$;$L<jCJ$G967b$r<u$1$?>l9g$K$I$N$h$&$J;vBV$r(B
+$B>7$/$+$OA[A|$7Fq$$!#(B
 
-$B$^$:!"@\B3$,I,MW$K$J$C$?;~$K!"%/%i%$%"%s%H$,%5!<%PB&$+$i$N(B
-$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
-$B?/F~<T$K@\B3$N5!2q$rM?$($F$7$^$&$3$H$r8:$i$9$?$a$G$"$k!#(B
 
-$B<!$K!"%/%i%$%"%s%H$,@\B3Kh$K@\B3$rBT$D(B port $BHV9f$r%i%s%@%`$K7hDj$9$k(B
-$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
-$B$o$+$j$K$/$/$7$F$$$k!#(B
+%$B$^$:!"@\B3$,I,MW$K$J$C$?;~$K!"%/%i%$%"%s%H$,%5!<%PB&$+$i$N(B
+%$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
+%$B?/F~<T$K@\B3$N5!2q$rM?$($F$7$^$&$3$H$r8:$i$9$?$a$G$"$k!#(B
 
-$B:G8e$K!"@\B3;~$K%/%i%$%"%s%H$,(B 1 $B2s$N$_M-8z$J%Q%9%o!<%I$rH/9T$7!"(B
-$BG'>Z$r9T$J$&$h$&$K$J$C$F$$$k!#$3$N%Q%9%o!<%I$O0lC6;HMQ$5$l$k$H(B
-$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
-$B0BA4$G$"$k!#$J$*!"$3$N%Q%9%o!<%I$O0BA4$J<jCJ$GAw$i$l$F$$$J$$$H(B
-$B$$$1$J$$!#$^$?!"8=:_$N<BAu$G$O%5!<%P!"$*$h$S%/%i%$%"%s%H$NF0:n$7$F$$$k(B
-$B%3%s%T%e!<%?>e$G$O$3$N%Q%9%o!<%I$,$o$+$C$F$7$^$&$?$a!"(B
-$BF10l$N%3%s%T%e!<%?>e$K0-0U$N$"$k%f!<%6$O$$$J$$$H2>Dj$7$F$$$k(B
-$B$3$H$KCm0U$7$J$1$l$P$J$i$J$$!#(B
+%$B<!$K!"%/%i%$%"%s%H$,@\B3Kh$K@\B3$rBT$D(B port $BHV9f$r%i%s%@%`$K7hDj$9$k(B
+%$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
+%$B$o$+$j$K$/$/$7$F$$$k!#(B
 
-$B$J$*!"@\B3$,3NN)$7$?8e$N%a%C%;!<%8$NAw<u?.$K4X$7$F$O!"(B
-$BFC$K0E9f2=$J$I$N=hCV$,9T$J$o$l$F$$$k$o$1$G$O$J$$!#(B
-$B$b$7I,MW$,$"$l$P!"DL?.O)$N0E9f2=$r9T$J$&5!G=$,$"$k(B
-$B%=%U%H%&%'%"$r;H$&$3$H$r9M$($F$$$k!#(B
+%$B:G8e$K!"@\B3;~$K%/%i%$%"%s%H$,(B 1 $B2s$N$_M-8z$J%Q%9%o!<%I$rH/9T$7!"(B
+%$BG'>Z$r9T$J$&$h$&$K$J$C$F$$$k!#$3$N%Q%9%o!<%I$O0lC6;HMQ$5$l$k$H(B
+%$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
+%$B0BA4$G$"$k!#$J$*!"$3$N%Q%9%o!<%I$O0BA4$J<jCJ$GAw$i$l$F$$$J$$$H(B
+%$B$$$1$J$$!#$^$?!"8=:_$N<BAu$G$O%5!<%P!"$*$h$S%/%i%$%"%s%H$NF0:n$7$F$$$k(B
+%$B%3%s%T%e!<%?>e$G$O$3$N%Q%9%o!<%I$,$o$+$C$F$7$^$&$?$a!"(B
+%$BF10l$N%3%s%T%e!<%?>e$K0-0U$N$"$k%f!<%6$O$$$J$$$H2>Dj$7$F$$$k(B
+%$B$3$H$KCm0U$7$J$1$l$P$J$i$J$$!#(B
+
+%$B$J$*!"@\B3$,3NN)$7$?8e$N%a%C%;!<%8$NAw<u?.$K4X$7$F$O!"(B
+%$BFC$K0E9f2=$J$I$N=hCV$,9T$J$o$l$F$$$k$o$1$G$O$J$$!#(B
+%$B$b$7I,MW$,$"$l$P!"DL?.O)$N0E9f2=$r9T$J$&5!G=$,$"$k(B
+%$B%=%U%H%&%'%"$r;H$&$3$H$r9M$($F$$$k!#(B
 
 
 \section{$BB>$N%W%m%8%'%/%H(B}