===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.34
retrieving revision 1.37
diff -u -p -r1.34 -r1.37
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/21 12:02:21	1.34
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/21 18:01:13	1.37
@@ -4,10 +4,14 @@
 \author{
 前川 将秀\thanks{神戸大学理学部数学科},
 野呂 正行\thanks{富士通研究所},
-小原 功任\thanks{金沢大学}, \\
-奥谷 幸夫\thanks{神戸大学大学院自然科学研究科博士課程前期課程数学専攻},
+小原 功任\thanks{金沢大学理学部計算科学科}, \\
+奥谷 幸夫
+%\thanks{神戸大学大学院自然科学研究科博士課程前期課程数学専攻},
+\thanks{神戸大学大学院自然科学研究科数学専攻},
 高山 信毅\thanks{神戸大学理学部数学教室},
-田村 恭士\thanks{神戸大学大学院自然科学研究科博士課程後期課程情報メディア科学専攻計算システム講座}
+田村 恭士
+%\thanks{神戸大学大学院自然科学研究科博士課程後期課程情報メディア科学専攻計算システム講座}
+\thanks{神戸大学大学院自然科学研究科情報メディア科学専攻}
 }
 \date{1999年11月25日}
 %\pagestyle{empty}
@@ -44,58 +48,63 @@ OpenXM 規約独自のデータ形式である CMO 形式(Common Math
 
 \section{OpenXM の計算モデル}
 
-{\Huge この節では計算モデルの話をしなければいけませんよ、田村君}
+{\Huge この節では計算モデルの話をしなければいけません}
 
 OpenXM 規約での計算とはメッセージを交換することである。
 そして、そのメッセージの交換はサーバとクライアントの間で行なわれる。
 クライアントからサーバへメッセージを送り、
-メッセージに対する返答を受け取ることによって
+サーバからクライアントがメッセージを受け取ることによって
 計算の結果が得られる。
 
 サーバはスタックマシンであると仮定されており、
 サーバがクライアントから受け取ったメッセージはすべてスタックに積まれる。
-OpenXM のメッセージの中にはサーバに行なわせたい動作に対応するデータがあり、
+ただし、OpenXM のメッセージの中にはサーバに行なわせたい動作に
+対応するデータがあり、
 このメッセージを受け取ったサーバはそれに対応する動作を
 行なうことが期待されている。
-ただし、サーバは命令されない限り何も動作を行なおうとはしない。
-このため、クライアントはサーバへ送ったメッセージの結果を
-サーバから
+しかし、サーバは命令されない限り何も動作を行なおうとはしない。
+このため、クライアントはサーバの状態を気にせずにメッセージを送り、
+一旦メッセージを送付し終えると
+あとはサーバへ送ったメッセージの結果を
+サーバから待つことなしに次の動作に移ることができる。
 
-これはクライアントがサーバへ一旦メッセージを送付し終えると、
-あとはサーバ側の状態を気にせずにクライアントは
-クライアント自身の仕事に戻れることを意味する。
 
-
 \section{OpenXM のメッセージの構造}
 
-{\Huge この節では構造の話をしなければいけませんよ、田村君}
+{\Huge この節では構造の話をしなければいけません}
 
-OpenXM のメッセージはバイトストリームであり、次のような構造を持つ。
-\begin{verbatim}
-ヘッダ  ボディ
-\end{verbatim}
-ヘッダの長さは8バイトであると定められている。ボディの長さはメッセージご
-とに異なる($0$でもよい)。
-ヘッダは次の二つの情報を持つ。
+OpenXM で規定されているメッセージはバイトストリームであり、
+次のような構造になっている。
+
+\begin{tabular}{|c|c|} \hline
+ヘッダ	& \hspace{10mm} ボディ \hspace{10mm} \\ \hline
+\end{tabular}
+
+ヘッダの長さは 8 バイトであると定められている。
+ボディの長さはメッセージごとに異なっているが、
+長さは $0$ でもよいことになっている。
+ヘッダは次の二つの情報を持っている。
 \begin{enumerate}
-\item 前半の4バイト。タグと呼ばれ、メッセージの種類を表わす識別子である。
-\item 後半の4バイト。メッセージにつけられた通し番号である。
+\item	前半の 4 バイトにある、メッセージの種類を表わす識別子。
+	タグと呼ばれる。
+\item	後半の 4 バイトにある、メッセージにつけられた通し番号。
 \end{enumerate}
 
-それぞれの4バイトは32ビット整数とみなされて処理される。
-この場合に用いられる整数の表現方法については後述するが、基本的に
-表現方法はいくつかの選択肢から選ぶことが可能であり、
-また選択は通信路の確立時に一度だけなされることに注意しておこう。
+それぞれの 4 バイトは 32 ビット整数とみなされて扱われる。
+この場合に用いられる整数の表現方法の説明については後述するが、
+基本的に表現方法はいくつかの選択肢から選ぶことが可能となっており、
+またその選択は通信路の確立時に一度だけなされることに注意しなければならない。
 
+ボディの中のデータの表現方法は各データ形式が
+それぞれ独立に決められるようになっている。
+もし、 OpenXM 規約でまだ定義されていないデータ形式を使いたい場合は、
+メッセージのヘッダのタグをまだ使われていなさそうな整数値に設定し、
+ボディにデータを埋め込めばよい。
+なお、このような用途にも
+システム固有の表現のために推奨されている値がある)
+
 {\Huge 以下、書き直してね。}
 
-ボディの中のデータがどのように格納されているかは
-各データ形式がそれぞれ独立に決められるようになっている。
-もし、 OpenXM 規約でメッセージのやりとりを行ないたいが、
-まだ規約で定義されていないデータ形式を使いたい場合は、
-タグをまだ使われてなさそうな値
-(システム固有の表現のために推奨されている値がある)
-に設定し、 ボディの部分にデータを埋め込めばよい。
 なお、すべてのメッセージに ボディが必要というわけではなく、
 ボディのないメッセージも OpenXM 規約には存在することに
 注意しなければならない。