Return to usage.tex CVS log

Up to [local] / OpenXM / src / OpenMath

Annotation of OpenXM/src/OpenMath/usage.tex, Revision 1.2

1.1       tam         1: \documentclass{jarticle}
                      2:
                      3: \begin{document}
                      4: \section{$B;HMQJ}(B}
                      5:
                      6: Java $B%$%s%?%W%j%?$rF0:n$5$;$k$?$a$K(B,
                      7: $B4D6-JQ?t(B CLASSPATH $B$r@_Dj$9$k(B.
                      8: $B@_DjJ}K!$dCM$K$D$$$F$O(B, OS $B$d(B Java $B%$%s%?%W%j%?$K$h$j0[$J$k$N$G(B,
                      9: $B3F%$%s%?%W%j%?$N%^%K%e%"%k$r;2>H(B.
                     10: $B$J$*(B, OMproxy $B$rF0:n$5$;$k$?$a$K$O(B, $B%+%l%s%H%G%#%l%/%H%j$N(B
                     11: $B%/%i%9%U%!%$%k$b(B Java $B%$%s%?%W%j%?$,8+$D$1$i$l$k$h$&$K(B
                     12: $B$7$F$*$+$J$1$l$P$J$i$J$$(B.
                     13:
                     14: \begin{verbatim}
                     15: % cd ${OpenXM_HOME}/lib/java-support
                     16: % java OMproxy
                     17: \end{verbatim}
                     18:
                     19: %$B0J2<(B, $B%*%W%7%g%s$N@_Dj$K$D$$$F(B.
                     20:
                     21:
                     22:
                     23:
                     24: \section{$B%W%m%0%i%`$N9=@.(B}
                     25:
1.2     ! tam        26: OMproxy $B%5!<%P$O0J2<$N%/%i%9$+$i@.$k(B.
        !            27: OMproxy $B%5!<%P$O(B OpenXM $B$G5,Dj$5$l$?%5!<%P$H$7$FF/$/$,(B,
        !            28: $BB>$N(B OpenXM $B%5!<%P$H0c$$(B, $B%3%s%H%m!<%k%W%m%;%9$b(B
        !            29: Java $B$GMQ0U$7$F$$$k(B.
        !            30: $B$3$N$?$a(B, ox\_launch $B$J$I$N%W%m%0%i%`$r;H$&I,MW$O$J$$(B.
1.1       tam        31:
                     32: \begin{verbatim}
                     33: OMproxy.java
                     34: OM2OXM.java
                     35: JP/ac/kobe_u/math/tam/OpenXM/CMO.java
                     36: JP/ac/kobe_u/math/tam/OpenXM/CMO_BIGFLOAT.java
                     37: JP/ac/kobe_u/math/tam/OpenXM/CMO_DATUM.java
                     38: JP/ac/kobe_u/math/tam/OpenXM/CMO_DISTRIBUTED_POLYNOMIAL.java
                     39: JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS.java
                     40: JP/ac/kobe_u/math/tam/OpenXM/CMO_DMS_GENERIC.java
                     41: JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR.java
                     42: JP/ac/kobe_u/math/tam/OpenXM/CMO_ERROR2.java
                     43: JP/ac/kobe_u/math/tam/OpenXM/CMO_INDETERMINATE.java
                     44: JP/ac/kobe_u/math/tam/OpenXM/CMO_INT32.java
                     45: JP/ac/kobe_u/math/tam/OpenXM/CMO_LIST.java
                     46: JP/ac/kobe_u/math/tam/OpenXM/CMO_MATHCAP.java
                     47: JP/ac/kobe_u/math/tam/OpenXM/CMO_MONOMIAL32.java
                     48: JP/ac/kobe_u/math/tam/OpenXM/CMO_NULL.java
                     49: JP/ac/kobe_u/math/tam/OpenXM/CMO_POLYNOMIAL_IN_ONE_VARIABLE.java
                     50: JP/ac/kobe_u/math/tam/OpenXM/CMO_QQ.java
                     51: JP/ac/kobe_u/math/tam/OpenXM/CMO_RATIONAL.java
                     52: JP/ac/kobe_u/math/tam/OpenXM/CMO_RECURSIVE_POLYNOMIAL.java
                     53: JP/ac/kobe_u/math/tam/OpenXM/CMO_STRING.java
                     54: JP/ac/kobe_u/math/tam/OpenXM/CMO_TREE.java
                     55: JP/ac/kobe_u/math/tam/OpenXM/CMO_ZERO.java
                     56: JP/ac/kobe_u/math/tam/OpenXM/CMO_ZZ.java
                     57: JP/ac/kobe_u/math/tam/OpenXM/CMO_ZZ_OLD.java
                     58: JP/ac/kobe_u/math/tam/OpenXM/OpenXM.java
                     59: JP/ac/kobe_u/math/tam/OpenXM/OpenXMconnection.java
                     60: JP/ac/kobe_u/math/tam/OpenXM/SM.java
                     61: \end{verbatim}
                     62:
1.2     ! tam        63: OMproxy $B%/%i%9$O(B OMproxy $B%5!<%PK\BN$G$"$j(B,
        !            64: $B%$%s%9%?%s%9$H$7$F%9%?%C%/$r;}$C$F$$$k(B.
        !            65: $B%9%?%C%/%^%7%s$,AH$_9~$^$l$F$*$j(B,
        !            66: run() $B%a%=%C%I$,(B OpenXM $B%5!<%P$N7W;;%W%m%;%9$H$7$FF0$/$h$&$K$J$C$F$$$k(B.
        !            67:
        !            68: 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
        !            69: $B%G!<%?JQ49$r9T$J$&%/%i%9$G$"$k(B.
        !            70: $B%/%i%9$H$7$FDj5A$7$F$$$k$,(B, $B8=:_$O%5%V%k!<%A%s$N=89g$H$7$F$7$+(B
        !            71: $B07$C$F$$$J$$(B.
        !            72: CMO2OM() $B%a%=%C%I$O(B CMO $B7A<0$+$i(B OpenMath XML $B7A<0$X$H(B
        !            73: $BJQ49$r9T$J$&4X?t$G$"$k(B.
        !            74: $B%5%V%k!<%A%s$H$7$F(B CMO2OM\_sub(), CMO2OM\_CoefficientOfRecursivePOLYNOMIAL() $B$r(B
        !            75: $B;HMQ$7$F$$$k(B.
        !            76: parse() $B%a%=%C%I$O(B OpenMath XML $B7A<0$+$i(B CMO $B7A<0$X$H(B
        !            77: $BJQ49$r9T$J$&4X?t$G$"$k(B.
        !            78: $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.
        !            79: isSpace(), skipSpace(), pushbackLex(), readNextToken() $B%a%=%C%I$,(B
        !            80: $B;z6g2r@O4o$K$"$?$kItJ,$G$"$j(B,
        !            81: parse\_*() $B%a%=%C%I$,9=J82r@O$K$"$?$kItJ,$H$J$C$F$$$k(B.
        !            82: parse\_*() $B$NL>A0$NIU$1J}$O(B OpenMath XML $BI=8=$GDj5A$5$l$F$$$k(B
        !            83: BNF $B$r;29M$K$7$F$$$k$,(B, $B$^$C$?$/F1$8$H$$$&$o$1$K$O;j$C$F$$$J$$(B.
        !            84: $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,
        !            85: OMproxy $B%5!<%P$G$O;HMQ$7$F$$$J$$(B.
1.1       tam        86:
1.2     ! tam        87: JP.ac.kobe\_u.math.tam.OpenXM.OpenXM $B%/%i%9$O(B OpenXM $B$G5,Dj$5$l$F$$$k(B
1.1       tam        88: $B%W%m%H%3%k$N(B TCP/IP $B%(%s%3!<%G%#%s%0$K0MB8$7$?=hM}$r9T$J$&(B.
                     89: $B$7$+$7(B, $B8=CJ3,$G$O@Z$jJ,$1$,$O$C$-$j$G$-$F$$$J$$(B.
1.2     ! tam        90: $B8=:_$N(B OpenXM $B%/%i%9$NLrL\$O(B,
        !            91: $BB>$N(B OpenXM $B%5!<%P$N(B ox\_launch $B$K$"$F$O$^$k$h$&$K;W$($k(B.
        !            92: OpenXM $B%/%i%9$G$O(B, $B%5!<%PMQ$N@\B3<j=g$r9T$J$$(B,
        !            93: run() $B%a%=%C%I$K5-=R$5$l$?%3%s%H%m!<%k%W%m%;%9$rF0$+$9(B.
1.1       tam        94:
1.2     ! tam        95: JP.ac.kobe\_u.math.tam.OpenXM.OpenXMconnection.java $B$O(B
        !            96: TCP/IP $B%(%s%3!<%G%#%s%0$NDL?.O)$r%*%V%8%'%/%H$H$9$k(B.
        !            97: 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.
        !            98: OpenXMconnection $B%/%i%9$N%*%V%8%'%/%H$O(B
        !            99: $B%3%s%H%m!<%k%W%m%;%9MQ$H7W;;%W%m%;%9MQ$N(B 2 $B$D@8@.$5$l$k(B.
1.1       tam       100:
1.2     ! tam       101: $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.
        !           102: java.lang.Object $B$H$OJL$N(B, $B6&DL$N%9!<%Q!<%/%i%9$rMQ$$$?J}$,$h$$$H9M$($F$$$k$,(B,
1.1       tam       103: $B8=CJ3,$N<BAu$G$O$=$3$^$G$K;j$C$F$$$J$$(B.
                    104:
1.2     ! tam       105: JP.ac.kobe\_u.math.tam.OpenXM.CMO $B$O(B
        !           106: CMO $B$r%*%V%8%'%/%H$H$9$kCj>]%/%i%9$G$"$k(B.
1.1       tam       107:
1.2     ! tam       108: JP.ac.kobe\_u.math.tam.OpenXM.CMO\_* $B$O(B CMO $B%/%i%9$N(B
1.1       tam       109: $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
1.2     ! tam       110: $B7A<0$r%*%V%8%'%/%H$H$9$k(B. CMO $B%/%i%9$GDj5A$5$l$F$$$k%a%=%C%I$O(B
1.1       tam       111: $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,
                    112: $B%*%V%8%'%/%H$N<h$j=P$7J}$O$^$C$?$/E}0l@-$,$H$l$F$$$J$$(B.
                    113:
1.2     ! tam       114: JP/ac/kobe\_u/math/tam/OpenXM/SM $B%/%i%9$O(B SM $B%3!<%I$r(B
        !           115: $B%*%V%8%'%/%H$H$9$k%/%i%9$G$"$k(B.
        !           116:
        !           117: OMproxy $B%5!<%P$N%W%m%0%i%`$NN.$l$O0J2<$G$"$k(B.
        !           118: 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.
        !           119: OpenXM $B%/%i%9$G$O(B OpenXMconnection $B$r@8@.$7(B, $B%/%i%$%"%s%H$+$i$N(B
        !           120: $B%3%s%H%m!<%k%W%m%;%9$X$N@\B3MW5a$rBT$D(B.
        !           121: $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,
        !           122: $B:#EY$O7W;;%W%m%;%9$X$N@\B3MW5a$rBT$D(B.
        !           123: 2 $B$D$NDL?.O)$,@\B3$5$l$k$H(B,
        !           124: $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.
        !           125: $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
        !           126: $B%9%l%C%I$rN)$A>e$2$k(B.
        !           127: $B7W;;%W%m%;%9$X$N3d$j9~$_$d=*N;$J$I$O(B OpenXM $B%/%i%9Fb$N(B
        !           128: $B%3%s%H%m!<%k%W%m%;%9$+$i9T$J$o$l$k(B.
1.1       tam       129:
                    130: \end{document}