Annotation of OpenXM/doc/Papers/rims-2002-12-12-ja-ohp.tex, Revision 1.1
1.1 ! takayama 1: %% $OpenXM$
! 2: %% Moved from misc-2002/12/rims-ohp/ohp.tex
! 3: %% $Id: ohp.tex,v 1.3 2002/12/07 11:40:02 taka Exp$
! 4: %% xdvi -paper a4r ohp
! 5: %% dvips -f -t landscape ohp | psnup -4 -r | lpr -Pxerox6
! 6: \documentclass{slides}
! 7: \usepackage{color}
! 8: \usepackage{rgb}
! 9: \usepackage{epsfig}
! 10: %\def\color#1{ }
! 11: %\def\epsffile#1{ Picture File: #1 }
! 12: %\def\epsfxsize{ }
! 13: %% Sample:
! 14: %% \epsfxsize=17cm
! 15: %% \epsffile{cz.ps}
! 16:
! 17: \textwidth 9.2in
! 18: \textheight 7.2in
! 19: \columnsep 0.33in
! 20: \topmargin -1in
! 21:
! 22: \def\nnn{ {\color{red} $\bullet$}\ } %% $B;v<B(B
! 23: \def\eee{ {\color{magenta} Example}:\ } %% $BNc(B
! 24: \def\ttt{ {\color{red} $\bullet$}\ } %% $BDjM}(B
! 25:
! 26: \begin{document}
! 27: \noindent
! 28: \begin{center}
! 29: {\color{magenta} OpenXM 1.2.2 $B$N35MW(B}
! 30: \end{center}
! 31: %% 2002, 12/12 (Thu), 10:40--11:10?
! 32: \begin{center}
! 33: OpenXM $B3+H/%0%k!<%W(B: http://www.openxm.org
! 34: \end{center}
! 35: \begin{enumerate}
! 36: \item oxd $B%9!<%Q!<%5!<%P(B
! 37: \item $B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$''
! 38: \item OpenXM $B$N%U%m%s%H%(%s%I(B
! 39: \item OpenXM/Risa/Asir/Contrib
! 40: \item $B%5!<%P$N?7$7$$?t3X4X?t(B
! 41: \item fb --- $BD64v2?4X?t%G%8%?%k8x<0=8$H(B OpenMath
! 42: \item OpenXM $B4XO"$N=PHGJ*(B
! 43: \end{enumerate}
! 44: \newpage
! 45:
! 46: \noindent \quad \\
! 47: \nnn $B?t3X$G$NJBNs7W;;(B, \\
! 48: \nnn $B?t3X%=%U%H%&%(%"$NE}9g2=(B $B$^$?$O(B Conglomerate $B2=(B (A.Solomon) \\
! 49: \nnn $B?t3XE*CN<1$N%^%M!<%8%a%s%H(B (Mathematical Knowledge Management) \\
! 50: \nnn $B<B:]$K?t3X$N8&5f$d?t3X$N1~MQ$K;H$($k%Q%C%1!<%8$N3+H/(B
! 51:
! 52: \noindent \quad \\
! 53: \nnn OpenXM 1.1.1 (January 24, 2000): $B:G=i$N<B83HG(B. \\
! 54: \nnn OpenXM 1.1.2 (March 20, 2000): $B$H$j$"$($:;H$($kHG(B. \\
! 55: \nnn OpenXM 1.1.3 (September 26, 2000): 1.1 $B7O$N:G=*HG(B. OpenXM RFC 100 $B7A<0(B
! 56: $B$N%W%m%;%9LZ(B. 1077 $B8D$N?t3X4X?t$rDs6!(B.
! 57: $BDs6!$7$F$$$k%5!<%P$O(B {\tt ox\_asir}, {\tt ox\_sm1},
! 58: {\tt ox\_phc}, {\tt ox\_gnuplot}, {\tt ox\_m2}, {\tt ox\_tigers},
! 59: {\tt ox\_math}(ematica), {\tt OMproxy}. \\
! 60: \nnn OpenXM 1.2.1 (March 2, 2002): Cygwin (Windows) $B$X$NBP1~3+;O(B.
! 61: $B%^%K%e%"%k<+F0@8@.(B(gentexi)$B$J$I(B. \\
! 62:
! 63: \newpage
! 64: \noindent
! 65: 1. {\color{blue} oxd $B%9!<%Q!<%5!<%P(B}
! 66:
! 67: unix $+$ Windows, Java $\Rightarrow$
! 68: {\color{magenta} OpenXM $B%5!<%P$N5/F0$,HQ;((B }
! 69:
! 70: \noindent $B2r7h:v(B \\
! 71: \nnn Corba $B$J$I$N(B Agent $B$N;EAH$_$rMQ$$$k(B. \\
! 72: \nnn ssh $B$H(B oxc $B$rMQ$$$k(B OpenXM RFC 101 ($B>.86(B) $B$rMQ$$$k(B. \\
! 73:
! 74: \noindent
! 75: {\color{red} oxd } :
! 76: RFC 100, 101 $BN>J}$KBP1~$7$+$D(B, OpenXM $B%5!<%P$rMF0W$K5/F0(B
! 77: $B$G$-$k$h$&$J%9!<%Q%5!<%P(B. \\
! 78: oxd $BDL?.%3%^%s%I$O(B XML $B7A<0(B:
! 79: $B%H%C%W%N!<%I$O(B \verb@ <login> @ $B!A(B \verb@ </login> @
! 80: \newpage
! 81:
! 82: \noindent $B%/%i%$%"%s%HB&(B: \\
! 83: {\color{magenta} {\begin{verbatim}
! 84: <login method="file">
! 85: \end{verbatim}}}
! 86: {{\begin{verbatim}
! 87: <challenge file="/home/taka/.oxd10793"/>
! 88: ?
! 89: \end{verbatim}}}
! 90: {\color{magenta} {\begin{verbatim}
! 91: <done/>
! 92: <launch> ox -ox ox_asir -reverse -control 3167
! 93: -data 3168 -finish </launch>
! 94: \end{verbatim}}}
! 95: {{\begin{verbatim}
! 96: <suceeded/>
! 97: \end{verbatim}}}
! 98:
! 99: {\color{blue}
! 100: \begin{verbatim}
! 101: asir = new OpenXM("ox_asir");
! 102: \end{verbatim}
! 103: }
! 104:
! 105: \rightline{$B3+H/(B: $B9b;3(B}
! 106: \newpage
! 107:
! 108: \noindent
! 109: 2.1. {\color{blue} $B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$'':
! 110: $B%6%&%k%9(B $BBP1~(B
! 111: }
! 112:
! 113: $B%7%c!<%W$N%6%&%k%9(B {\color{red} SL-A300 } \\
! 114: Intel $B$N(B Arm $B7O(B CPU Xscale(PXA210 200MHz),
! 115: Lineo $B$N(B Embedix.
! 116:
! 117: GC, {\tt OpenXM\_contrib2/asir2000/asm/asmalpha.c}
! 118:
! 119: $B;HMQ$7$F$_$?46A[$O0U30$KB.$$(B(Pentium 200MHz$B$/$i$$(B?).
! 120:
! 121: \rightline{$B3+H/(B: $BF#K\(B}
! 122:
! 123: \newpage
! 124: \noindent
! 125: 2.2. {\color{blue} $B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$'':
! 126: OpenXM Online
! 127: }
! 128:
! 129: Asir Online : \\
! 130: {\color{red} {\tt http://fe.math.kobe-u.ac.jp:8090}}
! 131: ($B<B831?MQ(B). \\
! 132: HTTP $B$rM}2r$9$k%5!<%P(B (httpd) : kan/sm1 $B$N%]%9%H%9%/%j%W%H8@8l(B
! 133: $B$G<BAu$5$l$F$$$k(B
! 134: ({\tt OpenXM/src/kan96xx/Doc/httpd*.sm1}). \\
! 135: OpenXM $B%(%s%8%s$KBP$9$k(B Remote Procedure Call.
! 136: %%Pic: asir-online.gif
! 137:
! 138: {\color{blue} \underline{$BCfCG$NEAGE$H%j%=!<%9$N@)8B(B}} \\
! 139: OpenXM RFC 100 ($B%(%s%8%s$N7W;;$rCfCG$9$k%m%P%9%H$J%W%m%H%3%k(B) \\
! 140: $B$7$+$7$J$,$i(B, $B%(%s%8%s4V$GCfCG$rEAGE$5$;$k;EAH$_$K$D$$$F$O(B,
! 141: $BI8=`$r$J$K$b7h$a$F$$$J$$(B.
! 142:
! 143: \noindent
! 144: $B>e0U2<C#$NCfCG=hM}(B: \\
! 145: \ttt $B<+J,$N;R6!%W%m%;%9$r$9$Y$F%j%9%H$9$k(B
! 146: ({\tt ox\_get\_serverinfo() }). \\
! 147: \ttt $B;R6!%W%m%;%9$K=gHV$K(B OpenXM-RFC 100 $B$NCfCG%a%C%;!<%8$rAw$k(B. \\
! 148:
! 149:
! 150: \rightline{$B3+H/(B: $B9b;3(B}
! 151:
! 152: \newpage
! 153: \noindent
! 154: 3. {\color{blue} OpenXM $B$N%U%m%s%H%(%s%I(B
! 155: }
! 156:
! 157: {\color{red} Infty Editor} ($B6e=#(B, $BNkLZ$i(B)
! 158: $\Rightarrow$ OpenXM $B%(%s%8%s(B \\
! 159: {\color{red} Infty Editor} $B$G(B asir $B8@8l$N%5%]!<%H(B.
! 160:
! 161:
! 162:
! 163: \rightline{$B3+H/(B: $BF#K\(B}
! 164: \newpage
! 165: \noindent
! 166: 4. {\color{blue} OpenXM/Risa/Asir/Contrib }
! 167:
! 168: OpenXM/Risa/Asir (OpenXM $BHG(B Risa/Asir) : OpenXM $B%Q%C%1!<%8$N(B
! 169: $B%a%$%s$N%/%i%$%"%s%H(B. \\
! 170: asir $B8@8l$G$+$+$l$?3F<o?t3X4X?t(B,
! 171: $B%f!<%F%#%j%#%F%#4X?t$*$h$S(B OpenXM $B%5!<%P$H$N%$%s%?%U%'!<%94X?t$r3+H/(B.
! 172:
! 173: {\tt \color{magenta}
! 174: base\_cancel
! 175: base\_choose
! 176: base\_flatten
! 177: base\_intersection
! 178: base\_memberq
! 179: base\_permutation
! 180: base\_position
! 181: base\_prune
! 182: base\_replace
! 183: base\_set\_minus
! 184: base\_set\_union
! 185: base\_subsetq
! 186: base\_subsets\_of\_size}
! 187: {\tt \color{blue}
! 188: dsolv\_dual
! 189: dsolv\_starting\_term
! 190: }
! 191: {\tt \color{red}
! 192: glib\_line
! 193: glib\_open
! 194: glib\_plot
! 195: glib\_print
! 196: glib\_putpixel
! 197: glib\_tops
! 198: glib\_window}
! 199: {\tt \color{magenta}
! 200: gnuplot
! 201: gnuplot\_heat
! 202: gnuplot\_output
! 203: gnuplot\_plot\_dots
! 204: gnuplot\_plot\_function
! 205: gnuplot\_start
! 206: hilbert\_polynomial}
! 207: {\tt \color{blue}
! 208: m\_rtostr
! 209: m\_start
! 210: m\_tree\_to\_string
! 211: }
! 212: {\tt \color{red}
! 213: matrix\_clone
! 214: matrix\_det
! 215: matrix\_diagonal\_matrix
! 216: matrix\_eigenavalues
! 217: matrix\_identity\_matrix
! 218: matrix\_inner\_product
! 219: matrix\_inverse
! 220: matrix\_kernel
! 221: matrix\_list\_to\_matrix
! 222: matrix\_matrix\_to\_list
! 223: matrix\_rank
! 224: matrix\_solve\_linear
! 225: matrix\_submatrix
! 226: matrix\_transpose}
! 227: {\tt \color{magenta}
! 228: om\_start
! 229: om\_xml
! 230: om\_xml\_to\_cmo
! 231: }
! 232: {\tt \color{blue}
! 233: ox\_check\_errors2
! 234: ox\_sm1\_forAsir}
! 235: {\tt \color{red}
! 236: phc
! 237: phc\_start}
! 238: {\tt \color{magenta}
! 239: plucker\_relation
! 240: }
! 241: {\tt \color{blue}
! 242: poly\_degree
! 243: poly\_elimination\_ideal
! 244: poly\_factor
! 245: poly\_gcd
! 246: poly\_grobner\_basis
! 247: poly\_hilbert\_polynomial
! 248: poly\_initial
! 249: poly\_initial\_coefficients
! 250: poly\_initial\_term
! 251: poly\_solve\_linear
! 252: }
! 253: {\tt \color{red}
! 254: print\_dvi\_form
! 255: print\_em
! 256: print\_gif\_form
! 257: print\_input\_form
! 258: print\_open\_math\_tfb\_form
! 259: print\_open\_math\_xml\_form
! 260: print\_output
! 261: print\_ox\_rfc100\_xml\_form
! 262: print\_png\_form
! 263: print\_terminal\_form
! 264: print\_tex\_form
! 265: print\_tfb\_form
! 266: print\_xdvi\_form
! 267: print\_xv\_form
! 268: }
! 269: {\tt \color{magenta}
! 270: sm1
! 271: sm1\_ahg
! 272: sm1\_appell1
! 273: sm1\_appell4
! 274: sm1\_auto\_reduce
! 275: sm1\_bfunction
! 276: sm1\_deRham
! 277: sm1\_distraction
! 278: sm1\_gb
! 279: sm1\_generalized\_bfunction
! 280: sm1\_genericAnn
! 281: sm1\_gkz
! 282: sm1\_hilbert
! 283: sm1\_mul
! 284: sm1\_push\_int0
! 285: sm1\_rank
! 286: sm1\_reduction
! 287: sm1\_restriction
! 288: sm1\_saturation
! 289: sm1\_slope
! 290: sm1\_start
! 291: sm1\_syz
! 292: sm1\_wTensor0
! 293: sm1\_xml\_tree\_to\_prefix\_string
! 294: }
! 295: {\tt \color{blue}
! 296: tigers
! 297: }
! 298: {\tt \color{magenta}
! 299: util\_filter
! 300: util\_find\_and\_replace
! 301: util\_find\_substr
! 302: util\_load\_file\_as\_a\_string
! 303: util\_part
! 304: util\_read\_file\_as\_a\_string
! 305: util\_remove\_cr
! 306: util\_write\_string\_to\_a\_file
! 307: }
! 308:
! 309: \rightline{$B3+H/(B: $BLnO$(B, $BCf;3(B, $B9b;3(B}
! 310: \newpage
! 311: \noindent
! 312: 5. {\color{blue} $B%5!<%P$N?7$7$$?t3X4X?t(B}
! 313:
! 314: \noindent
! 315: {\tt \color{red} ox\_asir} ($BLnO$(B). \\
! 316: $B0L?t$N>.$5$$M-8BBN>e$G$NB?JQ?tB?9`<0$N0x?tJ,2r(B \\
! 317: ({\tt \color{magenta} sffctr},
! 318: {\tt OpenXM\_contrib2/asir2000/engine/Fgfs.c}).
! 319: $BM-8BBN>e$G$N=`AG%$%G%"%kJ,2rMQ(B
! 320:
! 321: \noindent
! 322: {\tt \color{red} ox\_sm1} ($B9b;3(B). \\
! 323: $B2r@OE*HyJ,:nMQAG4D$K$*$1$kF1<!2=(B \\
! 324: ({\tt \color{magenta} ring\_of\_differential\_operators, weightHomogenization}, \\
! 325: {\tt OpenXM/src/kan96xx/Kan/poly3.c}).
! 326: Granger-Oaku $B$N(B Tangent Cone $B%"%k%4%j%:%`MQ(B
! 327:
! 328: \newpage
! 329: \noindent
! 330: 6. {\color{blue} OpenXM/fb --- $BD64v2?4X?t%G%8%?%k8x<0=8$H(B OpenMath }
! 331:
! 332: \nnn 1980 $BG/Be8eH>$N:4!9LZ$i$N8&5f(B.
! 333: ($B?t<0$N8!:wK!(B, $B?t<0$N8x<0=8$K$h$k=q$-49$((B, $B%G!<%?9=B$(B,
! 334: $B4dGH8x<0=8$r$b$H$K$7$?%G%8%?%k8x<0=8(B) \\
! 335: \nnn $BB3$-(B: $B?91J(B, $BB<>e(B, $BLnED(B. \\
! 336: \nnn {\tt http://functions.wolfram.com} \\ %%Pic: functions-wolfram.gif
! 337: \nnn {\tt http://dlmf.nist.gov/} \\ %%Pic: as-digital-fb.gif
! 338: \nnn OMDoc \\
! 339:
! 340:
! 341: \noindent \quad \\
! 342: \nnn $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
! 343: $BJ];}$G$-$k8x<0=8(B $\Rightarrow$ {\color{blue} fb $B%?%0(B},
! 344: {\color{magenta} OpenMath}, {\color{blue} hypergeo*.ocd} \\
! 345: \nnn $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k8x<0=8(B
! 346: $\Rightarrow$ {\color{magenta} OpenMath}, {\color{blue} hypergeo*.ocd},
! 347: {\color{blue} intpath*.ocd} \\
! 348: \nnn XML $B$N5!G=$r%U%k$K@8$+$7$?8x<0=8(B \\
! 349: \nnn $B?t3X(B object $B$NF~NO$r87L)$K$+$DMF0W$K(B $\Rightarrow$ {\color{blue} tfb}$B8@8l(B \\
! 350: \nnn $BCx:n8"$NLdBj$,$J$$8x<0=8(B. \\
! 351: \nnn $BF~NO%_%9$NH/8+$rJd=u$9$k5!G=(B $\Rightarrow$ {\color{blue} fb-checker}\\
! 352: \nnn Web $B%Y!<%9$N(B Interactive $B$J5!G=$NDs6!(B
! 353: $\Rightarrow$ {\color{magenta} MathBook $B%?%0(B} \\
! 354:
! 355: \newpage
! 356:
! 357: \noindent \quad \\
! 358: \ttt DocBook (http://www.docbook.org), OpenMath (http://www.openmath.org)
! 359: $B$N(B XML $B%?%0$r3HD%(B (cf. A.Cohen et al):
! 360: formula $B$r(B $B%H%C%W%N!<%I$H$9$kFH<+$N%?%0(B
! 361: $\Rightarrow$ {\color{blue} fb XML $B%?%0(B} \\
! 362: {\color{red} new CD}:
! 363: hypergeo0, hypergeo1, hypergeo2, hypergeon0, hypergeon1,
! 364: hypergeon2, weylalgebra1 \\ %%Pic: ocd-contrib.gif, hypergeo1.gif
! 365: \ttt OpenMath $B$N(B XML $B$H(B Content Dictionary $B$O(B
! 366: $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k;EAH$_(B: \\
! 367: $B@QJ,O)$N5!3#2DFI7A<0$NF~NO$NLdBj(B
! 368: $\Rightarrow$
! 369: 1 $B<!85$N@QJ,O)$rI=8=$9$k(B Content Dictionary {\tt intpath1} ($B9b;3(B)
! 370: $B$rDj5A(B. \\
! 371: \ttt DOM $B$d(B XSL $B$J$I(B XML $B$N5!G=(B.
! 372: XML $B$N5!G=$,(B $B%G%8%?%k8x<0=8$K$b(B
! 373: $BM-8z$G$"$k$3$H$r3NG'$7$?(B. \\
! 374: \ttt {\color{blue} tfb} $B$O(B OpenMath $B%*%V%8%'%/%H$rI=8=$9$k$?$a$N8@8l$G$"$k(B. \\
! 375: cf. RIACA CD Editor($B%*%i%s%@(B) $B$d(B STAR/MathWriter (Stilo Technology)
! 376: %%Pic: coq-starts.jpg
! 377: (GUI $B7?(B) \\
! 378: tfb $B$NFCD'(B:
! 379: OpenMath $B%*%V%8%'%/%H$N87L)$JF~NO$,MF0W$G$"$k$N$rFCD'(B \\
! 380: \newpage
! 381: \noindent \quad \\
! 382: \ttt
! 383: 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
! 384: $B<+J,C#$G8x<0=8$NJT=8(B. $BCx:n8"$O(B OpenXM/fb (Open $B$JAH?%(B) $B$,J];}$9$k(B. \\
! 385: \ttt $B8x<0$NF~NO$K$O%_%9$,$D$-$b$N$G$"$k(B.
! 386: fb $B$G$O(B, $B?tCM7W;;$r$b$A$$$FL@$i$+$J8m$j$r8!=P$9$k;EAH$_$rDs6!(B
! 387: ({\color{blue} fb checker}). \\
! 388: OpenXM $BHG$N(B mathematica $B$*$h$S(B asir $B%5!<%P(B
! 389: $B$*$h$SA0=R$N(B OpenXM online $B$rMxMQ(B.
! 390: $B<B:]$K8x<0$NF~NO$r;O$a$F$_$F$o$+$C$?$3$H(B: \\
! 391: {\color{red} \underline{checker $B$N$*$+$2$G(B,
! 392: $B8x<0F~NO:n6H$O3Z$7$/$+$D@53N(B}} \\
! 393: \ttt A.Cohen $B$i$N(B Interactive MathBook $B$N%?%0(B(Eindhoven tag library).
! 394: Interactive $B5!G=$O8x<0=8$K$H$j=EMW$G(B,
! 395: $B$?$H$($P8x<0$r;2>H$9$k$H$-$KJQ?t$NCV$-49$($OJXMx(B. \\
! 396: %%Pic: fb-h21-0040-replace.gif
! 397:
! 398: \newpage
! 399:
! 400: fb(formula,tfb)XML$BJ8=q$NNc(B ({\tt fb/formula/h21-0060.tfb}).
! 401: {\small
! 402: \begin{verbatim}
! 403: <?xml version="1.0" encoding="ISO-2022-JP"?>
! 404: <?xml-stylesheet type="text/xsl" href="fb.xsl"?>
! 405: <formula>
! 406: <tfb>
! 407: 2 ~arith1.times~ arith1.root(nums1.pi,2)
! 408: ~arith1.times~ hypergeo0.gamma(a ~arith1.plus~ b ~arith1.plus~
! 409: (1 ~arith1.divide~ 2))
! 410: ~arith1.divide~ hypergeo0.gamma(a ~arith1.plus~ (1 ~arith1.divide~ 2))
! 411: ~arith1.divide~ hypergeo0.gamma(b ~arith1.plus~ (1 ~arith1.divide~ 2))
! 412: ~arith1.times~ hypergeo1.hypergeometric2F1(a,b,1 ~arith1.divide~ 2,x)
! 413: ~relation1.eq~
! 414: (hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
! 415: a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
! 416: 1 ~arith1.plus~ arith1.root(x,2) ~arith1.divide~ 2)
! 417: ~arith1.plus~
! 418: hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
! 419: a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
! 420: 1 ~arith1.minus~ arith1.root(x,2) ~arith1.divide~ 2));
! 421: </tfb>
! 422:
! 423: <editor> Yasushi Tamura </editor>
! 424:
! 425: <description>
! 426: Quadratic transformation of independent variable
! 427: </description>
! 428:
! 429: <reference>
! 430: <xref linkend="goursat1" page="118"/>
! 431: </reference>
! 432:
! 433: <evidence checker="Mathematica">
! 434: @@ /. {a->1/2,b->3/5,c->-2/11,x->0.2}
! 435: </evidence>
! 436:
! 437: </formula>
! 438: \end{verbatim}
! 439:
! 440: \quad \\
! 441: %%Pic: fb-h21-0060.gif
! 442:
! 443:
! 444: \rightline{$B3+H/%A!<%U(B: $BEDB<(B}
! 445: \rightline{$B3+H/(B: $BEDB<(B, $B9b;3(B}
! 446: \rightline{$B8x<0JT=8%a%s%P!<(B:$BEDB<(B, $B9b;3(B,$BCf;3(B,$BF#F2(B,$BD9C+@n(B}
! 447: \newpage
! 448:
! 449: \noindent
! 450: 7. {\color{blue} OpenXM $B4XO"$N=PHGJ*(B}
! 451:
! 452: \quad \\
! 453: \nnn
! 454: Edited by M.Joswig and N.Takayama:
! 455: {\it Algebra, Geometry and Software Systems}, Springer,
! 456: 2003 (to appear).
! 457:
! 458: \nnn
! 459: $BLnO$(B, $B9b;3(B, Risa/Asir $B%I%j%k(B (CD $BIU$-(B), \\
! 460: {\tt http://www.math.kobe-u.ac.jp/Asir} \\
! 461: (takayama@openxm.org: $BG[I[<j?tNA(B 1,500 $B1_(B ($B:-Jq(B, $BAwNA9~(B, $BK\BN$N$_$O(B 1,000 $B1_(B))
! 462:
! 463: \nnn $BC;$$%S%G%*(B
! 464:
! 465: \nnn {\color{magenta} http://www.openxm.org}
! 466:
! 467: \newpage
! 468: \end{document}
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to rims-2002-12-12-ja-ohp.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / Papers