Annotation of OpenXM/doc/Papers/rims-2002-12-12-ja.tex, Revision 1.4
1.4 ! takayama 1: % $OpenXM: OpenXM/doc/Papers/rims-2002-12-12-ja.tex,v 1.3 2002/12/06 09:32:29 noro 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}
1.4 ! takayama 50: $B$3$3$G$O$^$b$J$/$j!<%j!<%9$rM=Dj$7$F$$$k(B
1.1 takayama 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.
1.4 ! takayama 60: $B$H$/$K(B C $B$H(B unix $B$NOHAH$r$O$:$l$k$H(B OpenXM $B%5!<%P$r5/F0(B
1.1 takayama 61: $B$9$k$N$,$H$F$bLLE]$K$J$k(B.
1.4 ! takayama 62: $B$5$i$K5/F0$N$?$a$N%3!<%I$O(B OS $BKh$KJ,4t$5$;$kI,MW$,@8$8$k(B.
1.1 takayama 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,
1.4 ! takayama 254: Lineo $B$N(B Embedix $B$H$$$&L>A0$N(B OS (Linux $B7O(B) $B$r;}$D(B.
1.2 takayama 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}
1.3 noro 450: \item $B0L?t$N>.$5$$M-8BBN>e$G$NB?JQ?tB?9`<0$N0x?tJ,2r(B
451:
452: ({\tt sffctr},
453: {\tt OpenXM\_contrib2/asir2000/engine/Fgfs.c}).
454:
1.1 takayama 455: \end{enumerate}
456:
457: \noindent
458: {\tt ox\_sm1} $B$K$O<!$N?7$7$$?t3XE*5!G=$,2C$o$C$?(B($B9b;3(B).
459: \begin{enumerate}
460: \item Granger-Oaku $B$N(B Tangent Cone $B%"%k%4%j%:%`$N<BAu$N$?$a(B
461: $B2r@OE*HyJ,:nMQAG4D$K$*$1$kF1<!2=$r<BAu(B
1.3 noro 462: ({\tt ring\_of\_differential\_operators, weightHomogenization},
1.1 takayama 463: {\tt OpenXM/src/kan96xx/Kan/poly3.c}).
464: \item M.J.Ucha $B$N?7$7$$(B b-$B4X?t%"%k%4%j%:%`$N<BAu$N$?$a(B,
465: $B$"$kHyJ,:9J,:nMQAG4D$r<BAu(B
466: ({\tt ring\_of\_differential\_difference\_operators}).
467: \end{enumerate}
468:
469:
470: \section{ fb --- $BD64v2?4X?t%G%8%?%k8x<0=8$H(B OpenMath }
471:
472: OpenXM $B$G$O%3!<%I%M!<%`(B fb $B$G(B
473: $BD64v2?4X?t$N%G%8%?%k8x<0=8$r8&5f$7$F$$$k(B.
474: fb $B$O(B 1.2 $B7O$NL\6L$H$$$($k%b%8%e!<%k$G$"$k(B.
475: $B?t3X8x<0=8$N8&5f$O$?$H$($PF|K\$G$O(B, 1980 $BG/Be8eH>$N:4!9LZ$i$N8&5f(B
476: $B$,@h6nE*$G$"$k(B \cite{sasaki}.
477: $B$3$N8&5f$G$O?t<0$N8!:wK!(B, $B?t<0$N8x<0=8$K$h$k=q$-49$((B,
478: $B$*$h$S$=$l$KE,$7$?%G!<%?9=B$$,8&5f$5$l$?(B.
479: $B$5$i$K4dGH8x<0=8$r$b$H$K<B:]$N%G%8%?%k8x<0=8$r:n@.$7$?$,(B,
480: $BCx:n8"$NLdBj$,$"$j(B, $B8x3+$5$l$F$$$J$$(B.
481: $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
482: $B?91J(B, $BB<>e(B, $BLnED(B \cite{noda-murakami} $B$K$h$j:G6a?JE8$7$F$$$k(B.
483:
484: OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B,
485: $B<!$N;kE@$+$i%G%8%?%k8x<0=8$N@_7W<BAu$r$*$3$J$C$F$$$k(B.
486:
487: \begin{enumerate}
488: \item $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
489: $BJ];}$G$-$k8x<0=8(B.
490: \item $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k8x<0=8(B.
491: \item XML $B$N5!G=$r%U%k$K@8$+$7$?8x<0=8(B.
1.4 ! takayama 492: \item $B?t3X(B object $B$NF~NO$r87L)$K$+$DMF0W$K(B.
1.1 takayama 493: \item $BCx:n8"$NLdBj$,$J$$8x<0=8(B.
494: \item $BF~NO%_%9$NH/8+$rJd=u$9$k5!G=(B.
1.4 ! takayama 495: \item Web $B%Y!<%9$N(B Interactive $B$J5!G=$NDs6!(B.
1.1 takayama 496: \end{enumerate}
497:
498: $B0J2<$K$o$l$o$l$N@_7W$N35MW$r5-$9(B.
499: \begin{enumerate}
500: \item DocBook \cite{docbook} $B$*$h$S(B OpenMath \cite{openmath}
501: $B$N(B XML $B%?%0$r3HD%$7(B,
502: formula $B$r(B $B%H%C%W%N!<%I$H$9$kFH<+$N%?%0$r$$$/$D$+Dj5A$7$?(B.
503: $B$3$l$i$r$^$H$a$F(B fb XML $B%?%0%;%C%H$H$h$s$G$$$k(B.
504: $BD64v2?4X?t$K4XO"$9$k(B OpenMath Content Dictionary $B$,B8:_$7$J$$$?$a(B,
505: $B<+J,C#$G(B CD hypergeo0, hypergeo1, hypergeo2, hypergeon0, hypergeon1,
506: hypergeon2, weylalgebra1 $B$r3+H/$7$?(B
507: (OpenMath CD $B$N(B contrib $B$r;2>H(B \cite{openmath}).
508: $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.4 ! takayama 509: $BJ];}$G$-$k$h$&$K$J$C$?(B \cite{tamura}.
1.1 takayama 510: %A.Cohen $B$i$N(B Interactive Math Book $B$N%W%m%8%'%/%H$b(B
511: %DocBook $B$H(B OpenMath $B$N%?%0$r3HD%$9$k7A$G(B
512: %$B8&5f$7$F$$$k(B \cite{cohen}.
513: \item OpenMath $B$N(B XML $B$H(B Content Dictionary $B$O(B
514: $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k;EAH$_$G$"$k(B.
1.4 ! takayama 515: $B$?$H$($P(B Sasaki \cite{sasaki} $B$i$,;XE&$7$F$$$k$h$&$K(B,
! 516: $B@QJ,O)$N5!3#2DFI7A<0$NF~NO$NLdBj$O$d$d$3$7$$(B.
1.1 takayama 517: $B$?$H$($PA05-$N(B
518: $BD64v2?4X?t$K4XO"$9$k(B Content Dictionary $B$r$b$H$K9b;3$O(B
1.4 ! takayama 519: 1 $B<!85$N@QJ,O)$rI=8=$9$k(B Content Dictionary {\tt intpath1}
1.1 takayama 520: $B$rDj5A$7(B, $B$3$N(B Content Dictionary $B$OG$0U$N(B 1 $B<!85$N@QJ,O)$r(B
1.4 ! takayama 521: $BI=8=$G$-$k$3$H$r(B twisted (co)homology $B$NM}O@$rMQ$$$F<($7$?(B.
1.1 takayama 522: \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
523: $B8x<0=8$r<BAu$7$?(B. XML $B$N5!G=$,(B $B%G%8%?%k8x<0=8$K$b(B
524: $BM-8z$G$"$k$3$H$r3NG'$7$?(B. $B?^(B \ref{figure:fbcom} $B$N(B
1.4 ! takayama 525: $B3F%3%^%s%I$O<g$K(B Java $B$G<BAu$5$l$F$$$k(B \cite{tamura}.
1.1 takayama 526: %%Comment: $B$G$b?t<0$N3g8L$N>JN,$N=hM}$OLLE](B.
1.4 ! takayama 527: \item fb $B$G$O(B tfb $B$H$$$&8@8l$r@_7W$7$?(B.
1.1 takayama 528: tfb $B$O(B OpenMath $B%*%V%8%'%/%H$rI=8=$9$k$?$a$N8@8l$G$"$k(B.
529: OpenMath $B%W%m%8%'%/%H$G$O(B OpenMath $B%*%V%8%'%/%H(B $B$rF~NO$9$k$?$a$N(B
530: RIACA CD Editor($B%*%i%s%@(B) $B$d(B STAR/MathWriter (Stilo Technology)
531: %%Pic: coq-starts.jpg
532: $B$J$I$N(BGUI $B7?$N%W%m%0%i%`$,8&5f$5$l$F$$$k(B.
533: $B$3$N(B tfb $B$O(B
1.4 ! takayama 534: OpenMath $B%*%V%8%'%/%H$N87L)$JF~NO$,MF0W$G$"$k$N$rFCD'$H$7$F$$$k(B
! 535: \cite{tamura}.
! 536: \item $B$9$G$K=PHG$:$_$N8x<0=8$r$=$N$^$^F~NO$9$k$HCx:n8"$NLdBj$,@8$8$k(B.
! 537: fb $B$G$O(B 19$B@$5*(B, 20 $B@$5*$ND64v2?4X?t$N%*%j%8%J%kO@J8(B, $BK\$r$b$H$K(B
! 538: $B<+J,C#$G8x<0=8$NJT=8$r$*$3$J$C$F$*$j(B, $BCx:n8"$O(B OpenXM/fb $B$,J];}$9$k(B.
1.1 takayama 539: \item $B8x<0$NF~NO$K$O%_%9$,$D$-$b$N$G$"$k(B.
1.4 ! takayama 540: fb $B$G$O(B, $B?tCM7W;;$r$b$A$$$FL@$i$+$J8m$j$r8!=P$9$k;EAH$_$rDs6!$7$F$$$k(B
! 541: ($B$o$l$o$l$O$3$l$r(B checker $B$H8F$s$G$$$k(B).
1.1 takayama 542: $B$3$N;EAH$_$G$O(B OpenXM $BHG$N(B mathematica $B$*$h$S(B asir $B%5!<%P(B
543: $B$*$h$SA0=R$N(B OpenXM online $B$rMQ$$$F$$$k(B.
1.4 ! takayama 544: $B<B:]$K8x<0$NF~NO$r;O$a$F$_$F$o$+$C$?$3$H$G$"$k$,(B,
! 545: checker $B$N$*$+$2$G(B, $B8x<0F~NO:n6H$O3Z$7$/$+$D@53N$H$J$C$?(B \cite{tamura}.
! 546: \item A.Cohen $B$i$N(B Interactive Math Book $B$N%?%0(B(Eindhoven tag library)
! 547: $B$rMQ$$$F(B, Interactive $B$J5!G=$r5-=R$9$k(B \cite{cohen}.
! 548: Interactive $B5!G=$O8x<0=8$K$H$j=EMW$G(B,
! 549: $B$?$H$($P8x<0$r;2>H$9$k$H$-$KJQ?t$NCV$-49$($OJXMx$G$"$k(B.
1.1 takayama 550: \end{enumerate}
1.4 ! takayama 551: $B$J$*(B, (1) $B!A(B (6) $B$O%G%8%?%k8x<0=8$H$7$F?7$7$$;n$_$G$"$k(B.
1.1 takayama 552:
553: \begin{figure}[tb]
554: \begin{tabular}{|l|l|}
555: \hline
556: fb XML & DocBook $B%?%0(B(Top), OpenMath $B%?%0(B, MathBook $B%?%0(B,
557: formula $B%?%0(B($BFH<+(B) \\ \hline
558: fb (tfb) XML &
559: DocBook $B%?%0(B(Top), tfb $B%?%0(B($BFH<+(B) , MathBook $B%?%0(B,
560: formula $B%?%0(B($BFH<+(B), \\ \hline
561: fb (formula) XML &
562: formula $B%?%0(B(Top, $BFH<+(B), OpenMath $B%?%0(B,
563: DocBook $B%?%0(B ($B0lIt(B) \\ \hline
564: fb (formula,tfb) XML &
565: formula $B%?%0(B(Top, $BFH<+(B), tfb $B%?%0(B($BFH<+(B),
566: DocBook $B%?%0(B ($B0lIt(B) \\ \hline
567: \end{tabular}
568: \caption{ fb XML $BJ8=q$N%P%j%(!<%7%g%s(B}
569: \end{figure}
570:
571: \begin{figure}[tb]
572: \begin{tabular}{|l|l|}
573: \hline
574: {\tt tfb2fb.sh} & fb (tfb) XML $BJ8=q(B
575: $B$r(B fb XML $BJ8=q$XJQ49(B \\ \hline
576: & fb (formula,tfb) XML $BJ8=q(B
577: $B$r(B fb (formula) XML $BJ8=q$XJQ49(B \\ \hline
578: {\tt tfb2ocd.sh} & ($B8_49@-$N$?$a;D$7$F$"$k(B) \\ \hline
579: {\tt fb2tex.sh} & fb XML $BJ8=q$h$j(B LaTeX $B$X$NJQ49(B \\ \hline
580: {\tt ocd2tex.sh} & ($B8_49@-$N$?$a;D$7$F$"$k(B) \\ \hline
581: {\tt formula2tex.sh} & fb (formula) XML $BJ8=q$h$j(B LaTeX $B$X$NJQ49(B \\ \hline
582: {\tt asir2tfb.sh} & asir $B7A<0$+$i(B tfb $B7A<0$X$NJQ49(B \\ \hline
583: {\tt tfb2asir-check*.sh} & fb (formula,tfb) XML $BJ8=q(B $B$h$j(B
584: asir checker $B$X(B.\\ \hline
585: {\tt tfb2math-check.sh} & fb (formula,tfb) XML $BJ8=q(B $B$h$j(B
586: Mathematica checker $B$X(B.\\ \hline
587: \end{tabular}
588: \caption{ fb $B$NJQ49%3%^%s%I(B($B0lIt(B)}
589: \label{figure:fbcom}
590: \end{figure}
591:
592:
593:
594: $B<!$O(B fb (formula,tfb) XML$BJ8=q$NNc(B ({\tt fb/formula/h21-0060.tfb}).
595: {\small
596: \begin{verbatim}
597: <?xml version="1.0" encoding="ISO-2022-JP"?>
598: <?xml-stylesheet type="text/xsl" href="fb.xsl"?>
599: <formula>
600: <tfb>
601: 2 ~arith1.times~ arith1.root(nums1.pi,2)
602: ~arith1.times~ hypergeo0.gamma(a ~arith1.plus~ b ~arith1.plus~
603: (1 ~arith1.divide~ 2))
604: ~arith1.divide~ hypergeo0.gamma(a ~arith1.plus~ (1 ~arith1.divide~ 2))
605: ~arith1.divide~ hypergeo0.gamma(b ~arith1.plus~ (1 ~arith1.divide~ 2))
606: ~arith1.times~ hypergeo1.hypergeometric2F1(a,b,1 ~arith1.divide~ 2,x)
607: ~relation1.eq~
608: (hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
609: a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
610: 1 ~arith1.plus~ arith1.root(x,2) ~arith1.divide~ 2)
611: ~arith1.plus~
612: hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
613: a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
614: 1 ~arith1.minus~ arith1.root(x,2) ~arith1.divide~ 2));
615: </tfb>
616:
617: <editor> Yasushi Tamura </editor>
618:
619: <description>
620: Quadratic transformation of independent variable
621: </description>
622:
1.4 ! takayama 623: <reference>
! 624: <xref linkend="goursat1" page="118"/>
! 625: </reference>
1.1 takayama 626:
627: <evidence checker="Mathematica">
628: @@ /. {a->1/2,b->3/5,c->-2/11,x->0.2}
629: </evidence>
630:
631: </formula>
632: \end{verbatim}
633: }
634:
635: %% Prog: tfb-addtex ../../formula/h21-0060.tfb
636: %% tfb2fb.sh <../../formula/h21-0060.tfb-auto-tex.tfb | formula2tex.sh >t.tex
637: %% platex t
638: $B$3$N8x<0$r(B
1.4 ! takayama 639: \TeX $B$X$NJQ49%D!<%k$G%W%l%<%s%F!<%7%g%s7A<0$KJQ49$7$?$b$N$O(B
1.1 takayama 640: \begin{center}$ {\frac{2\,{\sqrt{\pi }}\,\Gamma ({\frac{1}{2}} + a + b)\,{}
641: _2 F_1 (a,b,{\frac{1}{2}},x)}{\Gamma ({\frac{1}{2}} + a)\,\Gamma ({\frac{1}{2}}
642: + b)}} = {}_2 F_1 (2\,a,2\,b,{\frac{1}{2}} + a + b,{\frac{1 - {\sqrt{x}}}{2}}) +
643: {}_2 F_1 (2\,a,2\,b,{\frac{1}{2}} + a + b,{\frac{1 + {\sqrt{x}}}{2}}) $\end{center}
644: $B$3$N8x<0$O(B 1881 $BG/$N(B E.Goursat $B$NO@J8$K5-:\$5$l$F$$$k(B
645: $BD64v2?4X?t$NFHN)JQ?t$NJQ498x<0$G$"$k(B.
646:
647:
648: \rightline{$B3+H/%A!<%U(B: $BEDB<(B}
649: \rightline{$B3+H/(B: $BEDB<(B, $B9b;3(B}
650: \rightline{$B8x<0JT=8%a%s%P!<(B:$BEDB<(B, $B9b;3(B,$BCf;3(B,$BF#F2(B,$BD9C+@n(B}
651:
652: \section{ OpenXM $B4XO"$N=PHGJ*(B }
653:
1.4 ! takayama 654: OpenXM 1.1.3 $B0J9_$K=PHG$5$l$?;qNA$N%j%9%H(B:
1.1 takayama 655: \begin{enumerate}
656: \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
657: $BBP1~>u67$,2r@b$7$F$"$k(B.
658: \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.
659: OpenXM $B$rMQ$$$?4JC1$JJ,;67W;;$X$NF~Lg$N>O$,$"$k(B.
660: \item OpenXM $B$NCfCG5!G=(B, $B6%Ah7W;;(B, $B$J$I$K$D$$$F$NC;$$%S%G%*(B.
661: \end{enumerate}
662:
663: \bigbreak
664:
665: $B0J>e(B OpenXM 1.2.2 $B$N?75!G=$r35@b$7$?(B.
666: $B>\$7$/$O(B {\tt http://www.openxm.org} $B$N(B CVS-web $B$rMQ$$$F%=!<%9%3!<%I(B
1.4 ! takayama 667: $B$NJQ99MzNr$*$h$S%3%_%C%H;~$N%3%a%s%H$r;2>H$5$l$?$$(B.
! 668:
1.1 takayama 669:
670: \begin{thebibliography}{99}
671: \bibitem{cohen}
672: A.Cohen, H.Cuypers, E.R.Barreiro, H. Sterk,
673: Interactive Mathematical Documents on the Web,
674: edited by M.Joswig and N.Takayama:
675: {\it Algebra, Geometry and Software Systems}, Springer,
676: 289--308, 2003 (to appear).
677: %
1.4 ! takayama 678: \bibitem{digital-lib}
! 679: Digital Library of Mathematical Functions (Digital Abramowitz and Stegun)
! 680: {\tt http://dlmf.nist.gov/}
! 681: %
! 682: %
1.1 takayama 683: \bibitem{docbook}
684: {\tt http://www.docbook.org}
685: %
686: \bibitem{fujimoto}
687: M.Fujimoto, M.Suzuki,
688: A Handwriting Interface to Various Computer Algebra Systems via
689: OpenXM Framework,
690: Abstracts of
691: 8th International Conference on Applications of Computer Algebra,
692: 2002, Volos, Greece.
693: 103--104.
694: %
695: \bibitem{openmath}
696: {\tt http://www.openmath.org}
697: %
698: \bibitem{openxm}
699: {\tt http://www.openxm.org}
700: %
701: \bibitem{rims-1199} $B>.86(B, $B9b;3(B, $BEDB<(B, $BLnO$(B, $BA0@n(B,
702: OpenXM 1.1.3 $B$N35MW(B,
703: $B?tM}8&9V5fO?(B 1199 (2001 $BG/(B 4 $B7n(B), 179--191.
704: %
705: \bibitem{ascm2001}
706: M.Maekawa, M.Noro, N.Takayama, Y.Tamura, K.Ohara,
707: The Design and Implementation of OpenXM-RFC 100 and 101.
708: Computer Mathematics, Proceedings of the Fifth Asian Symposium
709: (ASCM 2001), edited by Shirayanagi and Yokoyama, World Scientific,
710: 102--111, 2001.
711: %
712: \bibitem{noda-murakami}
713: $B?91J(B, $BB<>e(B, $BLnED(B, $B?t3X8x<0%G!<%?%Y!<%9$H(B G $B4X?t(B,
714: preprint.
715: %
716: \bibitem{noro}
717: M.Noro
718: Computer Algebra System: Risa/Asir,
719: edited by M.Joswig and N.Takayama:
720: {\it Algebra, Geometry and Software Systems}, Springer,
721: 147--162, 2003 (to appear).
722: %
723: \bibitem{openxm-rfc100}
724: M.Noro, N.Takayama,
725: Design and Implementation of OpenXM Client-Server Model
726: and Common Mathematical Object Format (OpenXM-RFC 100). 1997, 2000. \\
727: {\tt http://www.math.sci.kobe-u.ac.jp/OpenXM/OpenXM-RFC.html} or
728: {\tt http://www.openxm.org}
729: %
730: \bibitem{asir-book}
731: $BLnO$(B, $B9b;3(B, Risa/Asir $B%I%j%k(B,
732: {\tt http://www.math.kobe-u.ac.jp/Asir}
733: %%($BG[I[2A3J(B 1,000 $B1_(B ($BAwNAJL(B) or $BAwNA$N$_(B--- $B%"%s%1!<%H$K6(NO$N>l9g(B)
734: %
735: \bibitem{sasaki}
736: T.Sasaki, Y.Masunaga, Y.Saigusa, A.Abe, F.Motoyoshi, M.Sasaki,
737: Formula Database in Computer Algebra System GAL,
738: $B?tM}8&9V5fO?(B 663, $B72$HHyJ,J}Dx<0$N?t<0=hM}%7%9%F%`$N8&5f(B
739: (1988), 3--22.
740: %
741: \bibitem{solomon} A.Solomon, Distributed Computing for
742: Conglomerate Mathematical Systems,
743: edited by M.Joswig and N.Takayama:
744: {\it Algebra, Geometry and Software Systems}, Springer,
745: 309--326, 2003 (to appear).
1.4 ! takayama 746: %
! 747: \bibitem{tamura}
! 748: Y.Tamura,
! 749: Content Dictionaries and
! 750: an Electronic Formula Book for Hypergeometric Functions,
! 751: preprint
! 752: %
! 753: \bibitem{wolfram}
! 754: Wolfram Research's Mathematical Functions, \\
! 755: {\tt http://functions.wolfram.com}
1.1 takayama 756: \end{thebibliography}
757:
758: \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