[BACK]Return to genkou19991125.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.31 and 1.113

version 1.31, 1999/12/21 09:06:47 version 1.113, 1999/12/28 14:03:30
Line 1 
Line 1 
 \documentclass{jarticle}  \documentclass{jarticle}
   
 \title{タイトル未定}  %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.112 1999/12/28 08:49:03 tam Exp $
 \author{  
 前川 将秀,  \usepackage{jssac}
 野呂 正行,  
 小原 功任, \\  \title{OpenXM プロジェクトの現状について}
 奥谷 幸夫,  \author{奥 谷   行 央\affil{神戸大学大学院自然科学研究科}
 高山 信毅,                  \mail{okutani@math.sci.kobe-u.ac.jp}
 田村 恭士    \and  小 原   功 任\affil{金沢大学理学部}
                   \mail{ohara@kappa.s.kanazawa-u.ac.jp}
     \and  高 山   信 毅\affil{神戸大学理学部}
                   \mail{takayama@math.sci.kobe-u.ac.jp}
     \and  田 村   恭 士\affil{神戸大学大学院自然科学研究科}
                   \mail{tamura@math.sci.kobe-u.ac.jp}
     \and  野 呂   正 行\affil{富士通研究所}
                   \mail{noro@para.flab.fujitsu.co.jp}
     \and  前 川   将 秀\affil{神戸大学理学部}
                   \mail{maekawa@math.sci.kobe-u.ac.jp}
 }  }
 \date{1999年11月25日}  \art{}
 %\pagestyle{empty}  
   
 \begin{document}  \begin{document}
 \maketitle  \maketitle
   
 \section{OpenXMとは}  \section{OpenXMとは}
   
 OpenXM は数学プロセス間でメッセージを交換するための規約である。数学プロ  OpenXM は数学プロセス間でメッセージを交換するための規約である.  数学プロ
 セス間でメッセージをやりとりさせることにより、ある数学プロセスから他の数  セス間でメッセージをやりとりすることにより, ある数学プロセスから他の数学
 学プロセスを呼び出して計算を行なったり、他のマシンで計算を行なわせたりす  プロセスを呼び出して計算を行なったり, 他のマシンで計算を行なわせたりする
 ることが目的である。なお、 OpenXM とは Open message eXchange protocol  ことが目的である.  なお, OpenXM とは Open message eXchange protocol for
 for Mathematics の略である。  Mathematics の略である.  OpenXM の開発の発端は野呂と高山により, asir と
 OpenXM の開発の発端は野呂正行と高山信毅により、 asir と kan/sm1 を  kan/sm1 を相互に呼び出す機能を実装したことである.
 相互に呼び出す機能を実装したことである。  
 %\footnote{この段落必要?}  
   
 発端となった asir と kan/sm1 での実装時には、  初期の実装では, 相手側のローカル言語の文法に従った文字列を送っていた.
 お互いに相手側のコマンド文字列を送っていた。  この方法では相手側のソフトが asir なのか kan/sm1 なのかを判別するなどし
 この方法は現在の OpenXM 規約でも形を変えて可能ではあるが、  て, 相手側のローカル言語の文法に合わせた文字列を作成しなければならない.
 使いやすい反面、効率的であるとはいい難い。  このローカル言語の文法に従った文字列を送る方法は, 効率的であるとはいい難
 さらに、この方法では相手側のソフトが asir なのか kan/sm1 なのかを  いが, 使いやすいとも言える.
 判別して、相手側に合わせてコマンド文字列を作成する必要がある。  
   
 これ以外の方法として、  現在の OpenXM 規約では共通表現形式によるメッセージを用いている.  上記の
 OpenXM 規約では共通表現形式によるメッセージも用意している。  文字列を送る方法の利点を生かすため, OpenXM 規約では共通表現形式の中の文
 OpenXM 規約独自のデータ形式である CMO 形式(Common Mathematical Object format)  字列として, ローカル言語の文法に従った文字列を用いたメッセージの交換も可
 以外にも、 MP や OpenMath の XML, binary 表現形式といった他の形式をも  能となっている.
 扱えるようにしてある。  
 なお、現在の OpenXM 規約では、  
 前述のコマンド文字列も CMO 形式などの何らかのデータ形式の中の  
 文字列として表現して送る必要がある。  
   
 \section{OpenXM の計算モデル}  OpenXM 規約では通信の方法に自由度があるが, 現在のところは TCP/IP を用い
   た通信しか実装されていない.
   \footnote{ただし asir には MPI を用いた実装もある.}
   そこで, この論文では TCP/IP を用いた実装に準拠してOpenXM の説明をする.
   
 {\Huge この節では計算モデルの話をしなければいけませんよ、田村君}  
   
 OpenXM 規約でのメッセージの交換はサーバとクライアントの間で行なわれる。  
 クライアントからサーバへメッセージを送り、  
 サーバはスタックマシンであると仮定されており、サーバがクライアントから受  
 け取ったメッセージはすべてスタックに積まれる。OpenXM のメッセージの中に  
 はサーバに行なわせたい動作に対応するデータがあり、このメッセージを受け取っ  
 たサーバはそれに対応する動作を行なうことが期待されている。ただし、サーバ  
 は命令されない限り何も動作を行なおうとはしない。  
   
   
 \section{OpenXM のメッセージの構造}  \section{OpenXM のメッセージの構造}
   
 {\Huge この節では構造の話をしなければいけませんよ、田村君}  通信の方法によってメッセージの構造は変わる.  この論文では TCP/IP の場合
   についてのみ説明を行なう.
   
 OpenXM のメッセージはバイトストリームであり、次のような構造を持つ。  OpenXM 規約で規定されているメッセージはバイトストリームとなっており, 次
 \begin{verbatim}  のような構造になっている.
 ヘッダ  ボディ  \begin{center}
 \end{verbatim}  \begin{tabular}{|c|c|}
 ヘッダの長さは8バイトであると定められている。ボディの長さはメッセージご  \hline
 とに異なる($0$でもよい)。  ヘッダ  & \hspace{10mm} ボディ \hspace{10mm} \\
 ヘッダは次の二つの情報を持つ。  \hline
   \end{tabular}
   \end{center}
   ヘッダの長さは 8 バイトであると定められている.  ボディの長さはメッセージ
   ごとに異なっているが, 長さは $0$ でもよい.
   
   ヘッダは次の二つの情報を持っている.
 \begin{enumerate}  \begin{enumerate}
 \item 前半の4バイト。タグと呼ばれ、メッセージの種類を表わす識別子である。  \item
 \item 後半の4バイト。メッセージにつけられた通し番号である。  前半の 4 バイト.  メッセージの種類を表す識別子であり, タグと呼ばれる.
   \item
   後半の 4 バイト.  メッセージにつけられた通し番号である.
 \end{enumerate}  \end{enumerate}
   それぞれの 4 バイトは 32 ビット整数とみなされて扱われる.
   
 それぞれの4バイトは32ビット整数とみなされて処理される。  この場合に用いられる 32 ビット整数の表現方法について説明しておこう.  問
 この場合に用いられる整数の表現方法については後述するが、基本的に  題になるのは負数の表現とバイトオーダーの問題である.  まず, 負数を表す必
 表現方法はいくつかの選択肢から選ぶことが可能であり、  要があるときには2の補数表現を使うことになっている.  次にバイトオーダーで
 また選択は通信路の確立時に一度だけなされることに注意しておこう。  あるが, OpenXM 規約は複数のバイトオーダーを許容する.  ただし一つの通信路
   ではひとつのバイトオーダーのみが許され, 通信路の確立時に一度だけ選ばれる.
   
 {\Huge 以下、書き直してね。}  現在のOpenXM 規約では, タグ(整数値)として以下のものが定義されている.
   
 ボディの中のデータがどのように格納されているかは  \begin{verbatim}
 各データ形式がそれぞれ独立に決められるようになっている。  #define OX_COMMAND               513
 もし、 OpenXM 規約でメッセージのやりとりを行ないたいが、  #define OX_DATA                  514
 まだ規約で定義されていないデータ形式を使いたい場合は、  #define OX_SYNC_BALL             515
 タグをまだ使われてなさそうな値  #define OX_DATA_WITH_LENGTH      521
 (システム固有の表現のために推奨されている値がある)  #define OX_DATA_OPENMATH_XML     523
 に設定し、 ボディの部分にデータを埋め込めばよい。  #define OX_DATA_OPENMATH_BINARY  524
 なお、すべてのメッセージに ボディが必要というわけではなく、  #define OX_DATA_MP               525
 ボディのないメッセージも OpenXM 規約には存在することに  \end{verbatim}
 注意しなければならない。  
   
 サーバに対する動作に対応したデータは SM 形式として定義されている。  ボディの構造はメッセージの種類によって異なる.  OX\_COMMAND で識別される
 SM 形式以外のデータでは、サーバは受け取ったデータをスタックに積む  メッセージはスタックマシンへの命令であり, それ以外のメッセージは何らかの
 以外の動作をしないことになっている。  オブジェクトを表している.  この論文では OX\_DATA と OX\_COMMAND で識別さ
 つまり、 SM 形式のデータがデータを受け取る以外の動作を  れるメッセージについてのみ, 説明する.
 サーバに行なわせる唯一のデータ形式である。  
 このデータを受け取る以外の動作の中には、  
 データになんらかの加工を施す動作も入っている。  
 このデータになんらかの加工を施す動作の中には  
 数学的な演算を行なう動作も含まれている。  
 以後、データになんらかの加工を施す動作のことを計算と呼ぶことにする。  
   
 \section{OpenXM の計算の進行方法}  既存のメッセージでは対応できない場合は, 新しい識別子を定義することで新し
   い種類のメッセージを作成することができる.  この方法は各数学ソフトウェア
   の固有の表現を含むメッセージを作成したい場合などに有効である.  新しい識
   別子の定義方法については, \cite{OpenXM-1999} を参照すること.
   
 OpenXM における計算とはメッセージの交換のことである。既に計算モデルの節  
 で説明したが(説明されているはずである)、OpenXM はサーバ・クライアントモ  
 デルを採用していて、サーバはスタックマシンの構造を持つ。サーバが行うのは  
 基本的に次の事柄に限られる。クライアントからメッセージを送られるとサーバ  
 は、まずメッセージの識別子を調べ、OX\_COMMAND でなければスタックに積む。  
 OX\_COMMAND であればメッセージのボディからスタックマシンのオペコードを取  
 りだし、あらかじめ規約で定められたアクションを起こす。  
   
 上の説明でわかるように、サーバはクライアントからの指示なしに、自らメッセー  \section{OpenXM の計算モデル}
 ジを送ることはない(例外? ox\_asir の mathcap)。  
   
 {\Huge 以下、書き直してね、田村君}  OpenXM 規約での計算とはメッセージを交換することである.  また, OpenXM 規
   約ではクライアント・サーバモデルを採用しているので, メッセージの交換はサー
   バとクライアントの間で行なわれる.
   \footnote{現在, 主に野呂が OpenXM の計算モデルの拡張を考えている.  効率
   的な分散計算のアルゴリズムの多くはサーバ同士の通信も要求するからである.}
   クライアントからサーバへメッセージを送り, クライアントがサーバからメッセー
   ジを受け取ることによって計算の結果が得られる.  このメッセージのやりとり
   はクライアントの主導で行われる.  つまり, クライアントは自由にメッセージ
   をサーバに送付してもよいが, サーバからは自発的にメッセージが送付されるこ
   とはない.  この原理はサーバはスタックマシンであることで実現される.  スタッ
   クマシンの構造については \ref{sec:oxsm} 節で述べる.
   
   サーバがクライアントから受け取ったオブジェクト(つまり OX\_COMMAND でない
   メッセージのボディ)はすべてスタックに積まれる.  スタックマシンへの命令
   (OX\_COMMAND で識別されるメッセージのボディ)を受け取ったサーバは命令に対
   応する動作を行なう.  このとき, 命令によってはスタックからオブジェクトを
   取り出すことがあり, また(各数学システムでの)計算結果をスタックに積むこと
   がある.  もし, 与えられたデータが正しくないなどの理由でエラーが生じた場
   合にはサーバはエラーオブジェクトをスタックに積む.  計算結果をクライアン
   トが得る場合にはスタックマシンの命令 SM\_popCMO または SM\_popString を
   サーバに送らなければならない.  これらの命令を受け取ってはじめて, サーバ
   からクライアントへメッセージが送られる.
   
 % クライアントがサーバへなんらかの計算を行なわせる場合、  まとめると, クライアントがサーバへメッセージを送り, 計算の結果を得るとい
 % クライアントからサーバへ計算させたいデータをメッセージとして送り、  う手順は以下のようになる.
 % そしてその結果をサーバからメッセージで受け取ることによって計算は行なわれる。  
 % ただし、サーバは結果の送信すらも命令されなければ行なうことはなく、  
 % クライアントは結果を受け取らずにサーバに次々と  
 % 計算を行なわせることも可能である。  
   
 サーバがクライアントから受け取ったメッセージはすべてスタックに積まれる。  
 ただし、このままでは受け取ったメッセージに含まれるデータを  
 スタックに積み上げていくだけで、サーバは計算を行なおうとはしない。  
 次いでサーバに行なわせたい動作に対応したデータを送ると、  
 初めてサーバは計算などの、なんらかの動作を行なう。  
 このとき、必要があればサーバはスタックから必要なだけデータを取り出す。  
 ここで、クライアントからの命令による動作中にたとえエラーが発生したとしても  
 サーバはエラーオブジェクトをスタックに積むだけで、  
 明示されない限りエラーを返さないことに注意しなければならない。  
   
 結果が生じる動作をサーバが行なった場合、  
 サーバは動作の結果をスタックに積んでいる。  
 サーバに行なわせた動作の結果をクライアントが知りたい場合、  
 スタックからデータを取り出し送信を行なう命令に対応した SM 形式のデータを  
 サーバ側へ送ればよい。  
   
 クライアントがサーバへ計算を行なわせ、結果を得るという手順を追っていくと、  
 次のようになる。  
   
 \begin{enumerate}  \begin{enumerate}
 \item   まず、クライアントがサーバへ計算させたいデータを送る。  \item
         サーバは送られてきたデータをスタックに積む。  まず, クライアントがサーバへオブジェクトを送る.  サーバは送られてきたオ
 \item   クライアントがサーバに「計算を行なう動作に対応したデータ」を  ブジェクトをスタックに積む.
         送ると、サーバは必要なだけスタックからデータを取り出し、  \item
         実行した計算の結果をスタックに積む。  クライアントがサーバに計算の命令を送ると, サーバはあらかじめ定めれらた動
 \item   最後に「データを取り出し送信を行なう命令に対応したデータ」を  作を行う.  一部の命令はスタックの状態を変更する.  例えば
         サーバへ送ると、サーバはスタックから計算結果の入っている  SM\_executeFunction, \\ SM\_executeStringByLocalParser などの命令は, ス
         データを取り出し、クライアントへ送出する。  タック上のオブジェクトから計算を行う.  SM\_popCMO もしくは SM\_popString
   は, スタックの最上位のオブジェクトを取りだし, クライアントに送り返す.
 \end{enumerate}  \end{enumerate}
   
   
 \section{CMO のデータ構造}  \section{OpenXM スタックマシン}\label{sec:oxsm}
   
 OpenXM 間でやりとりされるメッセージを実際に作成する場合、  OpenXM 規約ではサーバはスタックマシンであると定義している.  以下, OpenXM
 CMO 形式で定義されている多倍長整数を理解しておくと、  スタックマシンと呼ぶ.  この節ではOpenXM スタックマシンの構造について説明
 CMO 形式の他のデータ構造だけでなく、 OX 形式、 SM 形式のデータを  しよう.
 理解する助けになると思えるので、 CMO 形式の多倍長整数の  
 データ構造について説明する。  
   
 CMO 形式で定義されているデータは多倍長整数以外にも  まず, OpenXM 規約は通信時にやりとりされる共通のデータ形式については規定
 文字列やリスト構造などがある。どのようなデータであるかは  するが, OpenXM スタックマシンがスタックに積む, オブジェクトの構造までは
 データの先頭にあるタグを見れば判別できるようになっている。  規定しない.  つまり, オブジェクトの構造は各数学システムごとに異なってい
 これはメッセージのデータの判別の仕方とおなじである。  るということである.  このことは通信路からデータを受け取った際に, 各数学
 なお、タグは各データ毎に 32 bit の整数で表されており、  システムが固有のデータ構造に変換してからスタックに積むことを意味する.
 多倍長整数は 20 となっている。  この変換は1対1対応である必要はない.  もちろん, 恣意的に変換してよいわけ
 ここで 32 bit の整数の表現方法について説明する必要がある。  ではなく, 数学システムごとに変換方法をあらかじめ定めておく必要がある.
 OpenXM ではバイト列で 32 bit の整数 20 を  このような共通のデータ形式と各システムでの固有のデータ形式との変換の問題
 {\tt 00 00 00 14} と表す方法と {\tt 14 00 00 00} と表す方法がある。  は OpenXM に限ったことではない.  OpenMath (\ref{sec:other} 節を参照のこ
 この表現方法の違いはクライアントとサーバの最初の接続時に  と) ではこの変換を行うソフトウェアを Phrasebook と呼んでいる.
 双方の合意で決定することになっている。  
 なお、合意がない場合には  
 前者の表現方法(以後、この表現方法を network byte order と呼ぶ)を  
 使うことになっている。  
 また、負の数を表現する必要があるときには、  
 2 の補数表現を使うことになっている。  
   
 表現したい多倍長整数の絶対値を 2 進数で表した場合の桁数を $n$ と  次に OpenXM スタックマシンの命令コードについて説明する.  OpenXM スタック
 したとき、次にくるデータは $[(n+31)/32]$ を 32 bit の整数となる。  マシンにおけるすべての命令は 4 バイトの長さを持つ.  OpenXM 規約の他の規
 これは多倍長整数の絶対値を $2^{32}$ 進数で表した場合の桁数ととってもよい。  定と同様に, 4 バイトのデータは32ビット整数と見なされるので, この論文でも
 ただし、表現したい数が負の場合は $[(n+31)/32]$ を 32 bit の整数で表した値を  その表記にしたがう.  OpenXM スタックマシンに対する命令はスタックに積まれ
  2 の補数表現で負にして、正の場合と区別する。  ることはない.  現在のところ, OpenXM 規約では以下の命令が定義されている.
   
 表現したい多倍長整数の絶対値が $2^{32}$ 進数で $(b_0 b_1 ... b_k)_{2^{32}}$  \begin{verbatim}
 と表せるとき、次にくるデータは $b_0$, $b_1$, $\cdots$, $b_k$ を  #define SM_popSerializedLocalObject               258
 それぞれ 32 bit の整数で表現した値となる。  #define SM_popCMO                                 262
 %以下は書き直しの必要があるかも...  #define SM_popString                              263
 なお、 GNU MP LIBRARY を用いると、  #define SM_mathcap                                264
 C 言語から多倍長整数や任意精度浮動小数を扱うことができる。  #define SM_pops                                   265
 $b_0$, $b_1$, $\cdots$, $b_k$ をそれぞれ 32 bit 整数で表現した値は  #define SM_setName                                266
 この GNU MP LIBRARY で用いられている多倍長整数で使われている形式を  #define SM_evalName                               267
 参考にして合わせてある。  #define SM_executeStringByLocalParser             268
   #define SM_executeFunction                        269
   #define SM_beginBlock                             270
   #define SM_endBlock                               271
   #define SM_shutdown                               272
   #define SM_setMathCap                             273
   #define SM_executeStringByLocalParserInBatchMode  274
   #define SM_getsp                                  275
   #define SM_dupErrors                              276
   #define SM_DUMMY_sendcmo                          280
   #define SM_sync_ball                              281
   #define SM_control_kill                          1024
   #define SM_control_to_debug_mode                 1025
   #define SM_control_exit_debug_mode               1026
   #define SM_control_ping                          1027
   #define SM_control_start_watch_thread            1028
   #define SM_control_stop_watch_thread             1029
   #define SM_control_reset_connection              1030
   \end{verbatim}
   
 ここで具体例をだそう。  スタックマシンに対する命令の中には実行によって結果が返ってくるものがある.
 $4294967298 = 1 \times 2^{32} + 2$ を network byte order の多倍長整数で  結果が返ってくる命令を実行した場合, サーバはその結果をスタックに積む.
 表現すると、  たとえば, 命令 SM\_executeStringByLocalParser はスタックに積まれているオ
 \begin{center}  ブジェクトをサーバ側のローカル言語の文法に従った文字列とみなして計算を行
         {\tt 00 00 00 14 00 00 00 02 00 00 00 02 00 00 00 01}  なうが, 行なった計算の結果はスタックに積まれる.
 \end{center}  
 となる。また、同じ表現方法で $-1$ を表現すると、  
 \begin{center}  
         {\tt 00 00 00 14 ff ff ff ff 00 00 00 01}  
 \end{center}  
 となる。  
   
   なお, 命令の実行中にエラーが起こり, 結果が得られなかった場合には,
   エラーオブジェクトがスタックに積まれる.
   
 \section{MathCap について}  \section{CMO のデータ構造}\label{sec:cmo}
   
 サーバおよびクライアント双方ともに OpenXM で規定されている  OpenXM 規約では, 数学的オブジェクトを表現する方法として CMO 形式(Common
 メッセージの中のデータ形式をすべて受け取れるわけではない。  Mathematical Object format)を定義している.  この CMO 形式にしたがったデー
 しかも、 OpenXM 規約で規定されているデータ形式だけが  タは, 識別子が OX\_DATA であるようなメッセージのボディになることを想定し
 受渡しに使われるというわけではない。  ている.
 そこで、 OpenXM では相手側が受け取ることができるデータ形式を  
 収得する方法を用意している。  
   
 CMO 形式で定義されている MathCap データは  CMO 形式におけるデータ構造は次のような構造をもつ.
 %理解可能なメッセージの  \begin{center}
 受け取ることができるデータ形式を表すデータであり、  \begin{tabular}{|c|c|}
 要求されればサーバはサーバ自身の MathCap データをスタックに積む。  \hline
 また、クライアントから MathCap データをサーバへ送ることもでき、  ヘッダ        & \hspace{10mm} ボディ \hspace{10mm} \\
 MathCap データをサーバとクライアントの間で交換することによって、  \hline
 お互いに相手側が受け取ることができないデータ形式で  \end{tabular}
 メッセージを送ってしまうのを防ぐことができる。  \end{center}
 なお、 MathCap データの中では CMO 形式で定義されている  ヘッダは4バイトである.  ボディの長さはそれぞれのデータによって異なるが,
 32 bit 整数、文字列、リスト構造が使われており、  0でもよい.
 MathCap データに含まれている内容を理解できるためには  
 必然的にこれらも理解できる必要がある。  
   
 OpenXM 対応版の asir サーバである ox\_asir が返す MathCap を以下に示す。  メッセージと同様にヘッダは4バイト単位に管理される.  すなわち, CMO では
   ヘッダは一つだけの情報を含む.  この4バイトのヘッダのことをタグともいう.
   さて, CMO では, タグによってボディの論理的構造が決定する.  すなわち, タ
   グはそれぞれのデータ構造と1対1に対応する識別子である.  それぞれの論理的
   構造は\cite{OpenXM-1999} に詳述されている.  現在の OpenXM 規約では以下の
   CMO が定義されている.
   
 %なお、 $a_1$, $a_2$, $\cdots$, $a_n$ を要素に  
 %持つリスト構造を {\tt [$a_1$, $a_2$, $\cdots$, $a_n$]} 、  
 %文字列 ``string'' を {\tt "string"} 、 32 bit 整数を  
 %それに対応する 10 進数の整数で示す。  
   
 %↓手で作ったので間違えている可能性あり。  
 %%古いバージョン。差し替えの必要あり。  
 \begin{verbatim}  \begin{verbatim}
 [ [199901160,"ox_asir"],  #define CMO_ERROR2                         0x7f000002
   [276,275,258,262,263,266,267,268,274  #define CMO_NULL                           1
     ,269,272,265,264,273,300,270,271],  #define CMO_INT32                          2
   [ [514,[1,2,3,4,5,2130706433,2130706434  #define CMO_DATUM                          3
           ,17,19,20,21,22,24,25,26,31,27,33,60]],  #define CMO_STRING                         4
     [2144202544,[0,1]]  #define CMO_MATHCAP                        5
   ]  #define CMO_ARRAY                          16
 ]  #define CMO_LIST                           17
   #define CMO_ATOM                           18
   #define CMO_MONOMIAL32                     19
   #define CMO_ZZ                             20
   #define CMO_QQ                             21
   #define CMO_ZERO                           22
   #define CMO_DMS_GENERIC                    24
   #define CMO_DMS_OF_N_VARIABLES             25
   #define CMO_RING_BY_NAME                   26
   #define CMO_RECURSIVE_POLYNOMIAL           27
   #define CMO_LIST_R                         28
   #define CMO_INT32COEFF                     30
   #define CMO_DISTRIBUTED_POLYNOMIAL         31
   #define CMO_POLYNOMIAL_IN_ONE_VARIABLE     33
   #define CMO_RATIONAL                       34
   #define CMO_64BIT_MACHINE_DOUBLE           40
   #define CMO_ARRAY_OF_64BIT_MACHINE_DOUBLE  41
   #define CMO_128BIT_MACHINE_DOUBLE          42
   #define CMO_ARRAY_OF_128BIT_MACHINE_DOUBLE 43
   #define CMO_BIGFLOAT                       50
   #define CMO_IEEE_DOUBLE_FLOAT              51
   #define CMO_INDETERMINATE                  60
   #define CMO_TREE                           61
   #define CMO_LAMBDA                         62
 \end{verbatim}  \end{verbatim}
   
 <<<<<<< genkou19991125.tex  この中で CMO\_ERROR2, CMO\_NULL, CMO\_INT32, CMO\_DATUM, CMO\_STRING,
 この MathCap データのリスト構造は大きく分けて 3 つの部分に分かれる。  CMO\_MATHCAP, CMO\_LIST で識別されるオブジェクトは最も基本的なオブジェ
 最初の {\tt [199901160,"ox\_asir"]} の部分にはサーバの情報が入っている。  クトであって, すべての OpenXM 対応システムに実装されていなければならない.
 %この最初の要素がまたリスト構造となっており、  
 最初の要素はバージョンナンバーを、次の要素はサーバの名前を表している。  
   
 次の {\tt [276,275,$\cdots$,271]} の部分は  これらについての解説を行う前に記法について, 少し説明しておく.  この論文
 サーバに対する動作に対応した理解可能なデータの種類を表している。  では, 大文字で CMO\_INT32 と書いた場合には, 上記で定義した識別子を表す.
 サーバの動作に対するデータはすべて 32 bit の整数で表しており、  また CMO\_INT32 で識別されるオブジェクトのクラス(あるいはデータ構造) を
 このリストは理解可能なデータに対応する 32 bit 整数のリストとなっている。  cmo\_int32 と小文字で表すことにする.
   
 最後の {\tt [ [514,[1,2,3,$\cdots$,60]],[2144202544,[0,1]] ]} の部分は  さて cmo を表現するための一つの記法を導入する.  この記法は CMO expression
 理解可能なデータの形式を表している。  と呼ばれている.  その正確な形式的定義は \cite{OpenXM-1999} を参照すること.
 この部分はさらに {\tt [514,[1,2,3,$\cdots$,60]]} と  
 {\tt [2144202544,[0,1]]} にの部分に分けることができ、  
 それぞれが一つのデータ形式についての情報となっている。  
 どのデータ形式についての情報かは最初の要素にある整数値をみれば  
 分かるようになっている。  
 この整数値は CMO 形式では 514 となっている。  
 最初のデータ形式を区別する整数値以後の要素は  
 各データ形式によってどのように使われるか定まっている。  
 CMO 形式では理解可能なデータの tag がリストの中に収まっている。  
 前節で CMO 形式では多倍長整数を表す tag が 20 であることを述べたが、  
 このリストに 20 が含まれているので、  
 ox\_asir は CMO 形式の多倍長整数を受け取れることがわかる。  
   
 %%このリストの要素はまたリストとなっており、  CMO expssion は Lisp 風表現の一種で, cmo を括弧で囲んだリストとして表現
 %この最後の部分もまたリストとなっており、  する.  それぞれの要素はカンマで区切る.  例えば,
 %あるデータ形式で理解可能なものを表現したリストを要素としている。  \begin{quote}
 %{\tt [514,[1, 2, $\cdots$]]} の最初の 514 はこのリストが CMO 形式  (17, {\sl int32}, (CMO\_NULL), (2, {\sl int32} $n$))
 %での理解可能なデータを表していることを示しており、  \end{quote}
 %その後のリストでは CMO 層で定義されているデータのうち、  は CMO expression である.  ここで, 小文字の斜体で表された``{\sl int32}''
 %理解可能なデータの tag が並んでいる。  は 4 バイトの任意のデータを表す記号であり, ``{\sl int32} $n$'' は同じく
   4 バイトのデータであるが以下の説明で $n$ と表すことを示す.  また数字 17,
   2 などは 4 バイトのデータで整数値としてみたときの値を意味する.  CMO\_NULL
   は識別子(すなわち数字 1 と等価)である.  この記法から上記のデータは 20 バ
   イトの大きさのデータであることが分かる.  なお, CMO expression は単なる表
   記法であることに特に注意してほしい.
   
 なお、データが受け取れることと、  さて, この記法のもとで cmo\_int32 を次のデータ構造であると定義する.
 データの論理構造が理解できることとはまったく別物であるので  \begin{quote}
 注意する必要がある。  cmo\_int32 := (CMO\_INT32,  {\sl int32})
   \end{quote}
   同様に, cmo\_null, cmo\_string, cmo\_list, cmo\_mathcap のシンタッ
   クスは次のように定義される.
   \begin{quote}
   cmo\_null := (CMO\_NULL) \\
   cmo\_string := (CMO\_STRING, {\sl int32} $n$, {\sl string} $s$) \\
   cmo\_list := (CMO\_LIST, {\sl int32} $m$, {\sl cmo} $c_1$, $\ldots$,
   {\sl cmo} $c_m$) \\
   cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list})
   \end{quote}
   ただし, {\sl string}は適当な長さのバイト列を表す.  $s$ のバイト長は $n$
   と一致することが要求される.
   
   \section{mathcap について}
   
 \section{セキュリティ対策}  OpenXM 規約では, 通信時に用いられるメッセージの種類を各ソフトウェアが制
   限する方法を用意している.  これは各ソフトウェアの実装によってはすべての
   メッセージをサポートするのが困難な場合があるからである.  また, 各ソフト
   ウェアでメッセージの種類を拡張したい場合にも有効である.  この制限(あるい
   は拡張) は mathcap と呼ばれるデータ構造によって行われる.  この節では
   mathcap のデータ構造と, 具体的なメッセージの制限の手続きについて説明する.
   
 OpenXM では幾らかのセキュリティ対策を考えている。  まず, 手続きについて説明しよう.
 OpenXM に対応したソフトウェアをクラックしても  
 大した利点はないと思えるが、それは設計上の話であって、  
 予期せぬ手段で攻撃を受けた場合にどのような事態を  
 招くかは想像し難い。  
   
 そこで、 OpenXM では侵入者に攻撃の機会を  第一にサーバの機能を制限するには次のようにする.  クライアントが mathcap
 できるだけ与えないようにしている。  オブジェクトをサーバへ送ると, サーバは受け取ったmathcap をスタックに積む.
 具体的には、接続が必要になった時のみ接続を待つようにし、  次にクライアントが命令 SM\_setMathCap を送ると, サーバはスタックの最上位
 常に接続に関与するといったことは避けている。  に積まれている mathcap オブジェクトを取り出し, mathcap で設定されていな
   いメッセージをクライアントへ送らないように制限を行う.
   
 しかし、これだけでは侵入者が接続を行なう一瞬のすきを  第二にクライアントを制限するには次のようにする.  まず, クライアントがサー
 狙ってくる可能性もある。  バに命令 SM\_mathcap を送ると, サーバは mathcap オブジェクトをスタックに
 そこで接続を行なう時に、  積む.  さらに命令 SM\_popCMO を送ると, サーバはスタックの最上位のオブジェ
 接続を待つ port 番号をランダムに決めている。  クト(すなわち mathcap オブジェクト)をボディとするメッセージをクライアン
 こうすることで、特定の port 番号を狙って接続を行なう  トに送付する.  クライアントはそのオブジェクトを解析して, 制限をかける.
 瞬間を待つ手口を幾らか防ぐことができる。  
   
 さらにもう一段安全性を高めるために、  次に mathcap のデータ構造について説明する.
 接続時に 1 回だけ使用可能なパスワードを作成し、  mathcap は cmo の一種であるので, すでに説明したように
 そのパスワードを使って認証を行なう。  \begin{quote}
 このパスワードは一旦使用されれば無効にするので、  cmo\_mathcap := (CMO\_MATHCAP, {\sl cmo\_list})
 もし仮になんらかの手段でパスワードが洩れたとしても安全である。  \end{quote}
   の構造をもつ(\ref{sec:cmo} 節を参照のこと).
   ボディは cmo\_list オブジェクトでなければならない.
   
 なお、上記の port 番号とパスワードは安全な手段で送られて  さて, mathcap オブジェクトのボディの cmo\_list オブジェクトは以下の条件
 いると仮定している。  を満たすことを要求される.  まず, その cmo\_list オブジェクトは少なくとも
 また、同一のコンピュータ上に悪意のあるユーザはいないと仮定している  リスト長が 3 以上でなければならない.
 ことに注意しなければならない。  \begin{quote}
 なぜなら、現在の実装ではサーバ、およびクライアントの動作している  (CMO\_LIST, {\sl int32}, {\sl cmo} $a$, {\sl cmo} $b$, {\sl cmo} $c$, $\ldots$)
 コンピュータ上ではこの port 番号とパスワードがわかってしまうためである。  \end{quote}
   
 なお、接続が確立した後のメッセージの送受信に関しては、  第一要素 $a$ はまた cmo\_list であり, リスト長は 4 以上, $a_1$ は
 特に暗号化などの処置が行なわれているわけではない。  cmo\_int32 でバージョンを表す.  $a_2$, $a_3$, $a_4$ は cmo\_string であ
 もし必要があれば、通信路の暗号化を行なう機能がある  り, それぞれ数学システムの名前, バージョン, HOSTTYPE を表すことになって
 ソフトウェアを使うことを考えている。  いる.
   \begin{quote}
   (CMO\_LIST, {\sl int32},
   {\sl cmo\_int32} $a_1$, {\sl cmo\_string} $a_2$, {\sl cmo\_string}
   $a_3$, {\sl cmo\_string} $a_4$, $\ldots$)
   \end{quote}
   
   第二要素 $b$ も cmo\_list であり, OpenXM スタックマシンを制御するために
   用いられる.  各 $b_i$ は cmo\_int32 であり, ボディはスタックマシンの命令
   コードである.  \ref{sec:oxsm} 節で説明したが, スタックマシンへの命令はす
   べて {\sl int32} で表されていたことに注意しよう.
   \begin{quote}
   (CMO\_LIST, {\sl int32} $n$,
   {\sl cmo\_int32} $b_1$, $\ldots$, {\sl cmo\_int32} $b_n$)
   \end{quote}
   
 \section{他のプロジェクト}  第三要素 $c$ は以下のような cmo\_list であり, オブジェクトの送受信を制御
   するために用いられる.  送受信の制御はメッセージの種類ごとに行われる.
   \begin{quote}
   (CMO\_LIST, {\sl int32} $m$, {\sl cmo\_list} $\ell_1$, $\ldots$,
   {\sl cmo\_list} $\ell_m$)
   \end{quote}
   各 $\ell_i$ が制御のための情報を表す.  どの $\ell_i$ も一つ以上の要素を
   持っており, 第一要素は必ず cmo\_int32 となっていなければならない.  これ
   は制御すべきメッセージの識別子を入れるためである.
   
 他のプロジェクトについても触れておこう。  各 $\ell_i$ の構造はメッセージの種類によって異なる.  ここでは, OX\_DATA
   の場合についてのみ説明する.  第一要素が OX\_DATA の場合, リスト $\ell_i$
   は以下のような構造となっている.  各 $c_i$ は cmo\_int32 であり, そのボディ
   は CMO の識別子である.  $c_i$ で指示された CMO のみが送受信することを許
   される.
   \begin{quote}
   (CMO\_LIST, 2, (CMO\_INT32, OX\_DATA), \\
   \ \ (CMO\_LIST, {\sl int32} $k$, {\sl cmo\_int32} $c_1$,
   $\ldots$, {\sl cmo\_int32} $c_k$))
   \end{quote}
   
 OpenMath プロジェクトは数学的なオブジェクトを  具体的な mathcap の例をあげよう.  名前が ``ox\_test'', バージョンナンバー
 コンピュータ上で表現する方法を決定している。  が 199911250 のサーバで, Linux 上で動いており, このサーバのスタックマシ
 各ソフトウェア間でオブジェクトを交換する際の  ンが命令 SM\_popCMO, SM\_popString, SM\_mathcap,
 オブジェクトの変換手順についても述べられている。  SM\_executeStringByLocalParser を利用可能で, かつ オブジェクトを
 表現方法は一つだけでなく、 XML 表現や binary 表現などが  cmo\_int32, cmo\_string, cmo\_mathcap, cmo\_list のみに制限したいときの
 用意されている。  mathcap は
 詳細は  \begin{quote}
   (CMO\_MATHCAP, (CMO\_LIST, 3, \\
   $\quad$ (CMO\_LIST, 4, (CMO\_INT32, $199911250$), (CMO\_STRING, 7, ``ox\_test''), \\
   $\qquad$ (CMO\_STRING, 9, ``199911250''), (CMO\_STRING, 4, ``i386'')) \\
   $\quad$ (CMO\_LIST, $5$, (CMO\_INT32, SM\_popCMO), \\
   $\qquad$ (CMO\_INT32, SM\_popString), (CMO\_INT32, SM\_mathcap), \\
   $\qquad$ (CMO\_INT32, SM\_executeStringByLocalParser)) \\
   $\quad$ (CMO\_LIST, $1$, (CMO\_LIST, $2$, (CMO\_INT32, OX\_DATA), \\
   $\qquad$ (CMO\_LIST, $4$, (CMO\_INT32, CMO\_INT32), \\
   $\qquad\quad$ (CMO\_INT32, CMO\_STRING), (CMO\_INT32, CMO\_MATHCAP), \\
   $\qquad\quad$ (CMO\_INT32, CMO\_LIST))))))
   \end{quote}
   になる.
   
 http://www.openmath.org/omsoc/index.html A.M.Cohen  
   
   \section{セキュリティ対策}
   
 以下は書いてる途中。  OpenXM 規約は TCP/IP を用いて通信を行うことを考慮している.  したがって
   ネットワークによって接続される現代の多くのソフトウェアと同様, OpenXM 規
   約もまた通信時のセキュリティについて注意している.  以下, このことについ
   て説明しよう.
   
 NetSolve  第一に OpenXM では侵入者に攻撃の機会をできるだけ与えないようにするため,
   サーバは接続が必要になった時のみ起動している.  しかし, これだけでは接続
   を行なう一瞬のすきを狙われる可能性もある.  そこで接続を行なう時に, 接続
   を行なうポート番号を毎回変えている.  こうすることで, 特定のポート番号を
   狙って接続を行なう手口を防ぐことができる.
   
 http://www.cs.utk.edu/netsolve/  さらにもう一段安全性を高めるために, 接続時に一時パスワードをクライアント
   が作成し, そのパスワードを使って認証を行なう.  このパスワードは一旦使用
   されれば無効になるので, もし仮になんらかの手段でパスワードが洩れたとして
   も安全である.
   
   なお, メッセージ自体には特に暗号化などの処置を行っていないので, そのまま
   ではパケット盗聴などを受ける可能性がある.  現在の実装では, 必要ならば
   ssh を利用して対応している.
   
 MP  
   
 http://symbolicNet.mcs.kent.edu/SN/areas/protocols/mp.html  \section{OpenXM 以外のプロジェクト}\label{sec:other}
   
   OpenXM 以外にも数式処理システム間の通信や数学データの共通表現を目指した
   プロジェクトは存在する.  ここでは他のプロジェクトについても触れておこう.
   
 MCP  \begin{itemize}
   \item ESPRIT OpenMath Project
   
 http://horse.mcs.kent.edu/~pwang/  http://www.openmath.org/omsoc/
   
   数学的対象の SGML 的表記の標準化を目指した大規模なプロジェクト.  このプ
   ロジェクトでは数学データを数学的意味を保ったままで如何に表現すべきかとい
   う問題を追求している.  したがって既存の表現, 例えば \TeX による数式の表
   現と OpenMath による数式の表現とでは, 本質的に意味が異なる.  OpenMath で
   定義された表現は, 異なる種類の数式処理システムの間で情報を交換するときに
   利用することができる.  しかしながら, 数学システム同士の通信, 例えばある
   数学システムから別の数学システムを呼び出して計算させる方法などは, このプ
   ロジェクトの対象外である.
   
 \section{現在提供されているソフトウェア}  OpenXM 規約の CMO 形式の定義は OpenMath 規約の content dictionary の概念
   に似ている(もちろん OpenMath の方がもっと大掛かりで厳密な規定である).
   また, 共通データ形式と数学システム固有のオブジェクトとの変換は OpenMath
   規約の Phrasebook と同じアイデアを用いている.
   
 現在 OpenXM 規格に対応しているクライアントには  \item NetSolve
 asir, sm1, Mathematica がある。  
 これらのクライアントから  
 OpenXM 規格に対応したサーバを呼び出すことができる。  
 現在 OpenXM 規約に対応しているサーバソフトウェアには、  
  asir, sm1, gnuplot, Mathematica などがあり、  
 それぞれ ox\_asir, ox\_sm1, ox\_math という名前で提供されている。  
 また、 OpenMath 規格の XML 表現で表現されたデータと CMO 形式の  
 データを変換するソフトウェアが JAVA によって実装されており、  
 OMproxy という名前で提供されている。  
 =======  
 この MathCap データのリスト構造は大きく分けて 3 つの部分に分かれる。  
 最初の {\tt [199901160,"ox\_asir"]} の部分にはサーバの情報が入っている。  
 %この最初の要素がまたリスト構造となっており、  
 最初の要素はバージョンナンバーを、次の要素はサーバの名前を表している。  
   
 次の {\tt [276,275,$\cdots$,271]} の部分は  http://www.cs.utk.edu/netsolve/
 サーバに対する動作に対応した理解可能なデータの種類を表している。  
 サーバの動作に対するデータはすべて 32 bit の整数で表しており、  
 このリストは理解可能なデータに対応する 32 bit 整数のリストとなっている。  
   
 最後の {\tt [ [514,[1,2,3,$\cdots$,60]],[2144202544,[0,1]] ]} の部分は  NetSolve はクライアント・サーバ型の分散システムであり, 単なる計算システ
 理解可能なデータの形式を表している。  ム以上のものを目指している.  クライアントは必要に応じて, サーバを呼び出
 この部分はさらに {\tt [514,[1,2,3,$\cdots$,60]]} と  して計算をさせる.  NetSolve の特徴は, サーバの呼び出しに Agent というソ
 {\tt [2144202544,[0,1]]} にの部分に分けることができ、  フトウェアを介在させることである.  Agent は呼び出し先などを決定するデー
 それぞれが一つのデータ形式についての情報となっている。  タベース的役割を果たす.  また Agent によって負荷分散が可能になる.  現在
 どのデータ形式についての情報かは最初の要素にある整数値をみれば  の NetSolve は RPC を基礎にして実装されている.
 分かるようになっている。  
 この整数値は CMO 形式では 514 となっている。  
 最初のデータ形式を区別する整数値以後の要素は  
 各データ形式によってどのように使われるか定まっている。  
 CMO 形式では理解可能なデータのタグがリストの中に収まっている。  
 前節で CMO 形式では多倍長整数を表すタグが 20 であることを述べたが、  
 このリストに 20 が含まれているので、  
 ox\_asir は CMO 形式の多倍長整数を受け取れることがわかる。  
   
 なお、データが受け取れることと、  \item MP (Multi Project)
 データの論理構造が理解できることとはまったく別物であるので  
 注意する必要がある。  
   
   http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html
   
 \section{セキュリティ対策}  数学的なデータの表現とバイトストリームへのエンコーディングを
   提供するプロジェクト.
   このプロジェクトでは, 数学ソフト間で数学データをやりとりする際の
   通信路上での表現方法を規定している.
   すでに C 言語によるライブラリがあり, Common Lisp による
   実装も行なわれている.
   通信方法には幾らかの自由度があり,
   OpenXM や MPI, MCP(後述) で利用することも考えられている.
   
 OpenXM では幾らかのセキュリティ対策を考えている。  
 OpenXM に対応したソフトウェアをクラックしても  
 大した利点はないと思えるが、それは設計上の話であって、  
 予期せぬ手段で攻撃を受けた場合にどのような事態を  
 招くかは想像し難い。  
   
 そこで、 OpenXM では侵入者に攻撃の機会を  \item MCP (Mathematical Computation Protocol)
 できるだけ与えないようにしている。  
 具体的には、接続が必要になった時のみ接続を待つようにし、  
 常に接続に関与するといったことは避けている。  
   
 しかし、これだけでは侵入者が接続を行なう一瞬のすきを  http://horse.mcs.kent.edu/\~{}pwang/
 狙ってくる可能性もある。  
 そこで接続を行なう時に、  
 接続を待つ port 番号をランダムに決めている。  
 こうすることで、特定の port 番号を狙って接続を行なう  
 瞬間を待つ手口を幾らか防ぐことができる。  
   
 さらにもう一段安全性を高めるために、  数学的な計算を行なうための HTTP に似たプロトコル.  クライアント・サーバ
 接続時に 1 回だけ使用可能なパスワードを作成し、  モデルを採用しており, ピアツーピアのストリームコネクションを行なう.  交
 そのパスワードを使って認証を行なう。  換に用いられる数学データの表現方法についての規定はない.  したがって数学
 このパスワードは一旦使用されれば無効にするので、  的なデータの表現には MP や OpenXM で定められたものを利用する.  実際, 数
 もし仮になんらかの手段でパスワードが洩れたとしても安全である。  学データの表現に OpenMath の XML 表現を用いた実装があり, GAP と Axiom の
   間で通信が行われている.  この場合 MCP によって送信されるデータは, 本文に
   OpenMath 形式で数式を記述したテキストである.
   
 なお、上記の port 番号とパスワードは安全な手段で送られて  \end{itemize}
 いると仮定している。  
 また、同一のコンピュータ上に悪意のあるユーザはいないと仮定している  
 ことに注意しなければならない。  
 なぜなら、現在の実装ではサーバ、およびクライアントの動作している  
 コンピュータ上ではこの port 番号とパスワードがわかってしまうためである。  
   
 なお、接続が確立した後のメッセージの送受信に関しては、  
 特に暗号化などの処置が行なわれているわけではない。  
 もし必要があれば、通信路の暗号化を行なう機能がある  
 ソフトウェアを使うことを考えている。  
   
   \section{現在提供されているソフトウェア}
   
 \section{他のプロジェクト}  現在 OpenXM 規約に対応しているクライアントにはasir, sm1, Mathematica が
   ある.  これらのクライアントから OpenXM 規約に対応したサーバを呼び出すこ
   とができる.  また OpenXM 規約に対応しているサーバには, asir, sm1,
   Mathematica, gnuplot, PHC pack などがあり, それぞれ ox\_asir, ox\_sm1,
   ox\_math, ox\_sm1\_gnuplot, ox\_sm1\_phc という名前で提供されている.
   さらに OpenMath 規約の XML 表現で表現されたオブジェクトと CMO 形式のオブ
   ジェクトを相互変換するソフトウェアが JAVA によって実装されており,
   OMproxy という名前で提供されている.
   
 他のプロジェクトについて幾つか紹介する。  \begin{thebibliography}{99}
   \bibitem{Ohara-Takayama-Noro-1999}
   小原功任, 高山信毅, 野呂正行:
   {Open asir 入門}, 1999, 数式処理,
   Vol 7, No 2, 2--17. (ISBN4-87243-086-7, SEG 出版, Tokyo).
   
 OpenMath プロジェクトは数学的なオブジェクトを  \bibitem{OpenXM-1999}
 コンピュータ上で表現する方法を決定している。  野呂正行, 高山信毅:
 各ソフトウェア間でオブジェクトを交換する際の  {Open XM の設計と実装
 オブジェクトの変換手順についても述べられている。  --- Open message eXchange protocol for Mathematics},
 表現方法は一つだけでなく、 XML 表現や binary 表現などが  1999/11/22
 用意されている。  \end{thebibliography}
   
 %以下、調べる必要あり。  
 %NetSolve  
   
 %MP  
   
 %MCP  
   
 \section{現在提供されているソフトウェア}  
   
 現在 OpenXM 規格に対応しているクライアントソフトウェアには  
 asir, sm1, Mathematica がある。  
 これらのクライアントソフトウェアから  
 OpenXM 規格に対応したサーバを呼び出すことができる。  
 現在 OpenXM 規約に対応しているサーバソフトウェアには、  
  asir, sm1, gnuplot, Mathematica などがあり、  
 それぞれ ox\_asir, ox\_sm1, ox\_math という名前で提供されている。  
 また、 OpenMath 規格の XML 表現で表現されたデータと CMO 形式の  
 データを変換するソフトウェアが JAVA によって実装されており、  
 OMproxy という名前で提供されている。  
 >>>>>>> 1.30  
   
 \end{document}  \end{document}

Legend:
Removed from v.1.31  
changed lines
  Added in v.1.113

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