Return to OpenXM.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

Annotation of OpenXM/doc/OpenXM-specs/OpenXM.tex, Revision 1.11

1.11    ! takayama    1: %%  $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.10 2000/10/19 00:17:50 takayama Exp $
1.2       noro        2: \documentclass{article}
                      3: \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{}
1.9       takayama    4: \usepackage{html}
1.2       noro        5: \begin{document}
1.1       noro        6: /*&jp
                      7: \title{{\bf Open XM の設計と実装} \\
                      8:  --- Open message eXchange protocol for Mathematics }
1.6       takayama    9: \author{ 野呂正行,
1.11    ! takayama   10:          高山信毅\thanks{神戸大学理学部数学教室,\htmladdnormallink{http://www.math.kobe-u.ac.jp/$\tilde{\ }$taka}{http://www.math.kobe-u.ac.jp/\tilde{\ }taka}}}
        !            11: \date{ 2000年, 11月17日}
1.1       noro       12: */
                     13: /*&eg
                     14: \title{{\bf Design and Implementation of OpenXM} \\
1.5       takayama   15:  --- Open message eXchange protocol for Mathematics
                     16: }
1.6       takayama   17: \author{ Masayuki Noro,
1.11    ! takayama   18:          Nobuki Takayama\thanks{Department of Mathematics, Kobe University,\htmladdnormallink{http://www.math.kobe-u.ac.jp/$\tilde{\ }$taka}{http://www.math.kobe-u.ac.jp/\tilde{\ }taka}}}
        !            19: \date{ November 17, 2000 }
1.1       noro       20: */
                     21: \maketitle
                     22:
                     23: \def\noroa#1{  }
                     24: \def\remove#1{ }
1.7       takayama   25:
                     26: //&C \noindent Draft for protocol version 1.1.3.  \\
                     27: //&C 1.1.3 is encoded as 001001003 in mathcap. \\
1.1       noro       28:
                     29: /*&jp
                     30: {\tt kxx/openxxx.tex}. {\bf Draft} 1997, 11/20 --- .
                     31: この文書は open XM の設計用のメモとしての役目もあるので,
                     32: 一部のファイル名は開発者のみが参照できる.
                     33: */
                     34:
                     35: /*&C
                     36: \input{introduction}
                     37: \input{cmo-basic0}
                     38: \input{formal-expression}
                     39: \input{communication-model}
                     40: \input{stackmachine}
                     41: \input{project}
                     42: \input{control}
                     43: \input{start-session}
                     44: \input{string-expression}
                     45: \input{cmo-basic1}
                     46: \input{ox-localdata}
                     47: \input{error}
                     48: \input{redefine}
                     49: \input{implementation}
                     50: \input{howtowrite}
                     51: \input{cmo-register}
1.3       noro       52: %\input{appendix}
1.1       noro       53: \input{library}
                     54: */
                     55:
                     56: /*&C
                     57:
                     58: \begin{thebibliography}{99}
1.4       noro       59: \bibitem{GKW}
                     60: Gray, S., Kajler, N. and Wang, P. S.,
                     61: Design and Implementation of MP, a Protocol for Efficient
                     62:   Exchange of Mathematical Expressions,
                     63:   {\sl Journal of Symbolic Computation}, 1996.
                     64: \bibitem{gap}
                     65: Linton, S. and Solomon, A.,
                     66: OpenMath, IAMC and {\tt GAP},
                     67: preprint, 1999.
                     68: \bibitem{asir}
                     69: Noro, M. et al.,
                     70: A Computer Algebra System {\tt Risa/Asir},  1993, 1995, 2000\\
1.9       takayama   71: \htmladdnormallink{ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}{ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}
1.10      takayama   72: \bibitem{openmath}  \htmladdnormallink{\tt http://www.openmath.org}{http://www.openmath.org}
                     73: \bibitem{openxxx}   \htmladdnormallink{\tt http://www.math.kobe-u.ac.jp/OpenXM/}{http://www.math.kobe-u.ac.jp/OpenXM/}
1.1       noro       74: \bibitem{openasir-intro}  Ohara, Takayama, Noro: Introduction to Open Asir ,
                     75: 1999, (in Japanese),
1.9       takayama   76: Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG , Tokyo).
1.4       noro       77: \bibitem{kan}
                     78: Takayama, N.,
                     79: {\em Kan: A system for computation in
                     80: algebraic analysis,} 1991 version 1,
                     81: 1994 version 2, the latest version is 2.991106.
1.9       takayama   82: \htmladdnormallink{ftp://ftp.math.kobe-u.ac.jp/pub/kan}{ftp://ftp.math.kobe-u.ac.jp/pub/kan}
1.4       noro       83: \bibitem{phc}
                     84: Verschelde, J.,
                     85: PHCpack: A general-purpose solver for polynomial systems by
                     86: homotopy continuation.  ACM Transaction on Mathematical Softwares, 25(2)
                     87: 251-276, 1999.
                     88: \bibitem{iamc}
                     89: Wang, P.,
                     90: Design and Protocol for Internet Accessible Mathematical Computation.
                     91: Technical Report ICM-199901-001, ICM/Kent State University, 1999.
1.8       takayama   92: \bibitem{xml}
                     93: XML
1.10      takayama   94: \htmladdnormallink{\tt http://www.w3c.org}{http://www.w3c.org}
1.1       noro       95: \end{thebibliography}
                     96: */
                     97:
                     98: /*&C
                     99: \bigbreak
                    100: \bigbreak
                    101: \bigbreak
                    102:
                    103: \small{
                    104: \noindent
                    105:     \rightline{ Masayuki Noro,}
1.8       takayama  106:     \rightline{ FUJITSU LABORATORIES LTD., Kawasaki, Japan; (by Aug., 2000)}
1.4       noro      107:  \rightline{{\tt noryo@flab.fujitsu.co.jp}}
1.8       takayama  108:    \rightline{Current Address: Department of Mathematics, Kobe University,
                    109:                Rokko, Kobe, 657-8501, Japan;}
                    110: \rightline{{\tt noro@math.kobe-u.ac.jp}}
1.1       noro      111:
                    112: \vskip .5cm
                    113:
                    114: \noindent
                    115:     \rightline{ Nobuki Takayama,}
                    116:    \rightline{Department of Mathematics, Kobe University,
                    117:                Rokko, Kobe, 657-8501, Japan;}
                    118: \rightline{{\tt takayama@math.kobe-u.ac.jp}}
                    119: }
                    120:
                    121: \end{document}
                    122: */