version 1.1, 2000/01/06 13:55:29 |
version 1.2, 2000/01/07 14:57:26 |
Line 23 Java $B%$%s%?%W%j%?$rF0:n$5$;$k$?$a$K(B, |
|
Line 23 Java $B%$%s%?%W%j%?$rF0:n$5$;$k$?$a$K(B, |
|
|
|
\section{$B%W%m%0%i%`$N9=@.(B} |
\section{$B%W%m%0%i%`$N9=@.(B} |
|
|
OMproxy $B$O0J2<$N%/%i%9$+$i@.$k(B. |
OMproxy $B%5!<%P$O0J2<$N%/%i%9$+$i@.$k(B. |
|
OMproxy $B%5!<%P$O(B OpenXM $B$G5,Dj$5$l$?%5!<%P$H$7$FF/$/$,(B, |
|
$BB>$N(B OpenXM $B%5!<%P$H0c$$(B, $B%3%s%H%m!<%k%W%m%;%9$b(B |
|
Java $B$GMQ0U$7$F$$$k(B. |
|
$B$3$N$?$a(B, ox\_launch $B$J$I$N%W%m%0%i%`$r;H$&I,MW$O$J$$(B. |
|
|
\begin{verbatim} |
\begin{verbatim} |
OMproxy.java |
OMproxy.java |
Line 56 JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.java |
|
Line 60 JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.java |
|
JP/ac/kobe_u/math/tam/OpenXM/SM.java |
JP/ac/kobe_u/math/tam/OpenXM/SM.java |
\end{verbatim} |
\end{verbatim} |
|
|
JP/ac/kobe\_u/math/tam/OpenXM/OpenXMconnection.java $B$O(B |
OMproxy $B%/%i%9$O(B OMproxy $B%5!<%PK\BN$G$"$j(B, |
TCP/IP $B%(%s%3!<%G%#%s%0$NDL?.O)$r07$&(B. |
$B%$%s%9%?%s%9$H$7$F%9%?%C%/$r;}$C$F$$$k(B. |
CMO $B$d(B SM $B%/%i%9(B($B8e=R(B)$B$N%*%V%8%'%/%H$rAw<u?.$9$k%a%=%C%I$,MQ0U$5$l$F$$$k(B. |
$B%9%?%C%/%^%7%s$,AH$_9~$^$l$F$*$j(B, |
OpenXM $B5,Ls$N(B TCP/IP $B%(%s%3!<%G%#%s%0$G$O%3%s%H%m!<%k%W%m%;%9$X$NDL?.O)$H(B |
run() $B%a%=%C%I$,(B OpenXM $B%5!<%P$N7W;;%W%m%;%9$H$7$FF0$/$h$&$K$J$C$F$$$k(B. |
$B7W;;%W%m%;%9$X$NDL?.O)$N(B 2 $B$D$NDL?.O)$,:n$i$l$k(B. |
|
$B$3$N;~(B, OpenXMconnection $B$O%3%s%H%m!<%k%W%m%;%9MQ$H(B |
|
$B7W;;%W%m%;%9MQ$N(B 2 $B$D@8@.$5$l$F$$$k(B. |
|
|
|
OMproxy.java $B$O(B OMproxy $B%5!<%PK\BN$G$"$j(B, |
OM2OXM $B%/%i%9$O(B OpenXM $B$N(B CMO $B7A<0$H(B OpenMath $B$N(B XML $B7A<0$H$N(B |
OpenXMconnection $B$N%*%V%8%'%/%H(B, $B5Z$S%9%?%C%/$r;}$C$F$$$k(B. |
$B%G!<%?JQ49$r9T$J$&%/%i%9$G$"$k(B. |
$B%a%=%C%I$H$7$F%9%?%C%/%^%7%s$,AH$_9~$^$l$F$*$j(B, |
$B%/%i%9$H$7$FDj5A$7$F$$$k$,(B, $B8=:_$O%5%V%k!<%A%s$N=89g$H$7$F$7$+(B |
$B7W;;%W%m%;%9$H$7$FF0$/$h$&$K$J$C$F$$$k(B. |
$B07$C$F$$$J$$(B. |
OMproxy.java $B$O5/F08e(B, $B$9$0$K(B OpenXM.java ($B8e=R(B)$B$r@8@.$7(B, |
CMO2OM() $B%a%=%C%I$O(B CMO $B7A<0$+$i(B OpenMath XML $B7A<0$X$H(B |
$B7W;;%W%m%;%9MQ$N(B OpenXMconnection.java $B$r<u$1<h$k(B. |
$BJQ49$r9T$J$&4X?t$G$"$k(B. |
$B$=$N8e(B, OpenXM.java $B$+$i(B OMproxy $BFb$N7W;;%W%m%;%9(B( run $B%a%=%C%I(B)$B$,(B |
$B%5%V%k!<%A%s$H$7$F(B CMO2OM\_sub(), CMO2OM\_CoefficientOfRecursivePOLYNOMIAL() $B$r(B |
$B5/F0$5$l(B, $B7W;;%W%m%;%9$,3+;O$5$l$k(B. |
$B;HMQ$7$F$$$k(B. |
|
parse() $B%a%=%C%I$O(B OpenMath XML $B7A<0$+$i(B CMO $B7A<0$X$H(B |
|
$BJQ49$r9T$J$&4X?t$G$"$k(B. |
|
$B$3$NJQ49$r9T$J$&ItJ,$OBg$-$/J,$1$F;z6g2r@O$H9=J82r@O$N(B 2 $B$D$KJ,$1$i$l$k(B. |
|
isSpace(), skipSpace(), pushbackLex(), readNextToken() $B%a%=%C%I$,(B |
|
$B;z6g2r@O4o$K$"$?$kItJ,$G$"$j(B, |
|
parse\_*() $B%a%=%C%I$,9=J82r@O$K$"$?$kItJ,$H$J$C$F$$$k(B. |
|
parse\_*() $B$NL>A0$NIU$1J}$O(B OpenMath XML $BI=8=$GDj5A$5$l$F$$$k(B |
|
BNF $B$r;29M$K$7$F$$$k$,(B, $B$^$C$?$/F1$8$H$$$&$o$1$K$O;j$C$F$$$J$$(B. |
|
$B$J$*(B, main() $B5Z$S(B run() $B%a%=%C%I$O%G%P%C%0$N$?$a$K;H$C$F$$$k$b$N$G$"$j(B, |
|
OMproxy $B%5!<%P$G$O;HMQ$7$F$$$J$$(B. |
|
|
JP/ac/kobe\_u/math/tam/OpenXM/OpenXM.java $B$O(B OpenXM $B$G5,Dj$5$l$F$$$k(B |
JP.ac.kobe\_u.math.tam.OpenXM.OpenXM $B%/%i%9$O(B OpenXM $B$G5,Dj$5$l$F$$$k(B |
$B%W%m%H%3%k$N(B TCP/IP $B%(%s%3!<%G%#%s%0$K0MB8$7$?=hM}$r9T$J$&(B. |
$B%W%m%H%3%k$N(B TCP/IP $B%(%s%3!<%G%#%s%0$K0MB8$7$?=hM}$r9T$J$&(B. |
$B$7$+$7(B, $B8=CJ3,$G$O@Z$jJ,$1$,$O$C$-$j$G$-$F$$$J$$(B. |
$B$7$+$7(B, $B8=CJ3,$G$O@Z$jJ,$1$,$O$C$-$j$G$-$F$$$J$$(B. |
$B8=:_$N(B OpenXM.java $B$NLrL\$O0J2<$G$"$k(B. |
$B8=:_$N(B OpenXM $B%/%i%9$NLrL\$O(B, |
OMproxy $B$+$i$3$N%/%i%9$N%*%V%8%'%/%H$,@8@.$5$l$k$H(B, |
$BB>$N(B OpenXM $B%5!<%P$N(B ox\_launch $B$K$"$F$O$^$k$h$&$K;W$($k(B. |
$B$^$:(B, OpenXMconnection $B$r@8@.$7(B, $B%/%i%$%"%s%H$+$i$N(B |
OpenXM $B%/%i%9$G$O(B, $B%5!<%PMQ$N@\B3<j=g$r9T$J$$(B, |
$B%3%s%H%m!<%k%W%m%;%9$X$N@\B3MW5a$rBT$D(B. |
run() $B%a%=%C%I$K5-=R$5$l$?%3%s%H%m!<%k%W%m%;%9$rF0$+$9(B. |
$B%3%s%H%m!<%k%W%m%;%9$X$N@\B3$,3NN)$7$?8e(B, $B$b$&(B 1 $B$D(B OpenXMconnection $B$r@8@.$7(B, |
|
$B:#EY$O7W;;%W%m%;%9$X$N@\B3MW5a$rBT$D(B. |
|
2 $B$D$NDL?.O)$,@\B3$5$l$k$H(B, |
|
$B%3%s%H%m!<%k%W%m%;%9(B(OpenXM.java $BFb$N(B run $B%a%=%C%I(B)$B$rN)$A>e$2(B, |
|
$B7W;;%W%m%;%9$K@\B3$5$l$k(B OpenXMconnection $B$r(B OMproxy $B$XEO$9(B. |
|
$B$5$i$K(B, $B%3%s%H%m!<%k%W%m%;%9$O(B OMproxy $B$N7W;;%W%m%;%9$rN)$A>e$2$k(B. |
|
$B7W;;%W%m%;%9$X$N3d$j9~$_$d=*N;$J$I$O(B OpenXM.java $BFb$N(B |
|
$B%3%s%H%m!<%k%W%m%;%9$+$i9T$J$o$l$k(B. |
|
|
|
OM2OXM.java $B$O(B OpenXM $B$N(B CMO $B7A<0$H(B OpenMath $B$N(B XML $B7A<0$H$N(B |
JP.ac.kobe\_u.math.tam.OpenXM.OpenXMconnection.java $B$O(B |
$B%G!<%?JQ49$r9T$J$&%/%i%9$G$"$k(B. |
TCP/IP $B%(%s%3!<%G%#%s%0$NDL?.O)$r%*%V%8%'%/%H$H$9$k(B. |
$B%/%i%9$H$7$FDj5A$7$F$$$k$,(B, $B8=:_$O%5%V%k!<%A%s$N=89g$H$7$F$7$+(B |
CMO $B$d(B SM $B%/%i%9(B($B8e=R(B)$B$N%*%V%8%'%/%H$rAw<u?.$9$k%a%=%C%I$,MQ0U$5$l$F$$$k(B. |
$B07$C$F$$$J$$(B. |
OpenXMconnection $B%/%i%9$N%*%V%8%'%/%H$O(B |
|
$B%3%s%H%m!<%k%W%m%;%9MQ$H7W;;%W%m%;%9MQ$N(B 2 $B$D@8@.$5$l$k(B. |
|
|
$B0J2<$N(B CMO.java $B5Z$S(B SM.java $B$N%9!<%Q!<%/%i%9$O(B Object $B$G$"$k(B. |
$B0J2<$N(B CMO $B%/%i%95Z$S(B SM $B%/%i%9$N%9!<%Q!<%/%i%9$O(B java.lang.Object $B$G$"$k(B. |
Object $B$H$OJL$N(B, $B6&DL$N%9!<%Q!<%/%i%9$rMQ$$$?J}$,$h$$$H9M$($F$$$k$,(B, |
java.lang.Object $B$H$OJL$N(B, $B6&DL$N%9!<%Q!<%/%i%9$rMQ$$$?J}$,$h$$$H9M$($F$$$k$,(B, |
$B8=CJ3,$N<BAu$G$O$=$3$^$G$K;j$C$F$$$J$$(B. |
$B8=CJ3,$N<BAu$G$O$=$3$^$G$K;j$C$F$$$J$$(B. |
|
|
JP/ac/kobe\_u/math/tam/OpenXM/CMO.java $B$O(B OpenXM $B$G5,Dj$5$l$F$$$k(B |
JP.ac.kobe\_u.math.tam.OpenXM.CMO $B$O(B |
CMO $B7A<0$N%*%V%8%'%/%H$r07$&Cj>]%/%i%9$G$"$k(B. |
CMO $B$r%*%V%8%'%/%H$H$9$kCj>]%/%i%9$G$"$k(B. |
|
|
JP/ac/kobe\_u/math/tam/OpenXM/CMO\_*.java $B$O(B CMO.java $B$N(B |
JP.ac.kobe\_u.math.tam.OpenXM.CMO\_* $B$O(B CMO $B%/%i%9$N(B |
$B%5%V%/%i%9$H$J$C$F$*$j(B, $B$=$l$>$l(B CMO $B7A<0$NCf$N(B 1 $B<oN`$N(B |
$B%5%V%/%i%9$H$J$C$F$*$j(B, $B$=$l$>$l(B CMO $B7A<0$NCf$N(B 1 $B<oN`$N(B |
$B7A<0$r07$&(B. CMO.java $B$GDj5A$5$l$F$$$k%$%s%9%?%s%9$O(B |
$B7A<0$r%*%V%8%'%/%H$H$9$k(B. CMO $B%/%i%9$GDj5A$5$l$F$$$k%a%=%C%I$O(B |
$B3F%5%V%/%i%9$G$b6&DL$G$"$k$,(B, $B3F%/%i%9$N%*%V%8%'%/%H$r@8@.$9$kJ}K!$d(B, |
$B3F%5%V%/%i%9$G$b6&DL$G$"$k$,(B, $B3F%/%i%9$N%*%V%8%'%/%H$r@8@.$9$kJ}K!$d(B, |
$B%*%V%8%'%/%H$N<h$j=P$7J}$O$^$C$?$/E}0l@-$,$H$l$F$$$J$$(B. |
$B%*%V%8%'%/%H$N<h$j=P$7J}$O$^$C$?$/E}0l@-$,$H$l$F$$$J$$(B. |
|
|
JP/ac/kobe\_u/math/tam/OpenXM/SM.java $B$O%9%?%C%/%^%7%s$N(B |
JP/ac/kobe\_u/math/tam/OpenXM/SM $B%/%i%9$O(B SM $B%3!<%I$r(B |
$BL?Na%3!<%I$r%*%V%8%'%/%H$H$9$k%/%i%9$G$"$k(B. |
$B%*%V%8%'%/%H$H$9$k%/%i%9$G$"$k(B. |
|
|
\end{document} |
OMproxy $B%5!<%P$N%W%m%0%i%`$NN.$l$O0J2<$G$"$k(B. |
|
OMproxy $B%/%i%9$O5/F08e(B, $B$9$0$K(B OpenXM $B%/%i%9$N%*%V%8%'%/%H$r@8@.$9$k(B. |
|
OpenXM $B%/%i%9$G$O(B OpenXMconnection $B$r@8@.$7(B, $B%/%i%$%"%s%H$+$i$N(B |
|
$B%3%s%H%m!<%k%W%m%;%9$X$N@\B3MW5a$rBT$D(B. |
|
$B%3%s%H%m!<%k%W%m%;%9MQ$N@\B3$,3NN)$7$?8e(B, $B$b$&(B 1 $B$D(B OpenXMconnection $B$r@8@.$7(B, |
|
$B:#EY$O7W;;%W%m%;%9$X$N@\B3MW5a$rBT$D(B. |
|
2 $B$D$NDL?.O)$,@\B3$5$l$k$H(B, |
|
$B%3%s%H%m!<%k%W%m%;%9(B(OpenXM $B%/%i%9Fb$N(B run() $B%a%=%C%I(B)$B$N%9%l%C%I$rN)$A>e$2$k(B. |
|
$B$5$i$K(B, $B%3%s%H%m!<%k%W%m%;%9$O7W;;%W%m%;%9(B(OMproxy $B%/%i%9$N(B run() $B%a%=%C%I(B)$B$N(B |
|
$B%9%l%C%I$rN)$A>e$2$k(B. |
|
$B7W;;%W%m%;%9$X$N3d$j9~$_$d=*N;$J$I$O(B OpenXM $B%/%i%9Fb$N(B |
|
$B%3%s%H%m!<%k%W%m%;%9$+$i9T$J$o$l$k(B. |
|
|
|
\end{document} |