File: [local] / OpenXM / doc / Papers / rims-2002-12-12-ja-ohp.tex (download)
Revision 1.1, Sat Dec 7 11:44:10 2002 UTC (21 years, 9 months ago) by takayama
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, RELEASE_1_2_3, RELEASE_1_2_2_KNOPPIX_b, RELEASE_1_2_2_KNOPPIX, RELEASE_1_2_2, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Slides for the RIMS meeting on Dec 12, 2002.
|
%% $OpenXM: OpenXM/doc/Papers/rims-2002-12-12-ja-ohp.tex,v 1.1 2002/12/07 11:44:10 takayama Exp $
%% Moved from misc-2002/12/rims-ohp/ohp.tex
%% $Id: ohp.tex,v 1.3 2002/12/07 11:40:02 taka Exp$
%% xdvi -paper a4r ohp
%% dvips -f -t landscape ohp | psnup -4 -r | lpr -Pxerox6
\documentclass{slides}
\usepackage{color}
\usepackage{rgb}
\usepackage{epsfig}
%\def\color#1{ }
%\def\epsffile#1{ Picture File: #1 }
%\def\epsfxsize{ }
%% Sample:
%% \epsfxsize=17cm
%% \epsffile{cz.ps}
\textwidth 9.2in
\textheight 7.2in
\columnsep 0.33in
\topmargin -1in
\def\nnn{ {\color{red} $\bullet$}\ } %% $B;v<B(B
\def\eee{ {\color{magenta} Example}:\ } %% $BNc(B
\def\ttt{ {\color{red} $\bullet$}\ } %% $BDjM}(B
\begin{document}
\noindent
\begin{center}
{\color{magenta} OpenXM 1.2.2 $B$N35MW(B}
\end{center}
%% 2002, 12/12 (Thu), 10:40--11:10?
\begin{center}
OpenXM $B3+H/%0%k!<%W(B: http://www.openxm.org
\end{center}
\begin{enumerate}
\item oxd $B%9!<%Q!<%5!<%P(B
\item $B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$''
\item OpenXM $B$N%U%m%s%H%(%s%I(B
\item OpenXM/Risa/Asir/Contrib
\item $B%5!<%P$N?7$7$$?t3X4X?t(B
\item fb --- $BD64v2?4X?t%G%8%?%k8x<0=8$H(B OpenMath
\item OpenXM $B4XO"$N=PHGJ*(B
\end{enumerate}
\newpage
\noindent \quad \\
\nnn $B?t3X$G$NJBNs7W;;(B, \\
\nnn $B?t3X%=%U%H%&%(%"$NE}9g2=(B $B$^$?$O(B Conglomerate $B2=(B (A.Solomon) \\
\nnn $B?t3XE*CN<1$N%^%M!<%8%a%s%H(B (Mathematical Knowledge Management) \\
\nnn $B<B:]$K?t3X$N8&5f$d?t3X$N1~MQ$K;H$($k%Q%C%1!<%8$N3+H/(B
\noindent \quad \\
\nnn OpenXM 1.1.1 (January 24, 2000): $B:G=i$N<B83HG(B. \\
\nnn OpenXM 1.1.2 (March 20, 2000): $B$H$j$"$($:;H$($kHG(B. \\
\nnn OpenXM 1.1.3 (September 26, 2000): 1.1 $B7O$N:G=*HG(B. OpenXM RFC 100 $B7A<0(B
$B$N%W%m%;%9LZ(B. 1077 $B8D$N?t3X4X?t$rDs6!(B.
$BDs6!$7$F$$$k%5!<%P$O(B {\tt ox\_asir}, {\tt ox\_sm1},
{\tt ox\_phc}, {\tt ox\_gnuplot}, {\tt ox\_m2}, {\tt ox\_tigers},
{\tt ox\_math}(ematica), {\tt OMproxy}. \\
\nnn OpenXM 1.2.1 (March 2, 2002): Cygwin (Windows) $B$X$NBP1~3+;O(B.
$B%^%K%e%"%k<+F0@8@.(B(gentexi)$B$J$I(B. \\
\newpage
\noindent
1. {\color{blue} oxd $B%9!<%Q!<%5!<%P(B}
unix $+$ Windows, Java $\Rightarrow$
{\color{magenta} OpenXM $B%5!<%P$N5/F0$,HQ;((B }
\noindent $B2r7h:v(B \\
\nnn Corba $B$J$I$N(B Agent $B$N;EAH$_$rMQ$$$k(B. \\
\nnn ssh $B$H(B oxc $B$rMQ$$$k(B OpenXM RFC 101 ($B>.86(B) $B$rMQ$$$k(B. \\
\noindent
{\color{red} oxd } :
RFC 100, 101 $BN>J}$KBP1~$7$+$D(B, OpenXM $B%5!<%P$rMF0W$K5/F0(B
$B$G$-$k$h$&$J%9!<%Q%5!<%P(B. \\
oxd $BDL?.%3%^%s%I$O(B XML $B7A<0(B:
$B%H%C%W%N!<%I$O(B \verb@ <login> @ $B!A(B \verb@ </login> @
\newpage
\noindent $B%/%i%$%"%s%HB&(B: \\
{\color{magenta} {\begin{verbatim}
<login method="file">
\end{verbatim}}}
{{\begin{verbatim}
<challenge file="/home/taka/.oxd10793"/>
?
\end{verbatim}}}
{\color{magenta} {\begin{verbatim}
<done/>
<launch> ox -ox ox_asir -reverse -control 3167
-data 3168 -finish </launch>
\end{verbatim}}}
{{\begin{verbatim}
<suceeded/>
\end{verbatim}}}
{\color{blue}
\begin{verbatim}
asir = new OpenXM("ox_asir");
\end{verbatim}
}
\rightline{$B3+H/(B: $B9b;3(B}
\newpage
\noindent
2.1. {\color{blue} $B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$'':
$B%6%&%k%9(B $BBP1~(B
}
$B%7%c!<%W$N%6%&%k%9(B {\color{red} SL-A300 } \\
Intel $B$N(B Arm $B7O(B CPU Xscale(PXA210 200MHz),
Lineo $B$N(B Embedix.
GC, {\tt OpenXM\_contrib2/asir2000/asm/asmalpha.c}
$B;HMQ$7$F$_$?46A[$O0U30$KB.$$(B(Pentium 200MHz$B$/$i$$(B?).
\rightline{$B3+H/(B: $BF#K\(B}
\newpage
\noindent
2.2. {\color{blue} $B$$$D$G$b$I$3$G$b(B ``$B0x?tJ,2r(B$\heartsuit$'':
OpenXM Online
}
Asir Online : \\
{\color{red} {\tt http://fe.math.kobe-u.ac.jp:8090}}
($B<B831?MQ(B). \\
HTTP $B$rM}2r$9$k%5!<%P(B (httpd) : kan/sm1 $B$N%]%9%H%9%/%j%W%H8@8l(B
$B$G<BAu$5$l$F$$$k(B
({\tt OpenXM/src/kan96xx/Doc/httpd*.sm1}). \\
OpenXM $B%(%s%8%s$KBP$9$k(B Remote Procedure Call.
%%Pic: asir-online.gif
{\color{blue} \underline{$BCfCG$NEAGE$H%j%=!<%9$N@)8B(B}} \\
OpenXM RFC 100 ($B%(%s%8%s$N7W;;$rCfCG$9$k%m%P%9%H$J%W%m%H%3%k(B) \\
$B$7$+$7$J$,$i(B, $B%(%s%8%s4V$GCfCG$rEAGE$5$;$k;EAH$_$K$D$$$F$O(B,
$BI8=`$r$J$K$b7h$a$F$$$J$$(B.
\noindent
$B>e0U2<C#$NCfCG=hM}(B: \\
\ttt $B<+J,$N;R6!%W%m%;%9$r$9$Y$F%j%9%H$9$k(B
({\tt ox\_get\_serverinfo() }). \\
\ttt $B;R6!%W%m%;%9$K=gHV$K(B OpenXM-RFC 100 $B$NCfCG%a%C%;!<%8$rAw$k(B. \\
\rightline{$B3+H/(B: $B9b;3(B}
\newpage
\noindent
3. {\color{blue} OpenXM $B$N%U%m%s%H%(%s%I(B
}
{\color{red} Infty Editor} ($B6e=#(B, $BNkLZ$i(B)
$\Rightarrow$ OpenXM $B%(%s%8%s(B \\
{\color{red} Infty Editor} $B$G(B asir $B8@8l$N%5%]!<%H(B.
\rightline{$B3+H/(B: $BF#K\(B}
\newpage
\noindent
4. {\color{blue} OpenXM/Risa/Asir/Contrib }
OpenXM/Risa/Asir (OpenXM $BHG(B Risa/Asir) : OpenXM $B%Q%C%1!<%8$N(B
$B%a%$%s$N%/%i%$%"%s%H(B. \\
asir $B8@8l$G$+$+$l$?3F<o?t3X4X?t(B,
$B%f!<%F%#%j%#%F%#4X?t$*$h$S(B OpenXM $B%5!<%P$H$N%$%s%?%U%'!<%94X?t$r3+H/(B.
{\tt \color{magenta}
base\_cancel
base\_choose
base\_flatten
base\_intersection
base\_memberq
base\_permutation
base\_position
base\_prune
base\_replace
base\_set\_minus
base\_set\_union
base\_subsetq
base\_subsets\_of\_size}
{\tt \color{blue}
dsolv\_dual
dsolv\_starting\_term
}
{\tt \color{red}
glib\_line
glib\_open
glib\_plot
glib\_print
glib\_putpixel
glib\_tops
glib\_window}
{\tt \color{magenta}
gnuplot
gnuplot\_heat
gnuplot\_output
gnuplot\_plot\_dots
gnuplot\_plot\_function
gnuplot\_start
hilbert\_polynomial}
{\tt \color{blue}
m\_rtostr
m\_start
m\_tree\_to\_string
}
{\tt \color{red}
matrix\_clone
matrix\_det
matrix\_diagonal\_matrix
matrix\_eigenavalues
matrix\_identity\_matrix
matrix\_inner\_product
matrix\_inverse
matrix\_kernel
matrix\_list\_to\_matrix
matrix\_matrix\_to\_list
matrix\_rank
matrix\_solve\_linear
matrix\_submatrix
matrix\_transpose}
{\tt \color{magenta}
om\_start
om\_xml
om\_xml\_to\_cmo
}
{\tt \color{blue}
ox\_check\_errors2
ox\_sm1\_forAsir}
{\tt \color{red}
phc
phc\_start}
{\tt \color{magenta}
plucker\_relation
}
{\tt \color{blue}
poly\_degree
poly\_elimination\_ideal
poly\_factor
poly\_gcd
poly\_grobner\_basis
poly\_hilbert\_polynomial
poly\_initial
poly\_initial\_coefficients
poly\_initial\_term
poly\_solve\_linear
}
{\tt \color{red}
print\_dvi\_form
print\_em
print\_gif\_form
print\_input\_form
print\_open\_math\_tfb\_form
print\_open\_math\_xml\_form
print\_output
print\_ox\_rfc100\_xml\_form
print\_png\_form
print\_terminal\_form
print\_tex\_form
print\_tfb\_form
print\_xdvi\_form
print\_xv\_form
}
{\tt \color{magenta}
sm1
sm1\_ahg
sm1\_appell1
sm1\_appell4
sm1\_auto\_reduce
sm1\_bfunction
sm1\_deRham
sm1\_distraction
sm1\_gb
sm1\_generalized\_bfunction
sm1\_genericAnn
sm1\_gkz
sm1\_hilbert
sm1\_mul
sm1\_push\_int0
sm1\_rank
sm1\_reduction
sm1\_restriction
sm1\_saturation
sm1\_slope
sm1\_start
sm1\_syz
sm1\_wTensor0
sm1\_xml\_tree\_to\_prefix\_string
}
{\tt \color{blue}
tigers
}
{\tt \color{magenta}
util\_filter
util\_find\_and\_replace
util\_find\_substr
util\_load\_file\_as\_a\_string
util\_part
util\_read\_file\_as\_a\_string
util\_remove\_cr
util\_write\_string\_to\_a\_file
}
\rightline{$B3+H/(B: $BLnO$(B, $BCf;3(B, $B9b;3(B}
\newpage
\noindent
5. {\color{blue} $B%5!<%P$N?7$7$$?t3X4X?t(B}
\noindent
{\tt \color{red} ox\_asir} ($BLnO$(B). \\
$B0L?t$N>.$5$$M-8BBN>e$G$NB?JQ?tB?9`<0$N0x?tJ,2r(B \\
({\tt \color{magenta} sffctr},
{\tt OpenXM\_contrib2/asir2000/engine/Fgfs.c}).
$BM-8BBN>e$G$N=`AG%$%G%"%kJ,2rMQ(B
\noindent
{\tt \color{red} ox\_sm1} ($B9b;3(B). \\
$B2r@OE*HyJ,:nMQAG4D$K$*$1$kF1<!2=(B \\
({\tt \color{magenta} ring\_of\_differential\_operators, weightHomogenization}, \\
{\tt OpenXM/src/kan96xx/Kan/poly3.c}).
Granger-Oaku $B$N(B Tangent Cone $B%"%k%4%j%:%`MQ(B
\newpage
\noindent
6. {\color{blue} OpenXM/fb --- $BD64v2?4X?t%G%8%?%k8x<0=8$H(B OpenMath }
\nnn 1980 $BG/Be8eH>$N:4!9LZ$i$N8&5f(B.
($B?t<0$N8!:wK!(B, $B?t<0$N8x<0=8$K$h$k=q$-49$((B, $B%G!<%?9=B$(B,
$B4dGH8x<0=8$r$b$H$K$7$?%G%8%?%k8x<0=8(B) \\
\nnn $BB3$-(B: $B?91J(B, $BB<>e(B, $BLnED(B. \\
\nnn {\tt http://functions.wolfram.com} \\ %%Pic: functions-wolfram.gif
\nnn {\tt http://dlmf.nist.gov/} \\ %%Pic: as-digital-fb.gif
\nnn OMDoc \\
\noindent \quad \\
\nnn $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
$BJ];}$G$-$k8x<0=8(B $\Rightarrow$ {\color{blue} fb $B%?%0(B},
{\color{magenta} OpenMath}, {\color{blue} hypergeo*.ocd} \\
\nnn $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k8x<0=8(B
$\Rightarrow$ {\color{magenta} OpenMath}, {\color{blue} hypergeo*.ocd},
{\color{blue} intpath*.ocd} \\
\nnn XML $B$N5!G=$r%U%k$K@8$+$7$?8x<0=8(B \\
\nnn $B?t3X(B object $B$NF~NO$r87L)$K$+$DMF0W$K(B $\Rightarrow$ {\color{blue} tfb}$B8@8l(B \\
\nnn $BCx:n8"$NLdBj$,$J$$8x<0=8(B. \\
\nnn $BF~NO%_%9$NH/8+$rJd=u$9$k5!G=(B $\Rightarrow$ {\color{blue} fb-checker}\\
\nnn Web $B%Y!<%9$N(B Interactive $B$J5!G=$NDs6!(B
$\Rightarrow$ {\color{magenta} MathBook $B%?%0(B} \\
\newpage
\noindent \quad \\
\ttt DocBook (http://www.docbook.org), OpenMath (http://www.openmath.org)
$B$N(B XML $B%?%0$r3HD%(B (cf. A.Cohen et al):
formula $B$r(B $B%H%C%W%N!<%I$H$9$kFH<+$N%?%0(B
$\Rightarrow$ {\color{blue} fb XML $B%?%0(B} \\
{\color{red} new CD}:
hypergeo0, hypergeo1, hypergeo2, hypergeon0, hypergeon1,
hypergeon2, weylalgebra1 \\ %%Pic: ocd-contrib.gif, hypergeo1.gif
\ttt OpenMath $B$N(B XML $B$H(B Content Dictionary $B$O(B
$B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k;EAH$_(B: \\
$B@QJ,O)$N5!3#2DFI7A<0$NF~NO$NLdBj(B
$\Rightarrow$
1 $B<!85$N@QJ,O)$rI=8=$9$k(B Content Dictionary {\tt intpath1} ($B9b;3(B)
$B$rDj5A(B. \\
\ttt DOM $B$d(B XSL $B$J$I(B XML $B$N5!G=(B.
XML $B$N5!G=$,(B $B%G%8%?%k8x<0=8$K$b(B
$BM-8z$G$"$k$3$H$r3NG'$7$?(B. \\
\ttt {\color{blue} tfb} $B$O(B OpenMath $B%*%V%8%'%/%H$rI=8=$9$k$?$a$N8@8l$G$"$k(B. \\
cf. RIACA CD Editor($B%*%i%s%@(B) $B$d(B STAR/MathWriter (Stilo Technology)
%%Pic: coq-starts.jpg
(GUI $B7?(B) \\
tfb $B$NFCD'(B:
OpenMath $B%*%V%8%'%/%H$N87L)$JF~NO$,MF0W$G$"$k$N$rFCD'(B \\
\newpage
\noindent \quad \\
\ttt
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
$B<+J,C#$G8x<0=8$NJT=8(B. $BCx:n8"$O(B OpenXM/fb (Open $B$JAH?%(B) $B$,J];}$9$k(B. \\
\ttt $B8x<0$NF~NO$K$O%_%9$,$D$-$b$N$G$"$k(B.
fb $B$G$O(B, $B?tCM7W;;$r$b$A$$$FL@$i$+$J8m$j$r8!=P$9$k;EAH$_$rDs6!(B
({\color{blue} fb checker}). \\
OpenXM $BHG$N(B mathematica $B$*$h$S(B asir $B%5!<%P(B
$B$*$h$SA0=R$N(B OpenXM online $B$rMxMQ(B.
$B<B:]$K8x<0$NF~NO$r;O$a$F$_$F$o$+$C$?$3$H(B: \\
{\color{red} \underline{checker $B$N$*$+$2$G(B,
$B8x<0F~NO:n6H$O3Z$7$/$+$D@53N(B}} \\
\ttt A.Cohen $B$i$N(B Interactive MathBook $B$N%?%0(B(Eindhoven tag library).
Interactive $B5!G=$O8x<0=8$K$H$j=EMW$G(B,
$B$?$H$($P8x<0$r;2>H$9$k$H$-$KJQ?t$NCV$-49$($OJXMx(B. \\
%%Pic: fb-h21-0040-replace.gif
\newpage
fb(formula,tfb)XML$BJ8=q$NNc(B ({\tt fb/formula/h21-0060.tfb}).
{\small
\begin{verbatim}
<?xml version="1.0" encoding="ISO-2022-JP"?>
<?xml-stylesheet type="text/xsl" href="fb.xsl"?>
<formula>
<tfb>
2 ~arith1.times~ arith1.root(nums1.pi,2)
~arith1.times~ hypergeo0.gamma(a ~arith1.plus~ b ~arith1.plus~
(1 ~arith1.divide~ 2))
~arith1.divide~ hypergeo0.gamma(a ~arith1.plus~ (1 ~arith1.divide~ 2))
~arith1.divide~ hypergeo0.gamma(b ~arith1.plus~ (1 ~arith1.divide~ 2))
~arith1.times~ hypergeo1.hypergeometric2F1(a,b,1 ~arith1.divide~ 2,x)
~relation1.eq~
(hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
1 ~arith1.plus~ arith1.root(x,2) ~arith1.divide~ 2)
~arith1.plus~
hypergeo1.hypergeometric2F1(2 ~arith1.times~ a, 2 ~arith1.times~ b,
a ~arith1.plus~ b ~arith1.plus~ (1 ~arith1.divide~ 2),
1 ~arith1.minus~ arith1.root(x,2) ~arith1.divide~ 2));
</tfb>
<editor> Yasushi Tamura </editor>
<description>
Quadratic transformation of independent variable
</description>
<reference>
<xref linkend="goursat1" page="118"/>
</reference>
<evidence checker="Mathematica">
@@ /. {a->1/2,b->3/5,c->-2/11,x->0.2}
</evidence>
</formula>
\end{verbatim}
\quad \\
%%Pic: fb-h21-0060.gif
\rightline{$B3+H/%A!<%U(B: $BEDB<(B}
\rightline{$B3+H/(B: $BEDB<(B, $B9b;3(B}
\rightline{$B8x<0JT=8%a%s%P!<(B:$BEDB<(B, $B9b;3(B,$BCf;3(B,$BF#F2(B,$BD9C+@n(B}
\newpage
\noindent
7. {\color{blue} OpenXM $B4XO"$N=PHGJ*(B}
\quad \\
\nnn
Edited by M.Joswig and N.Takayama:
{\it Algebra, Geometry and Software Systems}, Springer,
2003 (to appear).
\nnn
$BLnO$(B, $B9b;3(B, Risa/Asir $B%I%j%k(B (CD $BIU$-(B), \\
{\tt http://www.math.kobe-u.ac.jp/Asir} \\
(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))
\nnn $BC;$$%S%G%*(B
\nnn {\color{magenta} http://www.openxm.org}
\newpage
\end{document}