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