===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.30
retrieving revision 1.45
diff -u -p -r1.30 -r1.45
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/21 06:59:42	1.30
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/22 16:17:47	1.45
@@ -2,12 +2,16 @@
 
 \title{タイトル未定}
 \author{
-前川 まさひで,
-野呂 正行,
-小原 功任, \\
-奥谷 幸夫,
-高山 信毅,
+前川 将秀\thanks{神戸大学理学部数学科},
+野呂 正行\thanks{富士通研究所},
+小原 功任\thanks{金沢大学理学部計算科学教室}, \\
+奥谷 行央
+%\thanks{神戸大学大学院自然科学研究科博士課程前期課程数学専攻},
+\thanks{神戸大学大学院自然科学研究科数学専攻},
+高山 信毅\thanks{神戸大学理学部数学教室},
 田村 恭士
+%\thanks{神戸大学大学院自然科学研究科博士課程後期課程情報メディア科学専攻計算システム講座}
+\thanks{神戸大学大学院自然科学研究科情報メディア科学専攻}
 }
 \date{1999年11月25日}
 %\pagestyle{empty}
@@ -17,138 +21,144 @@
 
 \section{OpenXMとは}
 
-OpenXM は数学プロセス間でメッセージを交換するための規約である。数学プロ
-セス間でメッセージをやりとりさせることにより、ある数学プロセスから他の数
-学プロセスを呼び出して計算を行なったり、他のマシンで計算を行なわせたりす
-ることが目的である。なお、 OpenXM とは Open message eXchange protocol
-for Mathematics の略である。
+OpenXM は数学プロセス間でメッセージを交換するための規約である。
+数学プロセス間でメッセージをやりとりすることにより、
+ある数学プロセスから他の数学プロセスを呼び出して計算を行なったり、
+他のマシンで計算を行なわせたりすることが目的である。
+なお、 OpenXM とは Open message eXchange protocol for Mathematics の略である。
+OpenXM の開発の発端は野呂と高山により、
+asir と kan/sm1 を相互に呼び出す機能を実装したことである。
 
+%発端となった asir と kan/sm1 での実装時には、
+初期の実装では、相手側のローカル言語の文法に従った文字列を送っていた。
+現在の OpenXM 規約では共通表現形式によるメッセージを用いている。
+この方法では相手側のソフトが asir なのか kan/sm1 なのかを判別するなどして、
+相手側のローカル言語の文法に合わせた文字列を作成する必要がなくなる。
+しかし、ローカル言語の文法に従った文字列を送る方法も、
+効率的であるとはいい難いが、使いやすい。
+そのため、 OpenXM 規約では共通表現形式の中の文字列として、
+ローカル言語の文法に従った文字列を用いた
+メッセージの交換も可能となっている。
 
-OpenXM の開発の発端は野呂正行と高山信毅により、 asir と kan/sm1 を
-相互に呼び出す機能を実装したことである。
-\footnote{この段落必要?}
-発端となった asir と kan/sm1 での実装時には、
-お互いに相手側のコマンド文字列を送っていた。
-この方法は現在の OpenXM 規約でも形を変えて可能ではあるが、
-使いやすい反面、効率的であるとはいい難い。
-さらに、この方法では相手側のソフトが asir なのか kan/sm1 なのかを
-判別して、相手側に合わせてコマンド文字列を作成する必要がある。
+%OpenXM 規約独自のデータ形式である CMO 形式(Common Mathematical Object format)
+%以外にも、 MP や OpenMath の XML, binary 表現形式といった他の形式をも
+%扱えるようにしてある。
 
-これ以外の方法として、
-OpenXM 規約では共通表現形式によるメッセージも用意している。
-OpenXM 規約独自のデータ形式である CMO 形式(Common Mathematical Object format)
-以外にも、 MP や OpenMath の XML, binary 表現形式といった他の形式をも
-扱えるようにしてある。
-なお、現在の OpenXM 規約では、
-前述のコマンド文字列も CMO 形式などの何らかのデータ形式の中の
-文字列として表現して送る必要がある。
+OpenXM 規約では通信路の確保の方法に幾らかの自由度があるが、
+現在は TCP/IP ソケットを用いた実装しかない。
+%通信の実現方法は通信路のとりかたにより変わる。
+そこで、以後ここでは具体的な実装は TCP/IP ソケットを
+用いていると仮定する。
 
-\section{OpenXM の計算モデル}
 
-{\Huge この節では計算モデルの話をしなければいけませんよ、田村君}
+\section{OpenXM のメッセージの構造}
 
-OpenXM 規約でのメッセージの交換はサーバとクライアントの間で行なわれる。
-サーバはスタックマシンであると仮定されており、サーバがクライアントから受
-け取ったメッセージはすべてスタックに積まれる。OpenXM のメッセージの中に
-はサーバに行なわせたい動作に対応するデータがあり、このメッセージを受け取っ
-たサーバはそれに対応する動作を行なうことが期待されている。ただし、サーバ
-は命令されない限り何も動作を行なおうとはしない。
+OpenXM で規定されている TCP/IP 実装によるメッセージは
+バイトストリームとなっており、
+次のような構造になっている。
 
+\begin{tabular}{|c|c|} \hline
+ヘッダ	& \hspace{10mm} ボディ \hspace{10mm} \\ \hline
+\end{tabular}
 
-\section{OpenXM のメッセージの構造}
+ヘッダの長さは 8 バイトであると定められている。
+ボディの長さはメッセージごとに異なっているが、
+長さは $0$ でもよい。
 
-{\Huge この節では構造の話をしなければいけませんよ、田村君}
+ヘッダは次の二つの情報を持っている。
+\begin{enumerate}
+\item	前半の 4 バイト。メッセージの種類を表わす識別子であり、
+	タグと呼ばれる。
+\item	後半の 4 バイト。メッセージにつけられた通し番号である。
+\end{enumerate}
+それぞれの 4 バイトは 32 ビット整数とみなされて扱われる。
+この場合に用いられる整数の表現方法の説明については後述するが、
+基本的に表現方法はいくつかの選択肢から選ぶことが可能となっており、
+またその選択は通信路の確立時に一度だけなされることに注意しなければならない。
+OpenXM 規約で定義されているタグの整数値で
+よく使われると思うものを以下にあげておく。
 
-OpenXM のメッセージはバイトストリームであり、次のような構造を持つ。
 \begin{verbatim}
-ヘッダ  ボディ
+#define	OX_COMMAND	513
+#define	OX_DATA	514
 \end{verbatim}
-ヘッダの長さは8バイトであると定められている。ボディの長さはメッセージご
-とに異なる($0$でもよい)。
-ヘッダは次の二つの情報を持つ。
-\begin{enumerate}
-\item 前半の4バイト。タグと呼ばれ、メッセージの種類を表わす識別子である。
-\item 後半の4バイト。メッセージにつけられた通し番号である。
-\end{enumerate}
 
-それぞれの4バイトは32ビット整数とみなされて処理される。
-この場合に用いられる整数の表現方法については後述するが、基本的に
-表現方法はいくつかの選択肢から選ぶことが可能であり、
-また選択は通信路の確立時に一度だけなされることに注意しておこう。
+ボディの中身はタグによるメッセージの種類によって
+それぞれ独立に決められるようになっている。
+もし、システム固有の表現を OpenXM 規約のメッセージに
+埋め込んで使いたい場合には、
+タグの値をこのような用途のために推奨されている
+整数値の範囲に設定し、
+システム固有の表現をボディに埋め込めばよい。
 
-{\Huge 以下、書き直してね。}
 
-ボディの中のデータがどのように格納されているかは
-各データ形式がそれぞれ独立に決められるようになっている。
-もし、 OpenXM 規約でメッセージのやりとりを行ないたいが、
-まだ規約で定義されていないデータ形式を使いたい場合は、
-タグをまだ使われてなさそうな値
-(システム固有の表現のために推奨されている値がある)
-に設定し、 ボディの部分にデータを埋め込めばよい。
-なお、すべてのメッセージに ボディが必要というわけではなく、
-ボディのないメッセージも OpenXM 規約には存在することに
-注意しなければならない。
+\section{OpenXM の計算モデル}
 
-サーバに対する動作に対応したデータは SM 形式として定義されている。
-SM 形式以外のデータでは、サーバは受け取ったデータをスタックに積む
-以外の動作をしないことになっている。
-つまり、 SM 形式のデータがデータを受け取る以外の動作を
-サーバに行なわせる唯一のデータ形式である。
-このデータを受け取る以外の動作の中には、
-データになんらかの加工を施す動作も入っている。
-このデータになんらかの加工を施す動作の中には
-数学的な演算を行なう動作も含まれている。
-以後、データになんらかの加工を施す動作のことを計算と呼ぶことにする。
+%{\Huge この節では計算モデルの話をしなければいけません}
 
-\section{OpenXM の計算の進行方法}
+OpenXM 規約での計算とはメッセージを交換することである。
+また、 OpenXM 規約ではクライアント・サーバモデルを採用しているので、
+メッセージの交換はサーバとクライアントの間で行なわれる。
+クライアントからサーバへメッセージを送り、
+サーバからクライアントがメッセージを受け取ることによって
+計算の結果が得られる。
 
-OpenXM における計算とはメッセージの交換のことである。既に計算モデルの節
-で説明したが(説明されているはずである)、OpenXM はサーバ・クライアントモ
-デルを採用していて、サーバはスタックマシンの構造を持つ。サーバが行うのは
-基本的に次の事柄に限られる。クライアントからメッセージを送られるとサーバ
-は、まずメッセージの識別子を調べ、OX\_COMMAND でなければスタックに積む。
-OX\_COMMAND であればメッセージのボディからスタックマシンのオペコードを取
-りだし、あらかじめ規約で定められたアクションを起こす。
+サーバはスタックマシンであると仮定されており、
+サーバがクライアントから受け取ったメッセージは、
+タグが OX\_COMMAND でなければすべてスタックに積まれる。
+タグが OX\_COMMAND となっているメッセージは
+スタックマシンへの命令であり、このメッセージを受け取ったサーバは
+それに対応する動作を行なうことが期待されている。
+しかし、サーバはメッセージを受け取らない限り、
+自ら何か動作を行なおうとはしない。
+これは毎回サーバへメッセージを送るたびに、
+いつもサーバからのメッセージをクライアントが待つ必要がないことを意味する。
+このため、クライアントはサーバの状態を気にせずにメッセージを送り、
+一旦メッセージを送付し終えた後、
+サーバへ送ったメッセージの結果を
+サーバから待つことなしに次の動作に移ることができる。
 
-上の説明でわかるように、サーバはクライアントからの指示なしに、自らメッセー
-ジを送ることはない(例外? ox\_asir の mathcap)。
 
-{\Huge 以下、書き直してね、田村君}
+\section{OpenXM の計算の進行方法}
 
+サーバが行うのは基本的に次の事柄だけである。
+クライアントからメッセージを受け取ると、
+サーバはまずメッセージの識別子を調べ、
+タグが OX\_COMMAND のメッセージでなければスタックに積む。
+タグが OX\_COMMAND のメッセージであればメッセージのボディから
+スタックマシンの命令コードを取りだし、
+あらかじめ規約で定められた動作を行なう。
 
-% クライアントがサーバへなんらかの計算を行なわせる場合、
-% クライアントからサーバへ計算させたいデータをメッセージとして送り、
-% そしてその結果をサーバからメッセージで受け取ることによって計算は行なわれる。
-% ただし、サーバは結果の送信すらも命令されなければ行なうことはなく、
-% クライアントは結果を受け取らずにサーバに次々と
-% 計算を行なわせることも可能である。
+上の説明でわかるように、
+サーバはクライアントからの指示なしに、
+自らメッセージを送らないことに注意する必要がある。
+%(例外? ox\_asir の mathcap)。
 
-サーバがクライアントから受け取ったメッセージはすべてスタックに積まれる。
-ただし、このままでは受け取ったメッセージに含まれるデータを
-スタックに積み上げていくだけで、サーバは計算を行なおうとはしない。
-次いでサーバに行なわせたい動作に対応したデータを送ると、
-初めてサーバは計算などの、なんらかの動作を行なう。
+サーバがクライアントから受け取ったメッセージはすべてスタックに積まれている。
+次いでサーバにスタックマシンへの命令を送ると、
+初めてサーバはデータをスタックに積む以外のなんらかの動作を行なう。
 このとき、必要があればサーバはスタックから必要なだけデータを取り出す。
 ここで、クライアントからの命令による動作中にたとえエラーが発生したとしても
 サーバはエラーオブジェクトをスタックに積むだけで、
-明示されない限りエラーを返さないことに注意しなければならない。
+明示されない限りエラーをクライアントへ返さないことに注意しなければならない。
 
 結果が生じる動作をサーバが行なった場合、
-サーバは動作の結果をスタックに積んでいる。
+サーバは動作の結果をスタックに積む。
 サーバに行なわせた動作の結果をクライアントが知りたい場合、
-スタックからデータを取り出し送信を行なう命令に対応した SM 形式のデータを
-サーバ側へ送ればよい。
+スタックからデータを取り出し送信を行なう命令をサーバ側へ送ればよい。
 
-クライアントがサーバへ計算を行なわせ、結果を得るという手順を追っていくと、
-次のようになる。
+%{\Huge 以下、書き直し}
 
+クライアントがサーバへメッセージを送り、
+計算の結果を得るという手順を追っていくと次のようになる。
+
 \begin{enumerate}
-\item	まず、クライアントがサーバへ計算させたいデータを送る。
-	サーバは送られてきたデータをスタックに積む。
-\item	クライアントがサーバに「計算を行なう動作に対応したデータ」を
-	送ると、サーバは必要なだけスタックからデータを取り出し、
-	実行した計算の結果をスタックに積む。
-\item	最後に「データを取り出し送信を行なう命令に対応したデータ」を
+\item	まず、クライアントがサーバへメッセージを送る。
+	サーバは送られてきたメッセージをスタックに積む。
+\item	クライアントがサーバにスタックマシンへの命令を送ると、
+	サーバは必要なだけスタックからデータを取り出し、
+	実行した結果をスタックに積む。
+\item	最後に「スタックからデータを取り出し送信を行なう命令」を
 	サーバへ送ると、サーバはスタックから計算結果の入っている
 	データを取り出し、クライアントへ送出する。
 \end{enumerate}
@@ -156,7 +166,10 @@ OX\_COMMAND であればメッセージのボディからスタックマシ
 
 \section{CMO のデータ構造}
 
-OpenXM 間でやりとりされるメッセージを実際に作成する場合、
+OpenXM 規約では、数学的オブジェクトを表現するオリジナルの方法として
+CMO 形式(Common Mathematical Object format)を定義している。
+
+OpenXM 規約で定義されているメッセージを実際に作成する場合、
 CMO 形式で定義されている多倍長整数を理解しておくと、
 CMO 形式の他のデータ構造だけでなく、 OX 形式、 SM 形式のデータを
 理解する助けになると思えるので、 CMO 形式の多倍長整数の
@@ -275,6 +288,14 @@ CMO 形式では理解可能なデータのタグがリストの中に収まっ
 このリストに 20 が含まれているので、
 ox\_asir は CMO 形式の多倍長整数を受け取れることがわかる。
 
+%%このリストの要素はまたリストとなっており、
+%この最後の部分もまたリストとなっており、
+%あるデータ形式で理解可能なものを表現したリストを要素としている。
+%{\tt [514,[1, 2, $\cdots$]]} の最初の 514 はこのリストが CMO 形式
+%での理解可能なデータを表していることを示しており、
+%その後のリストでは CMO 層で定義されているデータのうち、
+%理解可能なデータのタグが並んでいる。
+
 なお、データが受け取れることと、
 データの論理構造が理解できることとはまったく別物であるので
 注意する必要がある。
@@ -296,8 +317,8 @@ OpenXM に対応したソフトウェアをクラックしても
 しかし、これだけでは侵入者が接続を行なう一瞬のすきを
 狙ってくる可能性もある。
 そこで接続を行なう時に、
-接続を待つ port 番号をランダムに決めている。
-こうすることで、特定の port 番号を狙って接続を行なう
+接続を待つポート番号をランダムに決めている。
+こうすることで、特定のポート番号を狙って接続を行なう
 瞬間を待つ手口を幾らか防ぐことができる。
 
 さらにもう一段安全性を高めるために、
@@ -306,12 +327,12 @@ OpenXM に対応したソフトウェアをクラックしても
 このパスワードは一旦使用されれば無効にするので、
 もし仮になんらかの手段でパスワードが洩れたとしても安全である。
 
-なお、上記の port 番号とパスワードは安全な手段で送られて
+なお、上記のポート番号とパスワードは安全な手段で送られて
 いると仮定している。
 また、同一のコンピュータ上に悪意のあるユーザはいないと仮定している
 ことに注意しなければならない。
 なぜなら、現在の実装ではサーバ、およびクライアントの動作している
-コンピュータ上ではこの port 番号とパスワードがわかってしまうためである。
+コンピュータ上ではこのポート番号とパスワードがわかってしまうためである。
 
 なお、接続が確立した後のメッセージの送受信に関しては、
 特に暗号化などの処置が行なわれているわけではない。
@@ -321,7 +342,7 @@ OpenXM に対応したソフトウェアをクラックしても
 
 \section{他のプロジェクト}
 
-他のプロジェクトについて幾つか紹介する。
+他のプロジェクトについても触れておこう。
 
 OpenMath プロジェクトは数学的なオブジェクトを
 コンピュータ上で表現する方法を決定している。
@@ -329,19 +350,33 @@ OpenMath プロジェクトは数学的なオブジェクトを
 オブジェクトの変換手順についても述べられている。
 表現方法は一つだけでなく、 XML 表現や binary 表現などが
 用意されている。
+詳細は
 
-%以下、調べる必要あり。
-%NetSolve
+http://www.openmath.org/omsoc/index.html A.M.Cohen
 
-%MP
 
-%MCP
+以下は書いてる途中。
 
+NetSolve
+
+http://www.cs.utk.edu/netsolve/
+
+
+MP
+
+http://symbolicNet.mcs.kent.edu/SN/areas/protocols/mp.html
+
+
+MCP
+
+http://horse.mcs.kent.edu/~pwang/
+
+
 \section{現在提供されているソフトウェア}
 
-現在 OpenXM 規格に対応しているクライアントソフトウェアには
+現在 OpenXM 規格に対応しているクライアントには
 asir, sm1, Mathematica がある。
-これらのクライアントソフトウェアから
+これらのクライアントから
 OpenXM 規格に対応したサーバを呼び出すことができる。
 現在 OpenXM 規約に対応しているサーバソフトウェアには、
  asir, sm1, gnuplot, Mathematica などがあり、
@@ -349,5 +384,6 @@ OpenXM 規格に対応したサーバを呼び出すことができる。
 また、 OpenMath 規格の XML 表現で表現されたデータと CMO 形式の
 データを変換するソフトウェアが JAVA によって実装されており、
 OMproxy という名前で提供されている。
+
 
 \end{document}