=================================================================== RCS file: /home/cvs/OpenXM/doc/Papers/rims-2002-12-12-ja.tex,v retrieving revision 1.3 retrieving revision 1.4 diff -u -p -r1.3 -r1.4 --- OpenXM/doc/Papers/rims-2002-12-12-ja.tex 2002/12/06 09:32:29 1.3 +++ OpenXM/doc/Papers/rims-2002-12-12-ja.tex 2002/12/07 03:27:00 1.4 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/doc/Papers/rims-2002-12-12-ja.tex,v 1.2 2002/12/03 07:00:04 takayama Exp $ +% $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, %Id: rims-2003-12.tex,v 1.10 2002/12/02 02:14:55 taka Exp $ % Some .gif files are under misc-2002/12. @@ -47,7 +47,7 @@ Conglomerate $B2=(B\cite{solomon}, \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. \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. \section{ oxd $B%9!<%Q!<%5!<%P(B } @@ -57,9 +57,9 @@ 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, \underline{ $B%5!<%P$N5/F0$,HQ;((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$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 $B2r7h:v$H$7$F$O0J2<$N$h$&$JJ}K!$,$"$k$G$"$m$&(B. \begin{enumerate} @@ -251,7 +251,7 @@ OpenXM $B$N%9%m!<%,%s$G$"$k(B. $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. 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$$$&(B Linux $B$r(B OS $B$K;}$D(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. @@ -485,21 +485,18 @@ OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B, $BpJs$r5!3#2DFI7A<0$G(B $BJ];}$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 $B?t3X(B object $B$NF~NO$r87L)$K$+$DMF0W$K(B. \item $BCx:n8"$NLdBj$,$J$$8x<0=8(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} $B0J2<$K$o$l$o$l$N@_7W$N35MW$r5-$9(B. \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} $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. @@ -509,38 +506,49 @@ OpenXM $B$N(B fb $B%W%m%8%'%/%H$G$O(B, hypergeon2, weylalgebra1 $B$r3+H/$7$?(B (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 - $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 %DocBook $B$H(B OpenMath $B$N%?%0$r3HD%$9$k7A$G(B %$B8&5f$7$F$$$k(B \cite{cohen}. \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$?$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 $BD64v2?4X?t$K4XO"$9$k(B Content Dictionary $B$r$b$H$K9b;3$O(B - 1 $BZL@$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 $B8x<0=8$rJN,$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 - tfb $B$H$$$&8@8l$r(B - $B$b$A$$$FF~NO$r$*$3$J$C$F$*$j(B, $BCx:n8"$NLdBj$,$J$$(B. +\item fb $B$G$O(B tfb $B$H$$$&8@8l$r@_7W$7$?(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 RIACA CD Editor($B%*%i%s%@(B) $B$d(B STAR/MathWriter (Stilo Technology) %%Pic: coq-starts.jpg $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 - 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. - 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$*$h$SA0=R$N(B OpenXM online $B$rMQ$$$F$$$k(B. + $BH$9$k$H$-$KJQ?t$NCV$-49$($OJXMx$G$"$k(B. \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{tabular}{|l|l|} @@ -612,7 +620,9 @@ fb (formula,tfb) XML & Quadratic transformation of independent variable - + + + @@ /. {a->1/2,b->3/5,c->-2/11,x->0.2} @@ -626,7 +636,7 @@ fb (formula,tfb) XML & %% tfb2fb.sh <../../formula/h21-0060.tfb-auto-tex.tfb | formula2tex.sh >t.tex %% platex t $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)\,{} _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}}) + @@ -641,7 +651,7 @@ _2 F_1 (a,b,{\frac{1}{2}},x)}{\Gamma ({\frac{1}{2}} + \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} \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. @@ -654,9 +664,9 @@ 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. $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$*$h$S%3%_%C%H;~$N%3%a%s%H$r;2>H$5$l$?$$(B. +$B$NJQ99MzNr$*$h$S%3%_%C%H;~$N%3%a%s%H$r;2>H$5$l$?$$(B. + \begin{thebibliography}{99} \bibitem{cohen} A.Cohen, H.Cuypers, E.R.Barreiro, H. Sterk, @@ -665,6 +675,11 @@ edited by M.Joswig and N.Takayama: {\it Algebra, Geometry and Software Systems}, Springer, 289--308, 2003 (to appear). % +\bibitem{digital-lib} +Digital Library of Mathematical Functions (Digital Abramowitz and Stegun) +{\tt http://dlmf.nist.gov/} +% +% \bibitem{docbook} {\tt http://www.docbook.org} % @@ -728,6 +743,16 @@ Conglomerate Mathematical Systems, edited by M.Joswig and N.Takayama: {\it Algebra, Geometry and Software Systems}, Springer, 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{document} \ No newline at end of file