[BACK]Return to rims-2002-12-12-ja.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc / Papers

Diff for /OpenXM/doc/Papers/rims-2002-12-12-ja.tex between version 1.1 and 1.4

version 1.1, 2002/12/02 02:17:50 version 1.4, 2002/12/07 03:27:00
Line 1 
Line 1 
 % $OpenXM$  % $OpenXM: OpenXM/doc/Papers/rims-2002-12-12-ja.tex,v 1.3 2002/12/06 09:32:29 noro Exp $
 % It was under misc-2002/12,  % It was under misc-2002/12,
 %Id: rims-2003-12.tex,v 1.10 2002/12/02 02:14:55 taka Exp $  %Id: rims-2003-12.tex,v 1.10 2002/12/02 02:14:55 taka Exp $
 % Some .gif files are under misc-2002/12.  % Some .gif files are under misc-2002/12.
Line 47  Conglomerate $B2=(B\cite{solomon},
Line 47  Conglomerate $B2=(B\cite{solomon},
 \item OpenXM 1.2.1 (March 2, 2002): Cygwin (Windows) $B$X$NBP1~3+;O(B.  \item 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.         $B%^%K%e%"%k<+F0@8@.(B(gentexi)$B$J$I(B.
 \end{enumerate}  \end{enumerate}
 $B$3$3$G$O$A$+$8$+M=Dj$7$F$$$k(B  $B$3$3$G$O$^$b$J$/$j!<%j!<%9$rM=Dj$7$F$$$k(B
 1.2.2 $B7O$G$N?7$7$$5!G=$H@_7W$K$*$1$k=tLdBjE@$r5DO@$7$?$$(B.  1.2.2 $B7O$G$N?7$7$$5!G=$H@_7W$K$*$1$k=tLdBjE@$r5DO@$7$?$$(B.
   
 \section{ oxd $B%9!<%Q!<%5!<%P(B }  \section{ oxd $B%9!<%Q!<%5!<%P(B }
Line 57  OpenXM $B$G$O(B 1.2 $B7ONs$h$j(B Cygwin $B$rMQ$$$
Line 57  OpenXM $B$G$O(B 1.2 $B7ONs$h$j(B Cygwin $B$rMQ$$$
 $B$3$l$i$N3+H/$G7P83$7$?$3$H$O(B,  $B$3$l$i$N3+H/$G7P83$7$?$3$H$O(B,
 \underline{ $B%5!<%P$N5/F0$,HQ;((B }  \underline{ $B%5!<%P$N5/F0$,HQ;((B }
 $B$H$$$&$3$H$G$"$k(B.  $B$H$$$&$3$H$G$"$k(B.
 $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  $B$H$/$K(B C $B$H(B unix $B$NOHAH$r$O$:$l$k$H(B OpenXM $B%5!<%P$r5/F0(B
 $B$9$k$N$,$H$F$bLLE]$K$J$k(B.  $B$9$k$N$,$H$F$bLLE]$K$J$k(B.
 $B$5$i$K%/%i%$%"%s%H$N%3!<%I$O(B OS $BKh$KJ,4t$5$;$kI,MW$,@8$8$k(B.  $B$5$i$K5/F0$N$?$a$N%3!<%I$O(B OS $BKh$KJ,4t$5$;$kI,MW$,@8$8$k(B.
 $B$3$NHQ;($5$rHr$1$k(B  $B$3$NHQ;($5$rHr$1$k(B
 $B2r7h:v$H$7$F$O0J2<$N$h$&$JJ}K!$,$"$k$G$"$m$&(B.  $B2r7h:v$H$7$F$O0J2<$N$h$&$JJ}K!$,$"$k$G$"$m$&(B.
 \begin{enumerate}  \begin{enumerate}
Line 250  OpenXM $B$N%9%m!<%,%s$G$"$k(B.
Line 250  OpenXM $B$N%9%m!<%,%s$G$"$k(B.
   
 $B%7%c!<%W$N%6%&%k%9(B SL-A300  $B%7%c!<%W$N%6%&%k%9(B SL-A300
 $B$G(B Risa/Asir $B$,IT40A4$J$,$iF0:n$7$F$$$k(B.  $B$G(B Risa/Asir $B$,IT40A4$J$,$iF0:n$7$F$$$k(B.
 SL-A300 $B$G$O(BEmbedix $B$H$$$&(B Linux $B$rEk:\$7$F$$$k(B.  SL-A300 $B$O(B Intel $B$N(B Arm $B7O(B CPU Xscale(PXA210 200MHz)$B$rEk:\$7(B,
   Lineo $B$N(B Embedix $B$H$$$&L>A0$N(B OS (Linux $B7O(B) $B$r;}$D(B.
   $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
   $B$K$h$C$F%W%m%0%i%`B&$+$iMxMQ2DG=$J$N$O(B 36MB $B$G(B,
   $B;D$j(B 28MB $B$O%9%H%l!<%8MQ$K@_Dj$5$l$F$$$k(B.
   
 GC $B$H@0?t7W;;$N$?$a$N%^%7%s8l%W%m%0%i%`$NItJ,$N0\?"$,LdBj$G$"$C$?$,(B,  GC $B$H@0?t7W;;$N$?$a$N%^%7%s8l%W%m%0%i%`$NItJ,$N0\?"$,LdBj$G$"$C$?$,(B,
 GC $B$K$D$$$F$O$9$G$K3+H/%0%k!<%W(B (H-J. Boehm, A. J. Demers)  GC $B$K$D$$$F$O$9$G$K3+H/%0%k!<%W(B (H-J. Boehm, A. J. Demers)
 $B$,(B Xscale CPU $B$KBP1~$7$F$$$?(B.  $B$,(B Xscale CPU $B$KBP1~$7$F$$$?(B.
Line 258  GC $B$K$D$$$F$O$9$G$K3+H/%0%k!<%W(B (H-J. Boehm, A. 
Line 263  GC $B$K$D$$$F$O$9$G$K3+H/%0%k!<%W(B (H-J. Boehm, A. 
 $B%3!<%I(B \\  $B%3!<%I(B \\
 {\tt OpenXM\_contrib2/asir2000/asm/asmalpha.c}  {\tt OpenXM\_contrib2/asir2000/asm/asmalpha.c}
 $B$rMQ$$$?(B.  $B$rMQ$$$?(B.
   $B<B:]$N%3%s%Q%$%k:n6H$O0J2<$N$h$&$K9T$C$?(B.
   \begin{enumerate}
   \item PC Linux $B>e$G(B Arm $BMQ$N%/%m%9%3%s%Q%$%k4D6-$r9=C[(B
   \item asir $B$N(B configure $B$,%/%m%9%3%s%Q%$%k4D6-$KBP1~$7$F$$$J$$$N$G(B,
   PC $BMQ$N(B Makefile $B$r:n@.8e(B, $B<jF0$G(B Arm $BMQ$K=$@5(B
   \item GC $B$O(B configure $B$b%/%m%9%3%s%Q%$%k4D6-$KBP1~$7$F$$$k$N$G$=$l$rMxMQ(B
   \item $B@0?t7W;;$O%"%;%s%V%i$r;H$o$:%]!<%?%V%k%3!<%I$rMxMQ$9$k$h$&=$@5(B
   \item char $B$,(B default $B$G(B unsigned char $B$J$N$G(B gcc $B$O(B -fsigned-char
   $B%*%W%7%g%s$r$D$1$F;HMQ(B
   \end{enumerate}
   
   $B;HMQ$7$F$_$?46A[$O0U30$KB.$$(B(Pentium 200MHz$B$/$i$$(B?).
   $BF~NO%U%m%s%H%(%s%I$N(B fep $B$b%3%s%Q%$%k$G$-MxMQ$G$-$F$$$k(B.
   $B%a%b%j$O>/$7Bg$-$J7W;;$@$HITB-$9$k$,(B, $B$3$l$O(B SD $B%+!<%I>e(B
   $B$K%9%o%C%W%U%!%$%k$r:n@.$9$k$3$H$GBP=h2DG=(B.
   $B%G%U%)%k%H$G$O(B cpp $B$,%$%s%9%H!<%k$5$l$F$$$J$$$?$a(B,
   $B%U%!%$%k$N(B load $B$,$G$-$J$$$,(B,
   zgcc($B%6%&%k%9%;%k%U%3%s%Q%$%kMQ(B gcc)$B$NG[I[$K(B cpp $B$,F1:-(B
   $B$5$l$F$$$k$N$G(B, $B$=$l$rMxMQ$9$l$P$h$$(B.
   
   $B4{CN$NLdBj$H$7$F$O(B, $B%5%9%Z%s%I!&%l%8%e!<%`8e$K(BAsir$B$,(B
   $B5/F0IT2D$K$J$k$H$$$&8=>]$,5/$-$F$$$k(B.
   $B$7$+$7(B, $B$3$l$K$D$$$F$O(B Embedix $B%+!<%M%k$N%P%0(B
   (zero page $B$r%5%9%Z%s%I$N%o!<%/%(%j%"$K$7$F$7$^$&(B)
   $B$G$"$k$3$H$,$o$+$C$?$N$G(B, $B6/@)E*$K%<%m%/%j%"$9$k(B
   $BJd=u%W%m%0%i%`$r$3$A$i$G=`Hw$9$kM=Dj$G$"$k(B.
   
 \rightline{$B3+H/(B: $BF#K\(B}  \rightline{$B3+H/(B: $BF#K\(B}
   
 \subsection{ OpenXM Online }  \subsection{ OpenXM Online }
Line 318  sm1 $B$G$O(B {\tt ctrlC-hook } $B4X?t$GEPO?$9$k(B.
Line 349  sm1 $B$G$O(B {\tt ctrlC-hook } $B4X?t$GEPO?$9$k(B.
 \section{OpenXM $B$N%U%m%s%H%(%s%I(B}  \section{OpenXM $B$N%U%m%s%H%(%s%I(B}
   
 Infty Editor $B$O6e=#Bg3X$NNkLZ$i$,Cf?4$H$J$j3+H/$7$F$$$k(B  Infty Editor $B$O6e=#Bg3X$NNkLZ$i$,Cf?4$H$J$j3+H/$7$F$$$k(B
 $B<j=q$-?t<0$NF~NO5!G=$b$b$D%(%G%#%?!<$G$"$k(B.  $B<j=q$-$K$h$k?t<0F~NO5!G=$r$b$D(B Windows $BMQ%(%G%#%?!<$G$"$k(B.
 $B$3$N%(%G%#%?!<$+$i(B OpenXM $B%5!<%P$r$h$S$@$95!G=$,(B  $B$3$N%(%G%#%?!<$+$i(B OpenXM $B%5!<%P$r8F$S=P$95!G=$,(B
 $BF#K\$K$h$j@_7W<BAu$5$l$?(B.  $BF#K\$K$h$j@_7W<BAu$5$l$?(B.
 $B>\$7$$Js9p$O(B \cite{fujimoto}.  $B%(%G%#%?!<Fb$GF~NO$5$l$??t<0$N7W;;$@$1$G$J$/(B,
   Asir $B8@8l$b%5%]!<%H$7$F$$$k(B.
   $B>\$7$$Js9p$OK\8&5f=82q$NF#K\$N9V1i5Z$S(B\cite{fujimoto}$B$r;2>H(B.
   
 \rightline{$B3+H/(B: $BF#K\(B}  \rightline{$B3+H/(B: $BF#K\(B}
   
Line 414  http://www.math.kobe-u.ac.jp/OpenXM/1.2.2/doc/asir-con
Line 447  http://www.math.kobe-u.ac.jp/OpenXM/1.2.2/doc/asir-con
 \noindent  \noindent
 {\tt ox\_asir} $B$K$O<!$N?7$7$$?t3XE*5!G=$,2C$o$C$?(B($BLnO$(B).  {\tt ox\_asir} $B$K$O<!$N?7$7$$?t3XE*5!G=$,2C$o$C$?(B($BLnO$(B).
 \begin{enumerate}  \begin{enumerate}
 \item $BM-8BBN$G$N0x?tJ,2r(B ({\tt OpenXM\_contrib2/asir2000/engine/Fgfs.c}).  \item $B0L?t$N>.$5$$M-8BBN>e$G$NB?JQ?tB?9`<0$N0x?tJ,2r(B
   
   ({\tt sffctr},
   {\tt OpenXM\_contrib2/asir2000/engine/Fgfs.c}).
   
 \end{enumerate}  \end{enumerate}
   
 \noindent  \noindent
Line 422  http://www.math.kobe-u.ac.jp/OpenXM/1.2.2/doc/asir-con
Line 459  http://www.math.kobe-u.ac.jp/OpenXM/1.2.2/doc/asir-con
 \begin{enumerate}  \begin{enumerate}
 \item Granger-Oaku $B$N(B Tangent Cone $B%"%k%4%j%:%`$N<BAu$N$?$a(B  \item Granger-Oaku $B$N(B Tangent Cone $B%"%k%4%j%:%`$N<BAu$N$?$a(B
 $B2r@OE*HyJ,:nMQAG4D$K$*$1$kF1<!2=$r<BAu(B  $B2r@OE*HyJ,:nMQAG4D$K$*$1$kF1<!2=$r<BAu(B
 ({ring\_of\_differential\_operators, weightHomogenization},  ({\tt ring\_of\_differential\_operators, weightHomogenization},
 {\tt OpenXM/src/kan96xx/Kan/poly3.c}).  {\tt OpenXM/src/kan96xx/Kan/poly3.c}).
 \item M.J.Ucha $B$N?7$7$$(B b-$B4X?t%"%k%4%j%:%`$N<BAu$N$?$a(B,  \item M.J.Ucha $B$N?7$7$$(B b-$B4X?t%"%k%4%j%:%`$N<BAu$N$?$a(B,
 $B$"$kHyJ,:9J,:nMQAG4D$r<BAu(B  $B$"$kHyJ,:9J,:nMQAG4D$r<BAu(B
Line 448  OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B, 
Line 485  OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B, 
 $B<!$N;kE@$+$i%G%8%?%k8x<0=8$N@_7W<BAu$r$*$3$J$C$F$$$k(B.  $B<!$N;kE@$+$i%G%8%?%k8x<0=8$N@_7W<BAu$r$*$3$J$C$F$$$k(B.
   
 \begin{enumerate}  \begin{enumerate}
 \item Web $B%Y!<%9$N(B Interactive $B$J5!G=$NDs6!(B.  
 \item $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B  \item $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
       $BJ];}$G$-$k8x<0=8(B.        $BJ];}$G$-$k8x<0=8(B.
 \item $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k8x<0=8(B.  \item $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k8x<0=8(B.
 \item XML $B$N5!G=$r%U%k$K@8$+$7$?8x<0=8(B.  \item XML $B$N5!G=$r%U%k$K@8$+$7$?8x<0=8(B.
   \item $B?t3X(B object $B$NF~NO$r87L)$K$+$DMF0W$K(B.
 \item $BCx:n8"$NLdBj$,$J$$8x<0=8(B.  \item $BCx:n8"$NLdBj$,$J$$8x<0=8(B.
 \item $BF~NO%_%9$NH/8+$rJd=u$9$k5!G=(B.  \item $BF~NO%_%9$NH/8+$rJd=u$9$k5!G=(B.
   \item Web $B%Y!<%9$N(B Interactive $B$J5!G=$NDs6!(B.
 \end{enumerate}  \end{enumerate}
   
 $B0J2<$K$o$l$o$l$N@_7W$N35MW$r5-$9(B.  $B0J2<$K$o$l$o$l$N@_7W$N35MW$r5-$9(B.
 \begin{enumerate}  \begin{enumerate}
 \item A.Cohen $B$i$N(B Interactive Math Book $B$N%?%0(B(Eindhoven tag library)  
       $B$rMQ$$$F(B, Interactive $B$J5!G=$r5-=R$9$k(B \cite{cohen}.  
       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$G$"$k(B.  
 \item DocBook \cite{docbook} $B$*$h$S(B OpenMath \cite{openmath}  \item DocBook \cite{docbook} $B$*$h$S(B OpenMath \cite{openmath}
      $B$N(B XML $B%?%0$r3HD%$7(B,       $B$N(B XML $B%?%0$r3HD%$7(B,
      formula $B$r(B $B%H%C%W%N!<%I$H$9$kFH<+$N%?%0$r$$$/$D$+Dj5A$7$?(B.       formula $B$r(B $B%H%C%W%N!<%I$H$9$kFH<+$N%?%0$r$$$/$D$+Dj5A$7$?(B.
Line 472  OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B, 
Line 506  OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B, 
      hypergeon2, weylalgebra1 $B$r3+H/$7$?(B       hypergeon2, weylalgebra1 $B$r3+H/$7$?(B
      (OpenMath CD $B$N(B contrib $B$r;2>H(B \cite{openmath}).       (OpenMath CD $B$N(B contrib $B$r;2>H(B \cite{openmath}).
      $B$3$l$K$h$j(B, $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B       $B$3$l$K$h$j(B, $B8x<0$N?t3XE*0UL#$d;29MJ88%$J$I$N>pJs$r5!3#2DFI7A<0$G(B
      $BJ];}$G$-$k$h$&$K$J$C$?(B.       $BJ];}$G$-$k$h$&$K$J$C$?(B \cite{tamura}.
      %A.Cohen $B$i$N(B Interactive Math Book $B$N%W%m%8%'%/%H$b(B       %A.Cohen $B$i$N(B Interactive Math Book $B$N%W%m%8%'%/%H$b(B
      %DocBook $B$H(B OpenMath $B$N%?%0$r3HD%$9$k7A$G(B       %DocBook $B$H(B OpenMath $B$N%?%0$r3HD%$9$k7A$G(B
      %$B8&5f$7$F$$$k(B \cite{cohen}.       %$B8&5f$7$F$$$k(B \cite{cohen}.
 \item OpenMath $B$N(B XML $B$H(B Content Dictionary $B$O(B  \item OpenMath $B$N(B XML $B$H(B Content Dictionary $B$O(B
       $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k;EAH$_$G$"$k(B.        $B$5$^$6$^$J?t3X35G0$K=@Fp$KBP1~$G$-$k;EAH$_$G$"$k(B.
         $B$?$H$($P(B Sasaki \cite{sasaki} $B$i$,;XE&$7$F$$$k$h$&$K(B,
         $B@QJ,O)$N5!3#2DFI7A<0$NF~NO$NLdBj$O$d$d$3$7$$(B.
       $B$?$H$($PA05-$N(B        $B$?$H$($PA05-$N(B
       $BD64v2?4X?t$K4XO"$9$k(B Content Dictionary $B$r$b$H$K9b;3$O(B        $BD64v2?4X?t$K4XO"$9$k(B Content Dictionary $B$r$b$H$K9b;3$O(B
       1 $B<!85$N@QJ,O)$rI=8=$9$k(B Content Dictionary intpath1        1 $B<!85$N@QJ,O)$rI=8=$9$k(B Content Dictionary {\tt intpath1}
       $B$rDj5A$7(B, $B$3$N(B Content Dictionary $B$OG$0U$N(B 1 $B<!85$N@QJ,O)$r(B        $B$rDj5A$7(B, $B$3$N(B Content Dictionary $B$OG$0U$N(B 1 $B<!85$N@QJ,O)$r(B
       $BI=8=$G$-$k$3$H$r(B twisted (co)homology $B$NM}O@$rMQ$$$F>ZL@$7$?(B.        $BI=8=$G$-$k$3$H$r(B twisted (co)homology $B$NM}O@$rMQ$$$F<($7$?(B.
 \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  \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
       $B8x<0=8$r<BAu$7$?(B.  XML $B$N5!G=$,(B $B%G%8%?%k8x<0=8$K$b(B        $B8x<0=8$r<BAu$7$?(B.  XML $B$N5!G=$,(B $B%G%8%?%k8x<0=8$K$b(B
       $BM-8z$G$"$k$3$H$r3NG'$7$?(B.  $B?^(B \ref{figure:fbcom} $B$N(B        $BM-8z$G$"$k$3$H$r3NG'$7$?(B.  $B?^(B \ref{figure:fbcom} $B$N(B
       $B3F%3%^%s%I$O<g$K(B Java $B$G<BAu$5$l$F$$$k(B.        $B3F%3%^%s%I$O<g$K(B Java $B$G<BAu$5$l$F$$$k(B \cite{tamura}.
 %%Comment: $B$G$b?t<0$N3g8L$N>JN,$N=hM}$OLLE](B.  %%Comment: $B$G$b?t<0$N3g8L$N>JN,$N=hM}$OLLE](B.
 \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  \item fb $B$G$O(B tfb $B$H$$$&8@8l$r@_7W$7$?(B.
       tfb $B$H$$$&8@8l$r(B  
       $B$b$A$$$FF~NO$r$*$3$J$C$F$*$j(B, $BCx:n8"$NLdBj$,$J$$(B.  
       tfb $B$O(B OpenMath $B%*%V%8%'%/%H$rI=8=$9$k$?$a$N8@8l$G$"$k(B.        tfb $B$O(B OpenMath $B%*%V%8%'%/%H$rI=8=$9$k$?$a$N8@8l$G$"$k(B.
       OpenMath $B%W%m%8%'%/%H$G$O(B OpenMath $B%*%V%8%'%/%H(B $B$rF~NO$9$k$?$a$N(B        OpenMath $B%W%m%8%'%/%H$G$O(B OpenMath $B%*%V%8%'%/%H(B $B$rF~NO$9$k$?$a$N(B
       RIACA CD Editor($B%*%i%s%@(B) $B$d(B STAR/MathWriter (Stilo Technology)        RIACA CD Editor($B%*%i%s%@(B) $B$d(B STAR/MathWriter (Stilo Technology)
 %%Pic: coq-starts.jpg  %%Pic: coq-starts.jpg
       $B$J$I$N(BGUI $B7?$N%W%m%0%i%`$,8&5f$5$l$F$$$k(B.        $B$J$I$N(BGUI $B7?$N%W%m%0%i%`$,8&5f$5$l$F$$$k(B.
       $B$3$N(B tfb $B$O(B        $B$3$N(B tfb $B$O(B
       OpenMath $B%*%V%8%'%/%H$N87L)$JF~NO$,MF0W$G$"$k$N$rFCD'$H$7$F$$$k(B.        OpenMath $B%*%V%8%'%/%H$N87L)$JF~NO$,MF0W$G$"$k$N$rFCD'$H$7$F$$$k(B
         \cite{tamura}.
   \item $B$9$G$K=PHG$:$_$N8x<0=8$r$=$N$^$^F~NO$9$k$HCx:n8"$NLdBj$,@8$8$k(B.
         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$r$*$3$J$C$F$*$j(B, $BCx:n8"$O(B OpenXM/fb $B$,J];}$9$k(B.
 \item $B8x<0$NF~NO$K$O%_%9$,$D$-$b$N$G$"$k(B.  \item $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!$7$F$$$k(B.        fb $B$G$O(B, $B?tCM7W;;$r$b$A$$$FL@$i$+$J8m$j$r8!=P$9$k;EAH$_$rDs6!$7$F$$$k(B
         ($B$o$l$o$l$O$3$l$r(B checker $B$H8F$s$G$$$k(B).
       $B$3$N;EAH$_$G$O(B OpenXM $BHG$N(B mathematica $B$*$h$S(B asir $B%5!<%P(B        $B$3$N;EAH$_$G$O(B OpenXM $BHG$N(B mathematica $B$*$h$S(B asir $B%5!<%P(B
       $B$*$h$SA0=R$N(B OpenXM online $B$rMQ$$$F$$$k(B.        $B$*$h$SA0=R$N(B OpenXM online $B$rMQ$$$F$$$k(B.
         $B<B:]$K8x<0$NF~NO$r;O$a$F$_$F$o$+$C$?$3$H$G$"$k$,(B,
         checker $B$N$*$+$2$G(B, $B8x<0F~NO:n6H$O3Z$7$/$+$D@53N$H$J$C$?(B \cite{tamura}.
   \item A.Cohen $B$i$N(B Interactive Math Book $B$N%?%0(B(Eindhoven tag library)
         $B$rMQ$$$F(B, Interactive $B$J5!G=$r5-=R$9$k(B \cite{cohen}.
         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$G$"$k(B.
 \end{enumerate}  \end{enumerate}
 $B$J$*(B, (2) $B!A(B (6) $B$O%G%8%?%k8x<0=8$H$7$F?7$7$$;n$_$G$"$k(B.  $B$J$*(B, (1) $B!A(B (6) $B$O%G%8%?%k8x<0=8$H$7$F?7$7$$;n$_$G$"$k(B.
   
 \begin{figure}[tb]  \begin{figure}[tb]
 \begin{tabular}{|l|l|}  \begin{tabular}{|l|l|}
Line 575  fb (formula,tfb) XML  & 
Line 620  fb (formula,tfb) XML  & 
     Quadratic transformation of independent variable      Quadratic transformation of independent variable
   </description>    </description>
   
   <reference linkend="goursat1"  page="118"/>    <reference>
     <xref linkend="goursat1"  page="118"/>
     </reference>
   
   <evidence checker="Mathematica">    <evidence checker="Mathematica">
     @@ /. {a->1/2,b->3/5,c->-2/11,x->0.2}      @@ /. {a->1/2,b->3/5,c->-2/11,x->0.2}
Line 589  fb (formula,tfb) XML  & 
Line 636  fb (formula,tfb) XML  & 
 %%  tfb2fb.sh <../../formula/h21-0060.tfb-auto-tex.tfb | formula2tex.sh >t.tex  %%  tfb2fb.sh <../../formula/h21-0060.tfb-auto-tex.tfb | formula2tex.sh >t.tex
 %%  platex t  %%  platex t
 $B$3$N8x<0$r(B  $B$3$N8x<0$r(B
 TeX $B$X$NJQ49%D!<%k$G%W%l%<%s%F!<%7%g%s7A<0$KJQ49$7$?$b$N$O(B  \TeX $B$X$NJQ49%D!<%k$G%W%l%<%s%F!<%7%g%s7A<0$KJQ49$7$?$b$N$O(B
 \begin{center}$ {\frac{2\,{\sqrt{\pi }}\,\Gamma ({\frac{1}{2}} + a + b)\,{}  \begin{center}$ {\frac{2\,{\sqrt{\pi }}\,\Gamma ({\frac{1}{2}} + a + b)\,{}
 _2 F_1 (a,b,{\frac{1}{2}},x)}{\Gamma ({\frac{1}{2}} + a)\,\Gamma ({\frac{1}{2}}  _2 F_1 (a,b,{\frac{1}{2}},x)}{\Gamma ({\frac{1}{2}} + a)\,\Gamma ({\frac{1}{2}}
 + b)}} = {}_2 F_1 (2\,a,2\,b,{\frac{1}{2}} + a + b,{\frac{1 - {\sqrt{x}}}{2}}) +  + b)}} = {}_2 F_1 (2\,a,2\,b,{\frac{1}{2}} + a + b,{\frac{1 - {\sqrt{x}}}{2}}) +
Line 604  _2 F_1 (a,b,{\frac{1}{2}},x)}{\Gamma ({\frac{1}{2}} + 
Line 651  _2 F_1 (a,b,{\frac{1}{2}},x)}{\Gamma ({\frac{1}{2}} + 
   
 \section{ OpenXM $B4XO"$N=PHGJ*(B }  \section{ OpenXM $B4XO"$N=PHGJ*(B }
   
 OpenXM 1.2 $B0J9_$K=PHG$5$l$?;qNA$N%j%9%H(B:  OpenXM 1.1.3 $B0J9_$K=PHG$5$l$?;qNA$N%j%9%H(B:
 \begin{enumerate}  \begin{enumerate}
 \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  \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
 $BBP1~>u67$,2r@b$7$F$"$k(B.  $BBP1~>u67$,2r@b$7$F$"$k(B.
Line 617  OpenXM $B$rMQ$$$?4JC1$JJ,;67W;;$X$NF~Lg$N>O$,$"$k(B.
Line 664  OpenXM $B$rMQ$$$?4JC1$JJ,;67W;;$X$NF~Lg$N>O$,$"$k(B.
   
 $B0J>e(B OpenXM 1.2.2 $B$N?75!G=$r35@b$7$?(B.  $B0J>e(B OpenXM 1.2.2 $B$N?75!G=$r35@b$7$?(B.
 $B>\$7$/$O(B {\tt http://www.openxm.org} $B$N(B CVS-web $B$rMQ$$$F%=!<%9%3!<%I(B  $B>\$7$/$O(B {\tt http://www.openxm.org} $B$N(B CVS-web $B$rMQ$$$F%=!<%9%3!<%I(B
 $B$NJQ99MzNr(B  $B$NJQ99MzNr$*$h$S%3%_%C%H;~$N%3%a%s%H$r;2>H$5$l$?$$(B.
 $B$*$h$S%3%_%C%H;~$N%3%a%s%H$r;2>H$5$l$?$$(B.  
   
   
 \begin{thebibliography}{99}  \begin{thebibliography}{99}
 \bibitem{cohen}  \bibitem{cohen}
 A.Cohen, H.Cuypers, E.R.Barreiro, H. Sterk,  A.Cohen, H.Cuypers, E.R.Barreiro, H. Sterk,
Line 628  edited by M.Joswig and N.Takayama:  
Line 675  edited by M.Joswig and N.Takayama:  
 {\it Algebra, Geometry and Software Systems}, Springer,  {\it Algebra, Geometry and Software Systems}, Springer,
 289--308, 2003 (to appear).  289--308, 2003 (to appear).
 %  %
   \bibitem{digital-lib}
   Digital  Library of Mathematical Functions (Digital Abramowitz and Stegun)
   {\tt http://dlmf.nist.gov/}
   %
   %
 \bibitem{docbook}  \bibitem{docbook}
 {\tt http://www.docbook.org}  {\tt http://www.docbook.org}
 %  %
Line 691  Conglomerate Mathematical Systems,
Line 743  Conglomerate Mathematical Systems,
 edited by M.Joswig and N.Takayama:  edited by M.Joswig and N.Takayama:
 {\it Algebra, Geometry and Software Systems}, Springer,  {\it Algebra, Geometry and Software Systems}, Springer,
 309--326, 2003 (to appear).  309--326, 2003 (to appear).
   %
   \bibitem{tamura}
   Y.Tamura,
   Content Dictionaries and
      an Electronic Formula Book for Hypergeometric Functions,
   preprint
   %
   \bibitem{wolfram}
   Wolfram Research's Mathematical Functions, \\
   {\tt http://functions.wolfram.com}
 \end{thebibliography}  \end{thebibliography}
   
 \end{document}  \end{document}
   

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.4

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>