Return to rims-2002-12-12-ja-ohp.tex CVS log

Up to [local] / OpenXM / doc / Papers

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}