%% $OpenXM: OpenXM/doc/OpenXM-specs/OpenXM.tex,v 1.21 2016/08/22 05:38:27 takayama Exp $ \documentclass{article} \IfFileExists{epsfig.sty}{\usepackage{epsfig}}{} \usepackage{html} \begin{document} /*&jp \title{{\bf Open XM の設計と実装: クライアントサーバモデルと数学共通表現 (OpenXM-RFC 100, proposed standard)} \\ --- Open message eXchange protocol for Mathematics } \author{ 野呂正行, 高山信毅\thanks{神戸大学理学部数学教室,\htmladdnormallink{http://www.math.kobe-u.ac.jp/$\tilde{\ }$taka}{http://www.math.kobe-u.ac.jp/\tilde{\ }taka}}} \date{ 1997年, 11月20日 --- 2000年, 11月17日, \\ 2001年, 8月27日, 2002年, 1月20日 (小修正),\\ これ以後の修正は changeLog を見よ.} */ /*&eg \title{{\bf Design and Implementation of OpenXM client server model and common mathematical object format (OpenXM-RFC 100, proposed standard)} \\ --- Open message eXchange protocol for Mathematics } \author{ Masayuki Noro, 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}}} \date{ November 20, 1997 --- November 17, 2000, \\ August 27, 2001, January 20, 2002 (minor change), \\ See changeLog about changes after this date.} */ \maketitle \noindent ChangeLog /*&eg \noindent 2004-3-8: We add a new stackmacine command {\tt SM\_executeFunctionWithOptionalArgument}. \\ 2005-3-4: Added a description about a byte order negotiation to send floating point numbers. {\tt CMO\_64BIT\_MACHINE\_DOUBLE} \\ 2016-08-22: Added a description on the bigfloat32. Old bigfloat is removed. Refer to codes of oxpari. */ /*&jp \noindent 2004-3-8: 新しい SM コマンド {\tt SM\_executeFunctionWithOptionalArgument} を加えた. \\ 2005-3-4: 浮動小数点数を送るための byte order negotiation についての 記述を加えた. {\tt CMO\_64BIT\_MACHINE\_DOUBLE} \\ 2016-08-22: bigfloat32 の記述を加えた. 古い bigfloat の記述は削除した. oxpari のコードも参照. */ \bigbreak \newpage \tableofcontents \newpage \def\noroa#1{ } \def\remove#1{ } //&C \noindent Draft for protocol version 1.1.3. \\ //&C 1.1.3 is encoded as 001001003 in mathcap. \\ /*&jp {\tt kxx/openxxx.tex}. {\bf Draft} 1997, 11/20 --- . この文書は open XM の設計用のメモとしての役目もあるので, 一部のファイル名は開発者のみが参照できる. */ /*&C \input{introduction} \input{cmo-basic0} \input{formal-expression} \input{communication-model} \input{stackmachine} \input{project} \input{control} \input{start-session} \input{string-expression} \input{cmo-basic1} \input{ox-localdata} \input{error} \input{redefine} \input{implementation} \input{howtowrite} \input{cmo-register} %\input{appendix} \input{library} */ /*&C \begin{thebibliography}{99} \bibitem{GKW} Gray, S., Kajler, N. and Wang, P. S., Design and Implementation of MP, a Protocol for Efficient Exchange of Mathematical Expressions, {\sl Journal of Symbolic Computation}, 1996. \bibitem{gap} Linton, S. and Solomon, A., OpenMath, IAMC and {\tt GAP}, preprint, 1999. \bibitem{asir} Noro, M. et al., A Computer Algebra System {\tt Risa/Asir}, 1993, 1995, 2000\\ \htmladdnormallink{ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/}{ftp://archives.cs.ehime-u.ac.jp/pub/asir2000/} \bibitem{openmath} \htmladdnormallink{{\tt http://www.openmath.org}}{http://www.openmath.org} \bibitem{openxxx} \htmladdnormallink{{\tt http://www.math.kobe-u.ac.jp/OpenXM}/}{http://www.math.kobe-u.ac.jp/OpenXM/} \rm \bibitem{openasir-intro} Ohara, Takayama, Noro: Introduction to Open Asir , 1999, (in Japanese), Suushiki-Shyori, Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG , Tokyo). \bibitem{kan} Takayama, N., {\em Kan: A system for computation in algebraic analysis,} 1991 version 1, 1994 version 2, the latest version is 2.991106. \htmladdnormallink{ftp://ftp.math.kobe-u.ac.jp/pub/kan}{ftp://ftp.math.kobe-u.ac.jp/pub/kan} \bibitem{phc} Verschelde, J., PHCpack: A general-purpose solver for polynomial systems by homotopy continuation. ACM Transaction on Mathematical Softwares, 25(2) 251-276, 1999. \bibitem{iamc} Wang, P., Design and Protocol for Internet Accessible Mathematical Computation. Technical Report ICM-199901-001, ICM/Kent State University, 1999. \bibitem{xml} XML \htmladdnormallink{\tt http://www.w3c.org}{http://www.w3c.org} \end{thebibliography} */ /*&C \bigbreak \bigbreak \bigbreak \small{ \noindent \rightline{ Masayuki Noro,} \rightline{ FUJITSU LABORATORIES LTD., Kawasaki, Japan; (by Aug., 2000)} \rightline{{\tt noryo@flab.fujitsu.co.jp}} \rightline{Current Address: Department of Mathematics, Kobe University, Rokko, Kobe, 657-8501, Japan;} \rightline{{\tt noro@math.kobe-u.ac.jp}} \vskip .5cm \noindent \rightline{ Nobuki Takayama,} \rightline{Department of Mathematics, Kobe University, Rokko, Kobe, 657-8501, Japan;} \rightline{{\tt takayama@math.kobe-u.ac.jp}} } \end{document} */