[BACK]Return to rims-2002-12-12-ja.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / Papers

Annotation of OpenXM/doc/Papers/rims-2002-12-12-ja.tex, Revision 1.2

1.2     ! takayama    1: % $OpenXM: OpenXM/doc/Papers/rims-2002-12-12-ja.tex,v 1.1 2002/12/02 02:17:50 takayama Exp $
1.1       takayama    2: % It was under misc-2002/12,
                      3: %Id: rims-2003-12.tex,v 1.10 2002/12/02 02:14:55 taka Exp $
                      4: % Some .gif files are under misc-2002/12.
                      5: %% OpenXM/doc/Papers $B$X0\F0(B.  rims-2002-12-12.tex
                      6: \documentclass{jarticle}
                      7: \title{\bf OpenXM 1.2.2 $B$N35MW(B}
                      8: \author{ OpenXM $B3+H/%0%k!<%W(B }
                      9: \date{2002$BG/(B12$B7n(B12$BF|(B}
                     10:
                     11: %% Private macros
                     12: \newenvironment{FRAME}{\begin{trivlist}\item[]
                     13:   \hrule
                     14:   \hbox to \linewidth\bgroup
                     15:   \advance\linewidth by -30pt
                     16:   \hsize=\linewidth
                     17:   \vrule\hfill
                     18:   \vbox\bgroup
                     19:     \vskip15pt
                     20:     \def\thempfootnote{\arabic{mpfootnote}}
                     21:     \begin{minipage}{\linewidth}}{%
                     22:     \end{minipage}\vskip15pt
                     23:   \egroup\hfill\vrule
                     24:  \egroup\hrule
                     25: \end{trivlist}}
                     26:
                     27: \begin{document}
                     28: \maketitle
                     29:
                     30: OpenXM $B%W%m%8%'%/%H$G$O(B
                     31: $B?t3X$G$NJBNs7W;;(B,
                     32: $B?t3X%=%U%H%&%(%"$NE}9g2=(B $B$^$?$O(B
                     33: Conglomerate $B2=(B\cite{solomon},
                     34: $B?t3XE*CN<1$N%^%M!<%8%a%s%H(B (Mathematical Knowledge Management)
                     35: $B$J$I$N=tLdBj$r9M;!$9$k$H$H$b$K(B,
                     36: $B<B:]$K?t3X$N8&5f$d?t3X$N1~MQ$K;H$($k%Q%C%1!<%8$N3+H/$r$*$3$J$C$F$$$k(B.
                     37:
                     38: $B%Q%C%1!<%8$O2~D{$r(B 4 $B2s$*$3$J$C$?(B.
                     39: \begin{enumerate}
                     40: \item OpenXM 1.1.1 (January 24, 2000): $B:G=i$N<B83HG(B.
                     41: \item OpenXM 1.1.2 (March 20, 2000): $B$H$j$"$($:;H$($kHG(B.
                     42: \item OpenXM 1.1.3 (September 26, 2000): 1.1 $B7O$N:G=*HG(B. OpenXM RFC 100 $B7A<0(B
                     43:    $B$N%W%m%;%9LZ(B. 1077 $B8D$N?t3X4X?t$rDs6!(B.
                     44:    $BDs6!$7$F$$$k%5!<%P$O(B {\tt ox\_asir}, {\tt ox\_sm1},
                     45:    {\tt ox\_phc}, {\tt ox\_gnuplot}, {\tt ox\_m2}, {\tt ox\_tigers},
                     46:    {\tt ox\_math}(ematica), {\tt OMproxy} \cite{rims-1199}.
                     47: \item OpenXM 1.2.1 (March 2, 2002): Cygwin (Windows) $B$X$NBP1~3+;O(B.
                     48:        $B%^%K%e%"%k<+F0@8@.(B(gentexi)$B$J$I(B.
                     49: \end{enumerate}
                     50: $B$3$3$G$O$A$+$8$+M=Dj$7$F$$$k(B
                     51: 1.2.2 $B7O$G$N?7$7$$5!G=$H@_7W$K$*$1$k=tLdBjE@$r5DO@$7$?$$(B.
                     52:
                     53: \section{ oxd $B%9!<%Q!<%5!<%P(B }
                     54:
                     55: OpenXM $B$G$O(B 1.2 $B7ONs$h$j(B Cygwin $B$rMQ$$$F(B Windows $B$K$bItJ,E*$KBP1~$7$F$-$?(B.
                     56: $B$^$?(B 1.1 $B7ONs$+$i(B OpenXM $BBP1~$N(B Java $B%/%i%9$rDs6!$7$F$-$?(B.
                     57: $B$3$l$i$N3+H/$G7P83$7$?$3$H$O(B,
                     58: \underline{ $B%5!<%P$N5/F0$,HQ;((B }
                     59: $B$H$$$&$3$H$G$"$k(B.
                     60: $B$H$/$K(B C $B$H(B unix $B$NOHAH$r$O$:$l$k$H(B OpenXM $B%5!<%P$r%/%i%$%"%s%H$,5/F0(B
                     61: $B$9$k$N$,$H$F$bLLE]$K$J$k(B.
                     62: $B$5$i$K%/%i%$%"%s%H$N%3!<%I$O(B OS $BKh$KJ,4t$5$;$kI,MW$,@8$8$k(B.
                     63: $B$3$NHQ;($5$rHr$1$k(B
                     64: $B2r7h:v$H$7$F$O0J2<$N$h$&$JJ}K!$,$"$k$G$"$m$&(B.
                     65: \begin{enumerate}
                     66: \item Corba $B$J$I$N(B Agent $B$N;EAH$_$rMQ$$$k(B.
                     67: \item ssh $B$H(B oxc $B$rMQ$$$k(B OpenXM RFC 101 ($B>.86(B) $B$rMQ$$$k(B.
                     68: \end{enumerate}
                     69: ``$B<B:]$K;H$($k%Q%C%1!<%8$rG[I[$9$k(B'' $B$H$$$&N)>l$G$O(B,
                     70: Corba $BEy$N<B83E*%$%s%U%i%9%H%i%/%A%c$rMQ$$$k$N$O$J$k$Y$/Hr$1$?$$(B.
                     71: $B$^$?8zN(=E;k$N%Q%C%1!<%8$r:n@.$7$?$$$H$-$N<+M3EY$,$J$$(B.
                     72: OpenXM RFC 101 $B$rMQ$$$k$N$ONI$$J}K!$G$"$k$,(B, $B<B:]$K$O(B
                     73: $B%a%$%s$N%/%i%$%"%s%H$G$"$k(B asir $B$,(B OpenXM RFC 100 $B$K$7$+BP1~$7$F$$$J$$(B
                     74: $B$7(B, 100 $BBP1~$N$_$N%5!<%P$bB?$$(B.
                     75: $B$7$?$,$C$F(B, RFC 100, 101 $BN>J}$KBP1~$7$+$D(B, OpenXM $B%5!<%P$rMF0W$K5/F0(B
                     76: $B$G$-$k$h$&$J%9!<%Q%5!<%P$N3+H/$r;n$_$?(B.
                     77: $B$3$l$,(B oxd $B$G$"$k(B ($B%=!<%9$O(B {\tt OpenXM/src/kxx/oxd.c }).
                     78:
                     79: %%Note: 2002, 10/20.
                     80: \noindent
                     81: $BMxMQNc(B:
                     82: %%%%%%%%%%  mini page template %%%%%%%%%%%%
                     83: \begin{flushleft}
                     84: \begin{minipage}[t]{5cm}
                     85: \begin{FRAME}
                     86: \noindent
                     87: $B%5!<%PB&$N%m%0(B:
                     88: {\tiny \begin{verbatim}
                     89: bash-2.03$ cd OpenXM/src/kxx
                     90: bash-2.03$ ./oxd
                     91: Hello from open. serverName is localhost
                     92:                   and portnumber is 8089
                     93: Done the initialization. port =8089
                     94:     $B%G%U%)%k%H(B $B%]!<%H(B 8089 $B$GBT$D(B.
                     95: Waiting a connection
                     96: \end{verbatim} }
                     97: \end{FRAME}
                     98: \end{minipage} \quad
                     99: %
                    100: \begin{minipage}[t]{5cm}
                    101: \begin{FRAME}
                    102: \noindent
                    103: $B%/%i%$%"%s%HB&$N%m%0(B:
                    104: {\tiny \begin{verbatim}
                    105: bash-2.03$ cd OpenXM/src/OpenMath
                    106: bash-2.03$ java testclientr
                    107:   $B$?$H$($P(B java $B$G@\B3$7$F$_$k(B.
                    108: \end{verbatim} }
                    109: \end{FRAME}
                    110: \end{minipage} \\
                    111: \end{flushleft}
                    112: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                    113:
                    114: \noindent
                    115: oxd $B$H$NDL?.%3%^%s%I$O0J2<$N$h$&$K(B XML $B7A<0$G$"$k(B.
                    116: $B%H%C%W%N!<%I$O(B \verb@ <login> @ $B!A(B \verb@ </login> @  $B$G$"$k(B.
                    117:
                    118: %%%%%%%%%%  mini page template %%%%%%%%%%%%
                    119: \begin{flushleft}
                    120: \begin{minipage}[t]{5cm}
                    121: \begin{FRAME}
                    122: \noindent $B%5!<%PB&(B:
                    123: {\tiny \begin{verbatim}
                    124: ... Serial=0
                    125: Trying to accept from localhost... len= 16
                    126: Accepted.
                    127:
                    128: Connected.    8089 $B$K%/%i%$%"%s%H$,$D$J$,$C$?(B.
                    129: Waiting a connection... Serial=1
                    130: Trying to accept from localhost...
                    131:        Serial=1: command=<login method="file">
                    132: $B%/%i%$%s%H$h$jAw$i$l$FMh$?%3%^%s%I$O(B <login>
                    133: Serial=1: command=<done/>
                    134:
                    135: $B$3$A$i$h$jAwIU$7$?(B challenge $B$r@5$7$/=hM}(B
                    136: $B$G$-$?$N$G(B, $BG'>Z$,40N;(B.
                    137: Serial=1: command=<launch> ox -ox ox_asir
                    138:                  -reverse   -control 3167
                    139:                 -data 3168 -finish </launch>
                    140: $B%/%i%$%"%s%H$h$j(B ox $B%5!<%P$N5/F0%3%^%s%I$r(B
                    141: $B<u$1<h$k(B. $B%(%s%8%sL>$O%U%k%Q%9$G$OM?$($J$$(B.
                    142:
                    143: Serial=1 : Executing command
                    144:   =/home/taka/OpenXM/bin/openxm  ox
                    145:    -ox ox_asir -reverse -control 3167
                    146:    -data 3168 -finish
                    147: The server ox_asir was not found.
                    148: Trying to find it  under OpenXM/bin
                    149: Starting OX server :
                    150:  /home/taka/OpenXM/bin/ox_asir
                    151:
                    152: resultCode=0
                    153: Serial=1: command=<login/>
                    154: oxd $B$X$N(B login $B$O=*N;(B.
                    155:
                    156: Waiting the termination of
                    157:  the child process (ox server).
                    158: 1: The child process is terminated.
                    159:
                    160: \end{verbatim} }
                    161: \end{FRAME}
                    162: \end{minipage} \quad
                    163: %
                    164: \begin{minipage}[t]{5cm}
                    165: \begin{FRAME}
                    166: \noindent $B%/%i%$%"%s%HB&(B:
                    167: {\tiny \begin{verbatim}
                    168: <login method="file">
                    169: $BG'>ZJ}K!$O(B file $B$rA*Br(B.
                    170:
                    171: <challenge file="/home/taka/.oxd10793"/>
                    172: oxd $B$h$j(B $B%U%!%$%k(B /home/taka/.oxd10793
                    173: $B$K(B touch $B$G$-$?$iG'>Z$9$k$h$HO"Mm$r$&$1$k(B.
                    174: ?
                    175: <done/>     touch $B$7$?$N$G(B <done/> $B$rAw$k(B.
                    176:
                    177: Listenning...
                    178: <launch> ox -ox ox_asir -reverse -control 3167
                    179:                    -data 3168 -finish </launch>
                    180: oxd $B$X(B OpenXM $B%5!<%P$N5/F0%3%^%s%I$rAw$k(B.
                    181:
                    182: <suceeded/>   oxd $B$h$j5/F0@.8y$N%a%C%;!<%8(B
                    183:               $B$r$b$i$&(B.
                    184: ?
                    185: \end{verbatim} }
                    186: \end{FRAME}
                    187: Java $BB&$N@\B3%W%m%0%i%`$O4JC1$G(B,
                    188: localhost $B$N(B oxd $B$G5/F0$9$k$J$i(B
                    189: \begin{verbatim}
                    190:         asir = new OpenXM("ox_asir");
                    191: \end{verbatim}
                    192: $B$H(B OX $B%5!<%PL>$r0z?t$H$7$F(B OpenXM $B%3%s%9%H%i%/%?(B
                    193: $B$r8F$Y$P$h$$(B.
                    194: %%Note: sm1 $B$N%/%i%$%"%s%H%W%m%0%i%`$O(B oxd.sm1 $B$N(B asirconnectr.
                    195: \end{minipage} \\
                    196: \end{flushleft}
                    197: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                    198:
                    199: %%%%%%%%%%  mini page template %%%%%%%%%%%%
                    200: \begin{flushleft}
                    201: \begin{minipage}[t]{5cm}
                    202: \begin{FRAME}
                    203: $B%(%s%8%sB&$N=PNO(B:
                    204: {\tiny \begin{verbatim}
                    205: controlByteOrder=0
                    206: OpenXM/Risa/Asir-Contrib(20020922),
                    207:     Copyright 2000-2002, OpenXM.org
                    208: Loading ~/.asirrc
                    209: I'm an ox_asir, Version 20020802.
                    210: #0 Got OX_COMMAND SM_mathcap
                    211:
                    212: $B0J2<N,(B.
                    213: \end{verbatim} }
                    214: \end{FRAME}
                    215: \end{minipage} \quad
                    216: %
                    217: \begin{minipage}[t]{5cm}
                    218: \begin{FRAME}
                    219: \noindent
                    220: $B%/%i%$%"%s%HB&$N%(%s%8%s$H$NDL?.>u67(B:
                    221: {\tiny \begin{verbatim}
                    222: Accepted the control port.
                    223: Accepted the data port.
                    224: start
                    225: CMO> (CMO_MATHCAP,(CMO_LIST,3,(CMO_LIST,2,
                    226:       (CMO_INT32,199901160),
                    227:       (CMO_STRING,7,ox_asir)),
                    228:       (CMO_LIST,18,(CMO_INT32,276), $B0J2<N,(B.
                    229: \end{verbatim} }
                    230: \end{FRAME}
                    231: \end{minipage} \\
                    232: \end{flushleft}
                    233: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
                    234:
                    235: $B$3$N$h$&$K(B oxd $B$r$b$A$$$k$3$H$K$h$j(B,
                    236: OS $B$d(B $B8@8l$K$h$k5/F0K!$N(B
                    237: $B0c$$$r5[<}2DG=$G$"$k(B.
                    238: $B$5$i$K(B oxd $B$N<BAu$K(B agent $B$N;EAH$_$rAH$_9~$`$3$H$b(B
                    239: $B2DG=$G$"$k(B.
                    240:
                    241: \rightline{$B3+H/(B: $B9b;3(B}
                    242:
                    243: \section{$B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$'' }
                    244:
                    245: $B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$'' $B$O(B,
                    246: OpenXM $B$N%9%m!<%,%s$G$"$k(B.
                    247: $B$3$N>O$G$O(B, PDA $B$d(B Web $B$X$NBP1~$r>R2p$9$k(B.
                    248:
                    249: \subsection{ $B%6%&%k%9(B $BBP1~(B }
                    250:
                    251: $B%7%c!<%W$N%6%&%k%9(B SL-A300
                    252: $B$G(B Risa/Asir $B$,IT40A4$J$,$iF0:n$7$F$$$k(B.
1.2     ! takayama  253: SL-A300 $B$O(B Intel $B$N(B Arm $B7O(B CPU Xscale(PXA210 200MHz)$B$rEk:\$7(B,
        !           254: Lineo $B$N(B Embedix $B$H$$$&(B Linux $B$r(B OS $B$K;}$D(B.
        !           255: $B%a%b%j$O(B 64MB $BEk:\$7$F$$$k$,(B, $B%+!<%M%k$N%3%s%U%#%0%l!<%7%g%s(B
        !           256: $B$K$h$C$F%W%m%0%i%`B&$+$iMxMQ2DG=$J$N$O(B 36MB $B$G(B,
        !           257: $B;D$j(B 28MB $B$O%9%H%l!<%8MQ$K@_Dj$5$l$F$$$k(B.
        !           258:
1.1       takayama  259: GC $B$H@0?t7W;;$N$?$a$N%^%7%s8l%W%m%0%i%`$NItJ,$N0\?"$,LdBj$G$"$C$?$,(B,
                    260: GC $B$K$D$$$F$O$9$G$K3+H/%0%k!<%W(B (H-J. Boehm, A. J. Demers)
                    261: $B$,(B Xscale CPU $B$KBP1~$7$F$$$?(B.
                    262: $B@0?t7W;;$K$D$$$F$O%]!<%?%V%k@0?t7W;;(B
                    263: $B%3!<%I(B \\
                    264: {\tt OpenXM\_contrib2/asir2000/asm/asmalpha.c}
                    265: $B$rMQ$$$?(B.
1.2     ! takayama  266: $B<B:]$N%3%s%Q%$%k:n6H$O0J2<$N$h$&$K9T$C$?(B.
        !           267: \begin{enumerate}
        !           268: \item PC Linux $B>e$G(B Arm $BMQ$N%/%m%9%3%s%Q%$%k4D6-$r9=C[(B
        !           269: \item asir $B$N(B configure $B$,%/%m%9%3%s%Q%$%k4D6-$KBP1~$7$F$$$J$$$N$G(B,
        !           270: PC $BMQ$N(B Makefile $B$r:n@.8e(B, $B<jF0$G(B Arm $BMQ$K=$@5(B
        !           271: \item GC $B$O(B configure $B$b%/%m%9%3%s%Q%$%k4D6-$KBP1~$7$F$$$k$N$G$=$l$rMxMQ(B
        !           272: \item $B@0?t7W;;$O%"%;%s%V%i$r;H$o$:%]!<%?%V%k%3!<%I$rMxMQ$9$k$h$&=$@5(B
        !           273: \item char $B$,(B default $B$G(B unsigned char $B$J$N$G(B gcc $B$O(B -fsigned-char
        !           274: $B%*%W%7%g%s$r$D$1$F;HMQ(B
        !           275: \end{enumerate}
        !           276:
        !           277: $B;HMQ$7$F$_$?46A[$O0U30$KB.$$(B(Pentium 200MHz$B$/$i$$(B?).
        !           278: $BF~NO%U%m%s%H%(%s%I$N(B fep $B$b%3%s%Q%$%k$G$-MxMQ$G$-$F$$$k(B.
        !           279: $B%a%b%j$O>/$7Bg$-$J7W;;$@$HITB-$9$k$,(B, $B$3$l$O(B SD $B%+!<%I>e(B
        !           280: $B$K%9%o%C%W%U%!%$%k$r:n@.$9$k$3$H$GBP=h2DG=(B.
        !           281: $B%G%U%)%k%H$G$O(B cpp $B$,%$%s%9%H!<%k$5$l$F$$$J$$$?$a(B,
        !           282: $B%U%!%$%k$N(B load $B$,$G$-$J$$$,(B,
        !           283: zgcc($B%6%&%k%9%;%k%U%3%s%Q%$%kMQ(B gcc)$B$NG[I[$K(B cpp $B$,F1:-(B
        !           284: $B$5$l$F$$$k$N$G(B, $B$=$l$rMxMQ$9$l$P$h$$(B.
        !           285:
        !           286: $B4{CN$NLdBj$H$7$F$O(B, $B%5%9%Z%s%I!&%l%8%e!<%`8e$K(BAsir$B$,(B
        !           287: $B5/F0IT2D$K$J$k$H$$$&8=>]$,5/$-$F$$$k(B.
        !           288: $B$7$+$7(B, $B$3$l$K$D$$$F$O(B Embedix $B%+!<%M%k$N%P%0(B
        !           289: (zero page $B$r%5%9%Z%s%I$N%o!<%/%(%j%"$K$7$F$7$^$&(B)
        !           290: $B$G$"$k$3$H$,$o$+$C$?$N$G(B, $B6/@)E*$K%<%m%/%j%"$9$k(B
        !           291: $BJd=u%W%m%0%i%`$r$3$A$i$G=`Hw$9$kM=Dj$G$"$k(B.
1.1       takayama  292:
                    293: \rightline{$B3+H/(B: $BF#K\(B}
                    294:
                    295: \subsection{ OpenXM Online }
                    296:
                    297: OpenXM $B$G$O(B HTTP $B%W%m%H%3%k$NItJ,=89g(B (GET $B$*$h$S(B POST $B$N0lIt(B)
                    298: $B$r<BAu$7(B, Web$B%V%i%&%6$r(B OpenXM $B%(%s%8%s$N%U%m%s%H%(%s%I$H$7$FMxMQ$7$?$j(B,
                    299: OpenXM $B%(%s%8%s$KBP$9$k(B Remote Procedure Call $B$r$*$3$J$&$?$a$KMxMQ$7$F$$$k(B.
                    300: $B$3$N1~MQ$H$7$F(B,
                    301: $B8=:_(B Asir Online  $B$r(B \\
                    302: {\tt http://fe.math.kobe-u.ac.jp:8090}
                    303: $B$G<B83E*$K1?MQ$7$F$$$k(B.
                    304: HTTP $B$rM}2r$9$k%5!<%P(B (httpd) $B$O(B, kan/sm1 $B$N%]%9%H%9%/%j%W%H8@8l(B
                    305: $B$G<BAu$5$l$F$$$k(B
                    306: ({\tt OpenXM/src/kan96xx/Doc/httpd*.sm1}).
                    307:
                    308: $B$3$N<B831?MQ$GLdBj$H$J$C$?$N$O(B,
                    309: \underline{$BCfCG$NEAGE$H%j%=!<%9$N@)8B(B}
                    310: $B$NLdBj$G$"$k(B.
                    311: OpenXM RFC 100 $B$G$O%(%s%8%s$N7W;;$rCfCG$9$k%m%P%9%H$J(B
                    312: $B%W%m%H%3%k$rDj$a$F$*$j(B, $B$3$l$,(B OpenXM RFC 100 $B$NFCD'$N0l$D$G$"$k(B
                    313: \cite{ascm2001}, \cite{openxm-rfc100}.
                    314: $B$7$+$7$J$,$i(B, $B%(%s%8%s4V$GCfCG$rEAGE$5$;$k;EAH$_$K$D$$$F$O(B,
                    315: $BI8=`$r$J$K$b7h$a$F$$$J$$(B.
                    316: Web $B$G7W;;$r%5!<%S%9$9$k$K$O$3$l$i$N;EAH$_$OIT2D7g$G$"$j(B,
                    317: $BCfCG$rEAGE$9$k;EAH$_$H%j%=!<%9$N@)8B$r<B83E*$K<BAu$7$?(B.
                    318:
                    319: $BCfCG$K4X$7$F$O(B, $BCfCG$7$?$H$-$K<B9T$5$l$k4X?t$rEPO?$9$k;EAH$_$,(B
                    320: OpenXM $B%5!<%P$d%/%i%s%"%s%H$K$"$k(B.
                    321: $B@N$N(B Basic $BIw$J$i(B {\tt On stop goto ...}, $B:G6a$N(B Java $BIw$J$i(B
                    322: {\tt try \{ ... \} catch \{ ... \} } $B$_$?$$$J$b$N$G$"$k$,(B,
                    323: asir $B$G$O(B {\tt register\_handler} $B4X?t(B,
                    324: sm1 $B$G$O(B {\tt ctrlC-hook } $B4X?t$GEPO?$9$k(B.
                    325: $B$3$N4X?t$NCf$G<!$N>e0U2<C#$N=hM}$r$*$3$J$$CfCG$rEAGE$5$;$k(B.
                    326:
                    327: \begin{FRAME}
                    328: \noindent
                    329: $B>e0U2<C#$NCfCG=hM}(B:
                    330: \begin{enumerate}
                    331: \item $B<+J,$N;R6!%W%m%;%9$r$9$Y$F%j%9%H$9$k(B
                    332:   ($B$?$H$($P(B {\tt ox\_get\_serverinfo() }).
                    333: \item $B;R6!%W%m%;%9$K=gHV$K(B OpenXM-RFC 100 $B$NCfCG%a%C%;!<%8$rAw$k(B.
                    334: \end{enumerate}
                    335: \end{FRAME}
                    336:
                    337: $B>e0U2<C#K!$GCfCG$O$-$A$s$HF0:n$9$k$,(B,
                    338: $B$3$NJ}K!$N7gE@$OCfCG$,C`<!E*$K$*$3$J$o$l$k$?$a(B, $BB??t$N%5!<%P$,4^$^$l$k(B
                    339: $BLZ9=B$$N>l9g$OF0:n$,CY$$$3$H$G$"$k(B.
                    340: $B:#8eI,MW$K1~$8$FCfCG%a%C%;!<%8$rF1Js$9$kJ}K!$r?7$7$$%W%m%H%3%k$H$7$F9M;!$9$Y$-$G$"$m$&(B.
                    341:
                    342: $B%j%=!<%9@)8B$K4X$7$F$bN`;w$N>e0U2<C#J}<0$G%j%=!<%9NL$rJ];}$7$F$$$kBg0hJQ?t(B
                    343: $B$NCM$rEAC#$9$k$3$H$K$h$j(B OpenXM-RFC 100 $B$NOHFb$G(B
                    344: $B%3%^%s%IKh$N%j%=!<%9@)8B$,2DG=$G$"$k(B.
                    345: $B$7$+$7$J$,$i(B shared memory $B$N;EAH$_$,$"$l$P$h$j4JC1$G$"$m$&(B.
                    346:
                    347: \rightline{$B3+H/(B: $B9b;3(B}
                    348:
                    349: \section{OpenXM $B$N%U%m%s%H%(%s%I(B}
                    350:
                    351: Infty Editor $B$O6e=#Bg3X$NNkLZ$i$,Cf?4$H$J$j3+H/$7$F$$$k(B
1.2     ! takayama  352: $B<j=q$-$K$h$k?t<0F~NO5!G=$r$b$D(B Windows $BMQ%(%G%#%?!<$G$"$k(B.
        !           353: $B$3$N%(%G%#%?!<$+$i(B OpenXM $B%5!<%P$r8F$S=P$95!G=$,(B
1.1       takayama  354: $BF#K\$K$h$j@_7W<BAu$5$l$?(B.
1.2     ! takayama  355: $B%(%G%#%?!<Fb$GF~NO$5$l$??t<0$N7W;;$@$1$G$J$/(B,
        !           356: Asir $B8@8l$b%5%]!<%H$7$F$$$k(B.
        !           357: $B>\$7$$Js9p$OK\8&5f=82q$NF#K\$N9V1i5Z$S(B\cite{fujimoto}$B$r;2>H(B.
1.1       takayama  358:
                    359: \rightline{$B3+H/(B: $BF#K\(B}
                    360:
                    361: \section{ OpenXM/Risa/Asir/Contrib }
                    362:
                    363: OpenXM/Risa/Asir (OpenXM $BHG(B Risa/Asir) $B$O(B OpenXM $B%Q%C%1!<%8$N(B
                    364: $B%a%$%s$N%/%i%$%"%s%H$G$"$k(B.
                    365: OpenXM/Risa/Asir/Contrib $B%W%m%8%'%/%H$G$O(B, asir $B8@8l$G$+$+$l$?3F<o?t3X4X?t(B,
                    366: $B%f!<%F%#%j%#%F%#4X?t$*$h$S(B OpenXM $B%5!<%P$H$N%$%s%?%U%'!<%94X?t$r3+H/$7$F$$$k(B.
                    367: $BCf4|L\I8$H$7$F(B ``$BD64v2?4X?t$K4XO"$9$k7W;;$O$J$s$G$b$G$-$k$h$&$K(B'' $B$r(B
                    368: $B7G$2$F$$$k(B.
                    369: $BD64v2?4X?t$K4XO"$9$k7W;;$O(B, $B7W;;Be?t(B, $BB?LLBN4v2?(B, $B?tCM2r@O(B,
                    370: $B%S%8%e%"%j%<!<%7%g%s$J$I$$$m$$$m$JJ,Ln$K4X78$7$F$$$k(B.
                    371:
                    372: $B8=:_$N4X?t0lMw$O0J2<$N$H$*$j(B.
                    373: {\small
                    374: \begin{verbatim}
                    375: base_cancel             poly_factor
                    376: base_choose             poly_gcd
                    377: base_flatten            poly_grobner_basis
                    378: base_intersection       poly_hilbert_polynomial
                    379: base_memberq            poly_initial
                    380: base_permutation        poly_initial_coefficients
                    381: base_position           poly_initial_term
                    382: base_prune              poly_solve_linear
                    383: base_replace            print_dvi_form
                    384: base_set_minus          print_em
                    385: base_set_union          print_gif_form
                    386: base_subsetq            print_input_form
                    387: base_subsets_of_size    print_open_math_tfb_form
                    388: dsolv_dual              print_open_math_xml_form
                    389: dsolv_starting_term     print_output
                    390: glib_line               print_ox_rfc100_xml_form
                    391: glib_open               print_png_form
                    392: glib_plot               print_terminal_form
                    393: glib_print              print_tex_form
                    394: glib_putpixel           print_tfb_form
                    395: glib_tops               print_xdvi_form
                    396: glib_window             print_xv_form
                    397: gnuplot                 sm1
                    398: gnuplot_heat            sm1_ahg
                    399: gnuplot_output          sm1_appell1
                    400: gnuplot_plot_dots       sm1_appell4
                    401: gnuplot_plot_function   sm1_auto_reduce
                    402: gnuplot_start           sm1_bfunction
                    403: hilbert_polynomial      sm1_deRham
                    404: m_rtostr                sm1_distraction
                    405: m_start                 sm1_gb
                    406: m_tree_to_string        sm1_generalized_bfunction
                    407: matrix_clone            sm1_genericAnn
                    408: matrix_det              sm1_gkz
                    409: matrix_diagonal_matrix  sm1_hilbert
                    410: matrix_eigenavalues     sm1_mul
                    411: matrix_identity_matrix  sm1_push_int0
                    412: matrix_inner_product    sm1_rank
                    413: matrix_inverse          sm1_reduction
                    414: matrix_kernel           sm1_restriction
                    415: matrix_list_to_matrix   sm1_saturation
                    416: matrix_matrix_to_list   sm1_slope
                    417: matrix_rank             sm1_start
                    418: matrix_solve_linear     sm1_syz
                    419: matrix_submatrix        sm1_wTensor0
                    420: matrix_transpose        sm1_xml_tree_to_prefix_string
                    421: om_start                tigers
                    422: om_xml                  util_filter
                    423: om_xml_to_cmo           util_find_and_replace
                    424: ox_check_errors2        util_find_substr
                    425: ox_sm1_forAsir          util_load_file_as_a_string
                    426: phc                     util_part
                    427: phc_start               util_read_file_as_a_string
                    428: plucker_relation        util_remove_cr
                    429: poly_degree             util_write_string_to_a_file
                    430: poly_elimination_ideal
                    431: \end{verbatim}
                    432: }
                    433: $B3F4X?t$N%^%K%e%"%k$O(B \\
                    434: {\small \tt
                    435: http://www.math.kobe-u.ac.jp/OpenXM/1.2.2/doc/asir-contrib/html-en/cman-en\_toc.html}
                    436:
                    437:
                    438: \rightline{$B3+H/(B: $BLnO$(B, $BCf;3(B, $B9b;3(B}
                    439:
                    440: \section{$B%5!<%P$N?7$7$$?t3X4X?t(B}
                    441:
                    442: 1.2 $B7O$G$O$^$@?7$7$$%5!<%P$N@\B3:n6H$r$*$3$J$C$F$$$J$$(B.
                    443: $B6a$$$&$A$KB?LLBN$N4v2?(B (polymake, cdd),
                    444: 3D $B%0%i%U%#%C%/%94XO"$N%5!<%P(B (3D Java, JavaView)
                    445: $B$N@\B3$rM=Dj$7$F$$$k(B.
                    446:
                    447: \noindent
                    448: {\tt ox\_asir} $B$K$O<!$N?7$7$$?t3XE*5!G=$,2C$o$C$?(B($BLnO$(B).
                    449: \begin{enumerate}
                    450: \item $BM-8BBN$G$N0x?tJ,2r(B ({\tt OpenXM\_contrib2/asir2000/engine/Fgfs.c}).
                    451: \end{enumerate}
                    452:
                    453: \noindent
                    454: {\tt ox\_sm1} $B$K$O<!$N?7$7$$?t3XE*5!G=$,2C$o$C$?(B($B9b;3(B).
                    455: \begin{enumerate}
                    456: \item Granger-Oaku $B$N(B Tangent Cone $B%"%k%4%j%:%`$N<BAu$N$?$a(B
                    457: $B2r@OE*HyJ,:nMQAG4D$K$*$1$kF1<!2=$r<BAu(B
                    458: ({ring\_of\_differential\_operators, weightHomogenization},
                    459: {\tt OpenXM/src/kan96xx/Kan/poly3.c}).
                    460: \item M.J.Ucha $B$N?7$7$$(B b-$B4X?t%"%k%4%j%:%`$N<BAu$N$?$a(B,
                    461: $B$"$kHyJ,:9J,:nMQAG4D$r<BAu(B
                    462: ({\tt ring\_of\_differential\_difference\_operators}).
                    463: \end{enumerate}
                    464:
                    465:
                    466: \section{ fb --- $BD64v2?4X?t%G%8%?%k8x<0=8$H(B OpenMath }
                    467:
                    468: OpenXM $B$G$O%3!<%I%M!<%`(B fb $B$G(B
                    469: $BD64v2?4X?t$N%G%8%?%k8x<0=8$r8&5f$7$F$$$k(B.
                    470: fb $B$O(B 1.2 $B7O$NL\6L$H$$$($k%b%8%e!<%k$G$"$k(B.
                    471: $B?t3X8x<0=8$N8&5f$O$?$H$($PF|K\$G$O(B, 1980 $BG/Be8eH>$N:4!9LZ$i$N8&5f(B
                    472: $B$,@h6nE*$G$"$k(B \cite{sasaki}.
                    473: $B$3$N8&5f$G$O?t<0$N8!:wK!(B, $B?t<0$N8x<0=8$K$h$k=q$-49$((B,
                    474: $B$*$h$S$=$l$KE,$7$?%G!<%?9=B$$,8&5f$5$l$?(B.
                    475: $B$5$i$K4dGH8x<0=8$r$b$H$K<B:]$N%G%8%?%k8x<0=8$r:n@.$7$?$,(B,
                    476: $BCx:n8"$NLdBj$,$"$j(B, $B8x3+$5$l$F$$$J$$(B.
                    477: $B$3$NN.$l$r$/$_(B, $B$5$i$K(B OpenMath $B$N(B XML $B$G8x<0$rI=8=$9$k8&5f$,(B
                    478: $B?91J(B, $BB<>e(B, $BLnED(B \cite{noda-murakami} $B$K$h$j:G6a?JE8$7$F$$$k(B.
                    479:
                    480: OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B,
                    481: $B<!$N;kE@$+$i%G%8%?%k8x<0=8$N@_7W<BAu$r$*$3$J$C$F$$$k(B.
                    482:
                    483: \begin{enumerate}
                    484: \item Web $B%Y!<%9$N(B Interactive $B$J5!G=$NDs6!(B.
                    485: \item $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
                    486:       $BJ];}$G$-$k8x<0=8(B.
                    487: \item $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k8x<0=8(B.
                    488: \item XML $B$N5!G=$r%U%k$K@8$+$7$?8x<0=8(B.
                    489: \item $BCx:n8"$NLdBj$,$J$$8x<0=8(B.
                    490: \item $BF~NO%_%9$NH/8+$rJd=u$9$k5!G=(B.
                    491: \end{enumerate}
                    492:
                    493: $B0J2<$K$o$l$o$l$N@_7W$N35MW$r5-$9(B.
                    494: \begin{enumerate}
                    495: \item A.Cohen $B$i$N(B Interactive Math Book $B$N%?%0(B(Eindhoven tag library)
                    496:       $B$rMQ$$$F(B, Interactive $B$J5!G=$r5-=R$9$k(B \cite{cohen}.
                    497:       Interactive $B5!G=$O8x<0=8$K$H$j=EMW$G(B,
                    498:       $B$?$H$($P8x<0$r;2>H$9$k$H$-$KJQ?t$NCV$-49$($OJXMx$G$"$k(B.
                    499: \item DocBook \cite{docbook} $B$*$h$S(B OpenMath \cite{openmath}
                    500:      $B$N(B XML $B%?%0$r3HD%$7(B,
                    501:      formula $B$r(B $B%H%C%W%N!<%I$H$9$kFH<+$N%?%0$r$$$/$D$+Dj5A$7$?(B.
                    502:      $B$3$l$i$r$^$H$a$F(B fb XML $B%?%0%;%C%H$H$h$s$G$$$k(B.
                    503:      $BD64v2?4X?t$K4XO"$9$k(B OpenMath Content Dictionary $B$,B8:_$7$J$$$?$a(B,
                    504:      $B<+J,C#$G(B CD hypergeo0, hypergeo1, hypergeo2, hypergeon0, hypergeon1,
                    505:      hypergeon2, weylalgebra1 $B$r3+H/$7$?(B
                    506:      (OpenMath CD $B$N(B contrib $B$r;2>H(B \cite{openmath}).
                    507:      $B$3$l$K$h$j(B, $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
                    508:      $BJ];}$G$-$k$h$&$K$J$C$?(B.
                    509:      %A.Cohen $B$i$N(B Interactive Math Book $B$N%W%m%8%'%/%H$b(B
                    510:      %DocBook $B$H(B OpenMath $B$N%?%0$r3HD%$9$k7A$G(B
                    511:      %$B8&5f$7$F$$$k(B \cite{cohen}.
                    512: \item OpenMath $B$N(B XML $B$H(B Content Dictionary $B$O(B
                    513:       $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k;EAH$_$G$"$k(B.
                    514:       $B$?$H$($PA05-$N(B
                    515:       $BD64v2?4X?t$K4XO"$9$k(B Content Dictionary $B$r$b$H$K9b;3$O(B
                    516:       1 $B<!85$N@QJ,O)$rI=8=$9$k(B Content Dictionary intpath1
                    517:       $B$rDj5A$7(B, $B$3$N(B Content Dictionary $B$OG$0U$N(B 1 $B<!85$N@QJ,O)$r(B
                    518:       $BI=8=$G$-$k$3$H$r(B twisted (co)homology $B$NM}O@$rMQ$$$F>ZL@$7$?(B.
                    519: \item fb $B$G$O(B DOM $B$d(B XSL $B$J$I(B XML $B$N5!G=$r%U%k$K@8$+$7(B
                    520:       $B8x<0=8$r<BAu$7$?(B.  XML $B$N5!G=$,(B $B%G%8%?%k8x<0=8$K$b(B
                    521:       $BM-8z$G$"$k$3$H$r3NG'$7$?(B.  $B?^(B \ref{figure:fbcom} $B$N(B
                    522:       $B3F%3%^%s%I$O<g$K(B Java $B$G<BAu$5$l$F$$$k(B.
                    523: %%Comment: $B$G$b?t<0$N3g8L$N>JN,$N=hM}$OLLE](B.
                    524: \item fb $B$G$O(B 19$B@$5*(B, 20 $B@$5*$ND64v2?4X?t$N%*%j%8%J%kO@J8$r$b$H$K(B
                    525:       tfb $B$H$$$&8@8l$r(B
                    526:       $B$b$A$$$FF~NO$r$*$3$J$C$F$*$j(B, $BCx:n8"$NLdBj$,$J$$(B.
                    527:       tfb $B$O(B OpenMath $B%*%V%8%'%/%H$rI=8=$9$k$?$a$N8@8l$G$"$k(B.
                    528:       OpenMath $B%W%m%8%'%/%H$G$O(B OpenMath $B%*%V%8%'%/%H(B $B$rF~NO$9$k$?$a$N(B
                    529:       RIACA CD Editor($B%*%i%s%@(B) $B$d(B STAR/MathWriter (Stilo Technology)
                    530: %%Pic: coq-starts.jpg
                    531:       $B$J$I$N(BGUI $B7?$N%W%m%0%i%`$,8&5f$5$l$F$$$k(B.
                    532:       $B$3$N(B tfb $B$O(B
                    533:       OpenMath $B%*%V%8%'%/%H$N87L)$JF~NO$,MF0W$G$"$k$N$rFCD'$H$7$F$$$k(B.
                    534: \item $B8x<0$NF~NO$K$O%_%9$,$D$-$b$N$G$"$k(B.
                    535:       fb $B$G$O(B, $B?tCM7W;;$r$b$A$$$FL@$i$+$J8m$j$r8!=P$9$k;EAH$_$rDs6!$7$F$$$k(B.
                    536:       $B$3$N;EAH$_$G$O(B OpenXM $BHG$N(B mathematica $B$*$h$S(B asir $B%5!<%P(B
                    537:       $B$*$h$SA0=R$N(B OpenXM online $B$rMQ$$$F$$$k(B.
                    538: \end{enumerate}
                    539: $B$J$*(B, (2) $B!A(B (6) $B$O%G%8%?%k8x<0=8$H$7$F?7$7$$;n$_$G$"$k(B.
                    540:
                    541: \begin{figure}[tb]
                    542: \begin{tabular}{|l|l|}
                    543: \hline
                    544: fb XML  & DocBook $B%?%0(B(Top), OpenMath $B%?%0(B, MathBook $B%?%0(B,
                    545:               formula $B%?%0(B($BFH<+(B)  \\ \hline
                    546: fb (tfb) XML  &
                    547:               DocBook $B%?%0(B(Top), tfb $B%?%0(B($BFH<+(B) , MathBook $B%?%0(B,
                    548:               formula $B%?%0(B($BFH<+(B),         \\ \hline
                    549: fb (formula) XML  &
                    550:               formula $B%?%0(B(Top, $BFH<+(B), OpenMath $B%?%0(B,
                    551:               DocBook $B%?%0(B ($B0lIt(B) \\ \hline
                    552: fb (formula,tfb) XML  &
                    553:               formula $B%?%0(B(Top, $BFH<+(B), tfb $B%?%0(B($BFH<+(B),
                    554:               DocBook $B%?%0(B ($B0lIt(B) \\ \hline
                    555: \end{tabular}
                    556: \caption{ fb XML $BJ8=q$N%P%j%(!<%7%g%s(B}
                    557: \end{figure}
                    558:
                    559: \begin{figure}[tb]
                    560: \begin{tabular}{|l|l|}
                    561: \hline
                    562: {\tt tfb2fb.sh}  &  fb (tfb) XML $BJ8=q(B
                    563:                     $B$r(B fb XML $BJ8=q$XJQ49(B \\ \hline
                    564:                  &  fb (formula,tfb) XML $BJ8=q(B
                    565:                     $B$r(B fb (formula) XML $BJ8=q$XJQ49(B \\ \hline
                    566: {\tt tfb2ocd.sh}  &  ($B8_49@-$N$?$a;D$7$F$"$k(B) \\ \hline
                    567: {\tt fb2tex.sh}  &  fb XML $BJ8=q$h$j(B LaTeX $B$X$NJQ49(B \\ \hline
                    568: {\tt ocd2tex.sh}  &  ($B8_49@-$N$?$a;D$7$F$"$k(B) \\ \hline
                    569: {\tt formula2tex.sh} & fb (formula) XML $BJ8=q$h$j(B LaTeX $B$X$NJQ49(B \\ \hline
                    570: {\tt asir2tfb.sh} &  asir $B7A<0$+$i(B tfb $B7A<0$X$NJQ49(B \\ \hline
                    571: {\tt tfb2asir-check*.sh} & fb (formula,tfb) XML $BJ8=q(B $B$h$j(B
                    572:                            asir checker $B$X(B.\\ \hline
                    573: {\tt tfb2math-check.sh} &  fb (formula,tfb) XML $BJ8=q(B $B$h$j(B
                    574:                            Mathematica checker $B$X(B.\\ \hline
                    575: \end{tabular}
                    576: \caption{ fb $B$NJQ49%3%^%s%I(B($B0lIt(B)}
                    577: \label{figure:fbcom}
                    578: \end{figure}
                    579:
                    580:
                    581:
                    582: $B<!$O(B fb (formula,tfb) XML$BJ8=q$NNc(B ({\tt fb/formula/h21-0060.tfb}).
                    583: {\small
                    584: \begin{verbatim}
                    585: <?xml version="1.0" encoding="ISO-2022-JP"?>
                    586: <?xml-stylesheet type="text/xsl" href="fb.xsl"?>
                    587: <formula>
                    588:   <tfb>
                    589:     2 ~arith1.times~ arith1.root(nums1.pi,2)
                    590:       ~arith1.times~ hypergeo0.gamma(a ~arith1.plus~ b ~arith1.plus~
                    591:         (1 ~arith1.divide~ 2))
                    592:       ~arith1.divide~ hypergeo0.gamma(a ~arith1.plus~ (1 ~arith1.divide~ 2))
                    593:       ~arith1.divide~ hypergeo0.gamma(b ~arith1.plus~ (1 ~arith1.divide~ 2))
                    594:       ~arith1.times~ hypergeo1.hypergeometric2F1(a,b,1 ~arith1.divide~ 2,x)
                    595:     ~relation1.eq~
                    596:     (hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
                    597:       a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
                    598:       1 ~arith1.plus~ arith1.root(x,2) ~arith1.divide~ 2)
                    599:       ~arith1.plus~
                    600:       hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
                    601:         a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
                    602:         1 ~arith1.minus~ arith1.root(x,2) ~arith1.divide~ 2));
                    603:   </tfb>
                    604:
                    605:   <editor> Yasushi Tamura </editor>
                    606:
                    607:   <description>
                    608:     Quadratic transformation of independent variable
                    609:   </description>
                    610:
                    611:   <reference linkend="goursat1"  page="118"/>
                    612:
                    613:   <evidence checker="Mathematica">
                    614:     @@ /. {a->1/2,b->3/5,c->-2/11,x->0.2}
                    615:   </evidence>
                    616:
                    617: </formula>
                    618: \end{verbatim}
                    619: }
                    620:
                    621: %% Prog:  tfb-addtex ../../formula/h21-0060.tfb
                    622: %%  tfb2fb.sh <../../formula/h21-0060.tfb-auto-tex.tfb | formula2tex.sh >t.tex
                    623: %%  platex t
                    624: $B$3$N8x<0$r(B
                    625: TeX $B$X$NJQ49%D!<%k$G%W%l%<%s%F!<%7%g%s7A<0$KJQ49$7$?$b$N$O(B
                    626: \begin{center}$ {\frac{2\,{\sqrt{\pi }}\,\Gamma ({\frac{1}{2}} + a + b)\,{}
                    627: _2 F_1 (a,b,{\frac{1}{2}},x)}{\Gamma ({\frac{1}{2}} + a)\,\Gamma ({\frac{1}{2}}
                    628: + b)}} = {}_2 F_1 (2\,a,2\,b,{\frac{1}{2}} + a + b,{\frac{1 - {\sqrt{x}}}{2}}) +
                    629:  {}_2 F_1 (2\,a,2\,b,{\frac{1}{2}} + a + b,{\frac{1 + {\sqrt{x}}}{2}}) $\end{center}
                    630: $B$3$N8x<0$O(B 1881 $BG/$N(B E.Goursat $B$NO@J8$K5-:\$5$l$F$$$k(B
                    631: $BD64v2?4X?t$NFHN)JQ?t$NJQ498x<0$G$"$k(B.
                    632:
                    633:
                    634: \rightline{$B3+H/%A!<%U(B: $BEDB<(B}
                    635: \rightline{$B3+H/(B: $BEDB<(B, $B9b;3(B}
                    636: \rightline{$B8x<0JT=8%a%s%P!<(B:$BEDB<(B, $B9b;3(B,$BCf;3(B,$BF#F2(B,$BD9C+@n(B}
                    637:
                    638: \section{ OpenXM $B4XO"$N=PHGJ*(B }
                    639:
                    640: OpenXM 1.2 $B0J9_$K=PHG$5$l$?;qNA$N%j%9%H(B:
                    641: \begin{enumerate}
                    642: \item \cite{noro} $B$G$O(B Risa/Asir $B$NFbIt9=B$$N35MW$d(B Risa/Asir $B$N(B OpenXM $B$X$N(B
                    643: $BBP1~>u67$,2r@b$7$F$"$k(B.
                    644: \item \cite{asir-book} $B$OF|K\8l$K$h$k(B Risa/Asir $B%W%m%0%i%_%s%0$NF~Lg=q$G$"$k(B.
                    645: OpenXM $B$rMQ$$$?4JC1$JJ,;67W;;$X$NF~Lg$N>O$,$"$k(B.
                    646: \item OpenXM $B$NCfCG5!G=(B, $B6%Ah7W;;(B, $B$J$I$K$D$$$F$NC;$$%S%G%*(B.
                    647: \end{enumerate}
                    648:
                    649: \bigbreak
                    650:
                    651: $B0J>e(B OpenXM 1.2.2 $B$N?75!G=$r35@b$7$?(B.
                    652: $B>\$7$/$O(B {\tt http://www.openxm.org} $B$N(B CVS-web $B$rMQ$$$F%=!<%9%3!<%I(B
                    653: $B$NJQ99MzNr(B
                    654: $B$*$h$S%3%_%C%H;~$N%3%a%s%H$r;2>H$5$l$?$$(B.
                    655:
                    656: \begin{thebibliography}{99}
                    657: \bibitem{cohen}
                    658: A.Cohen, H.Cuypers, E.R.Barreiro, H. Sterk,
                    659: Interactive Mathematical Documents on the Web,
                    660: edited by M.Joswig and N.Takayama:
                    661: {\it Algebra, Geometry and Software Systems}, Springer,
                    662: 289--308, 2003 (to appear).
                    663: %
                    664: \bibitem{docbook}
                    665: {\tt http://www.docbook.org}
                    666: %
                    667: \bibitem{fujimoto}
                    668: M.Fujimoto, M.Suzuki,
                    669: A Handwriting Interface to Various Computer Algebra Systems via
                    670: OpenXM Framework,
                    671: Abstracts of
                    672: 8th International Conference on Applications of Computer Algebra,
                    673: 2002, Volos, Greece.
                    674: 103--104.
                    675: %
                    676: \bibitem{openmath}
                    677: {\tt http://www.openmath.org}
                    678: %
                    679: \bibitem{openxm}
                    680: {\tt http://www.openxm.org}
                    681: %
                    682: \bibitem{rims-1199} $B>.86(B, $B9b;3(B, $BEDB<(B, $BLnO$(B, $BA0@n(B,
                    683: OpenXM 1.1.3 $B$N35MW(B,
                    684: $B?tM}8&9V5fO?(B 1199 (2001 $BG/(B 4 $B7n(B), 179--191.
                    685: %
                    686: \bibitem{ascm2001}
                    687: M.Maekawa, M.Noro, N.Takayama, Y.Tamura, K.Ohara,
                    688: The Design and Implementation of OpenXM-RFC 100 and 101.
                    689: Computer Mathematics, Proceedings of the Fifth Asian Symposium
                    690: (ASCM 2001), edited by Shirayanagi and Yokoyama, World Scientific,
                    691: 102--111, 2001.
                    692: %
                    693: \bibitem{noda-murakami}
                    694: $B?91J(B, $BB<>e(B, $BLnED(B, $B?t3X8x<0%G!<%?%Y!<%9$H(B G $B4X?t(B,
                    695: preprint.
                    696: %
                    697: \bibitem{noro}
                    698: M.Noro
                    699: Computer Algebra System: Risa/Asir,
                    700: edited by M.Joswig and N.Takayama:
                    701: {\it Algebra, Geometry and Software Systems}, Springer,
                    702: 147--162, 2003 (to appear).
                    703: %
                    704: \bibitem{openxm-rfc100}
                    705: M.Noro, N.Takayama,
                    706: Design and Implementation of OpenXM Client-Server Model
                    707: and Common Mathematical Object Format (OpenXM-RFC 100). 1997, 2000. \\
                    708: {\tt http://www.math.sci.kobe-u.ac.jp/OpenXM/OpenXM-RFC.html} or
                    709: {\tt http://www.openxm.org}
                    710: %
                    711: \bibitem{asir-book}
                    712: $BLnO$(B, $B9b;3(B,  Risa/Asir $B%I%j%k(B,
                    713: {\tt http://www.math.kobe-u.ac.jp/Asir}
                    714: %%($BG[I[2A3J(B 1,000 $B1_(B ($BAwNAJL(B) or $BAwNA$N$_(B--- $B%"%s%1!<%H$K6(NO$N>l9g(B)
                    715: %
                    716: \bibitem{sasaki}
                    717: T.Sasaki, Y.Masunaga, Y.Saigusa, A.Abe, F.Motoyoshi, M.Sasaki,
                    718: Formula Database in Computer Algebra System GAL,
                    719: $B?tM}8&9V5fO?(B 663, $B72$HHyJ,J}Dx<0$N?t<0=hM}%7%9%F%`$N8&5f(B
                    720: (1988), 3--22.
                    721: %
                    722: \bibitem{solomon} A.Solomon, Distributed Computing for
                    723: Conglomerate Mathematical Systems,
                    724: edited by M.Joswig and N.Takayama:
                    725: {\it Algebra, Geometry and Software Systems}, Springer,
                    726: 309--326, 2003 (to appear).
                    727: \end{thebibliography}
                    728:
                    729: \end{document}

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>