===================================================================
RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/stackmachine.tex,v
retrieving revision 1.2
retrieving revision 1.7
diff -u -p -r1.2 -r1.7
--- OpenXM/doc/OpenXM-specs/stackmachine.tex	2000/01/21 06:24:49	1.2
+++ OpenXM/doc/OpenXM-specs/stackmachine.tex	2000/09/08 20:00:46	1.7
@@ -1,6 +1,6 @@
 //&jp \section{ OX スタックマシン }
-//&eg \section{ OX stackmachine }  (This section has not yet been translated.)
-
+//&eg \section{ OX stack machine }
+\label{sec:stackmachine}
 /*&jp
 この節では, OX スタックマシン operator の説明
 (TCP/IP ソケット上での標準 encoding 法 を用いる),
@@ -39,11 +39,11 @@ that for event-driven programming.
 {\tt oxserver00.c} is implemented as a sample server.
 If you want to implement you own server,
 write the following functions and use them instead of
-those in {\tt nullstackmachine.c }.
+those in {\tt nullstackmachine.c}.
 */
 
-//&jp \subsubsection{サーバスタックマシンのグループ SMobject/Basic0 に属するオペレータ}
-//&eg \subsubsection{Operators in the group SMobject/Basic0}
+//&jp \subsubsection{サーバスタックマシンのグループ SMobject/Primitive に属するオペレータ}
+//&eg \subsubsection{Operators in the group SMobject/Primitive}
 
 /*&jp
 \noindent
@@ -78,7 +78,9 @@ CMObject に対する最大公約数的なメッセージの仕様をconte
 意.  CMO 形式で書いてあっても, それはサーバスタックマシンのlocal 形式
 でスタック上にあると解釈して下さい.)
 
-すべてのサーバスタックマシンは以下の関数を実装していないといけない.
+すべてのサーバスタックマシンは以下の操作を実装していないといけない.
+各操作に対し, その前後におけるスタックの状態を示す. 図において, 
+右端のオブジェクトがスタックのトップに対応する. 
 */
 
 /*&eg
@@ -89,39 +91,44 @@ Object xxx_OperandStack[SIZE];
 \end{verbatim}
 Here {\tt Object} may be local to the system {\tt xxx} wrapped by the stack
 machine. 
-That is, the server may translate CMObjects into local its
-objects and push them onto the stack.  However, it is preferable that
+That is, the server may translate CMObjects into its local
+objects and push them onto the stack.  It is preferable that
 the composition of such a translation and its inverse is equal to the
-identity map. The translation scheme is called the phrase book of the
+identity map. The translation scheme is called the {\it phrase book} of the
 server and it should be documented for each stack machine.  In OpenXM,
-any message is private.  In future we will provide a content
+any message is private to a connection.  In future we will provide a content
 dictionary (CD; see OpenMath \cite{openmath}) for basic specifications
 of CMObjects.
 
 In the following, \verb+ xxx_ + may be omitted if no confusion occurs.
 As the names of functions and tags are long, one may use abbreviated
-names.  Message packets are represented as follows.  Each field is
-shown as \fbox{data type \quad data}.  For example {\tt int32
-OX\_DATA} denotes a number {\tt OX\_DATA} which is represented by a 32
-bit network byte order.  If a field is displayed by italic characters,
-it should be defined elsewhere or its meaning should be clear.  For
-example {\it String commandName} denotes a local object {\it
-commandName} whose data type is String.  Note that an object on the
-stack may have a local data type even if it is represented as CMO.
+names.  Message packets are represented as follows.
 
+Each field is shown as \fbox{data type \quad data}.  For example {\tt
+int32 OX\_DATA} denotes a number {\tt OX\_DATA} which is represented
+by a 32 bit integer with the network byte order.  If a field is
+displayed by italic characters, it should be defined elsewhere or its
+meaning should be clear.  For example {\it String commandName} denotes
+a local object {\it commandName} whose data type is String.  Note that
+an object on the stack may have a local data type even if it is
+represented as CMO. 
+
 Any server stack machine has to implement the following operations.
+For each operation we show the states of the stack before and after
+the operation. In the figures the rightmost object corresponds to the
+top of the stack. Only the modified part of the stack are shown.
 */
 
 \begin{enumerate}
 \item
 /*&jp
-CMObject/Basic0 の CMO データのうち必須のもの, {\tt CMO\_ERROR2}, {\tt
+CMObject/Primitive の CMO データのうち必須のもの, {\tt CMO\_ERROR2}, {\tt
 CMO\_NULL}, {\tt CMO\_INT32}, {\tt CMO\_STRING}, {\tt CMO\_LIST}がおく
 られて来た場合それをスタックに push する.  たとえば, {\tt CMO\_NULL} 
 あるいは {\tt CMO\_String} の場合次のようになる.
 */
 /*&eg
-Any server should accept CMObjects in the group CMObject/Basic0.
+Any server should accept CMObjects in the group CMObject/Primitive.
 The server pushes such data onto the stack.
 The following examples show the states of the stack after receiving
 {\tt CMO\_NULL} or {\tt CMO\_String} respectively.
@@ -139,10 +146,9 @@ Stack after the request:
 \hline
 \end{tabular}
 
-//&jp Result:  なし.
-//&eg Result:  none.
+Output:  none.
 
-Request:
+Request:\\
 \begin{tabular}{|c|c|c|c|c|c|}  \hline
 {\tt int32 OX\_DATA} & {\tt int32 CMO\_String} &{\tt int32} {\rm size} 
 &{\tt byte} {\rm s1} & $\cdots$ &{\tt byte} {\rm ssize}\\
@@ -155,11 +161,10 @@ Stack after the request:
 \hline
 \end{tabular}
 
-//&jp Result:  なし.
-//&eg Result:  none.
+Output:  none.
 
 //&jp CMO データの受け取りに失敗した時のみ  \\
-//&eg If the server fails to receive a CMO data,
+//&eg If the server fails to receive a CMO data,\\
 \begin{tabular}{|c|c|c|}  \hline
 {\tt int32 OX\_DATA} & {\tt int32 CMO\_ERROR2} & {\it CMObject} ob\\
 \hline 
@@ -191,11 +196,11 @@ SM_mathcap
 /*&jp
 このサーバの mathcap をもどす (termcap のまね).  サーバのタイプ, サー
 バスタックマシンの能力を知ることができる.  C 言語で実装する場合は,
-mathCap の構造体をシステム毎にきめるものとし,この関数はその構造体への
-ポインタを戻す.  (open sm1 では {\tt struct mathCap} を用いている.
+mathcap の構造体をシステム毎にきめるものとし,この関数はその構造体への
+ポインタを戻す.  (open sm1 では {\tt struct mathcap} を用いている.
 */
 /*&eg
-It request to push the mathcap of the server. 
+It requests a server to push the mathcap of the server. 
 The mathcap is similar to the termcap. One can know the server type
 and the capability of the server from the mathcap. 
 */
@@ -207,37 +212,43 @@ Request:
 \hline
 \end{tabular}
 
-Result:  
+Stack after the request: 
 \begin{tabular}{|c|c|}  \hline
 {\tt int32 OX\_DATA} & {\sl Mathcap}  mathCapOb \\
 \hline
 \end{tabular}
 
+Output: none.
+
 \item
 \begin{verbatim}
-SM_setMathCap
+SM_setMathcap
 \end{verbatim}
 /*&jp
 受け取った Mathcap {\tt m} を自分のシステムに設定して, 相手側が理解不
-能な CMO をおくらないようにする.  C 言語で実装する場合は, mathCap の構
+能な CMO をおくらないようにする.  C 言語で実装する場合は, mathcap の構
 造体をシステム毎にきめるものとし,この関数はその構造体へのポインタを引
-数とする.  (open sm1 では {\tt struct mathCap} を用いている.
+数とする.  (open sm1 では {\tt struct mathcap} を用いている.
 */
 /*&eg
-It requests to register the peer's mathcap {\tt m} in the server.
+It requests a server to register the peer's mathcap {\tt m} in the server.
 The server can avoid to send OX messages unknown to its peer.
 */
 @plugin/mathcap.h)
 
+Stack before the request:
+\begin{tabular}{|c|}  \hline
+{\it Mathcap m}  \\
+\hline
+\end{tabular}\\
 Request:
 \begin{tabular}{|c|c|}  \hline
 {\tt int32 OX\_DATA} & {\sl Mathcap} m  \\ \hline
-{\tt int32 OX\_COMMAND} & {\tt int32 SM\_setMathCap}  \\
+{\tt int32 OX\_COMMAND} & {\tt int32 SM\_setMathcap}  \\
 \hline
 \end{tabular}
 
-//&jp Result:  なし. \\
-//&eg Result:  none. \\
+Output:  none.
 /*&jp
 \noindent
 注意: mathcap は一般にクライアント主体で設定する.
@@ -246,14 +257,14 @@ Request:
 それを, クライアントはそのサーバに付随した mathcap として
 設定する.
 次に, クライアントはサーバに自分の mathcap を
-{\tt SM\_setMathCap} でおくり, 自分の mathcap を設定させる.
+{\tt SM\_setMathcap} でおくり, 自分の mathcap を設定させる.
 */
 /*&eg
 \noindent
 Remark: In general the exchange of mathcaps is triggered by a client.
 A client sends {\tt SM\_mathcap} to a server and obtains the server's
 mathcap. Then the client registers the mathcap. Finally the client
-sends its own mathcap by {\tt SM\_setMathCap} and the server
+sends its own mathcap by {\tt SM\_setMathcap} and the server
 registers it.
 */
 
@@ -262,35 +273,24 @@ registers it.
 SM_executeStringByLocalParser
 \end{verbatim}
 /*&jp
-文字列 $s$ をシステム xxx の文法(サーバスタックマシンの組み込みローカ
-ル言語)にしたがったコマンドとして実行する.  ただし, コマンドの実行の結
+文字列 {\tt s} を stack から pop し, 
+その文字列をシステム固有の文法(サーバスタックマシンの組み込みローカ
+ル言語)にしたがったコマンドとして実行する.  コマンドの実行の結
 果の最後に戻り値があるときは, {\tt OperandStack} に戻り値を push する.
-正常終了なら 0 を, 異常終了なら -1 をもどす.  debug モードにはいった場
-合, -2 を戻す. エラーの時 Error2 Objectを stack へ push する.\\ {\tt
-kan/sm1} の場合, サーバスタックマシンの組み込みローカル言語は{\tt sm1} 
-ポストスクリプト言語である.  サーバスタックマシンと, {\tt sm1} ポスト
-スクリプト言語はスタックを共有するように実装されている.  実際の計算は
-{\tt executeStringByLocalParser} により実行される.  open XM では, 現在
-のところ関数名の標準化はおこなっていない.  したがって, 実際の計算コマ
-ンドの送出は mathcap をみてクライアントが正しいコマンドを選択する必要
-がある. (しかしながら, 共通関数名がないために, 共通仕様のサーバスタッ
-クマシンの実装はきわめて簡単である. 関数名の共通化は将来の課題.) \\割
-込みに関しては, -1 を戻すように ハンドラを書く.
-executeStringByLocalParser() を再帰的に呼んだときも 割り込みのハンドラ
-が正しく動作するようにこの関数は書かれるべきである.  この関数を呼び出
-したのち, signal, setjmp の再設定を呼び出し側でやらないといけない. \\
+OpenXM では, 現在のところ関数名の標準化はおこなっていない.  
 この関数および {\tt popString} の機能を実現すれば, 最低限の open XM の
 サーバになれる.  実装では, まずこの二つの関数の機能を実現すべきである.
 */
 /*&eg
-A character string $s$ is parsed by the local parser of the stack
-machine and interpreted by the local interpreter.
-If the exececution produces a result, it is pushed onto 
+It requests a server to pop a character string {\tt s}, to
+parse it by the local parser of the stack machine,  and
+to interpret by the local interpreter.
+If the execution produces a Output, it is pushed onto 
 {\tt OperandStack}.
-If an error has occured,  Error2 Object is pushed onto the stack.
+If an error has occurred,  Error2 Object is pushed onto the stack.
 OpenXM does not provide standard function names.
 If this operation and {\tt SM\_popString} is implemented, the stack machine
-can be used as an OX server.
+is ready to be used as an OX server.
 */
 
 Stack before the request: 
@@ -306,12 +306,11 @@ Request: 
 \hline 
 \end{tabular}
 
-//&jp Result:  なし.
-//&eg Result:  none.
+Output:  none.
 /*&jp
 \noindent
 参考: \  実行前のスタックのデータは,
-{\it String commandString} なる local stackmachine の object としてス
+{\it String commandString} なる local stack machine の object としてス
 タック上にあるが, TCP/IP の通信路では, 次のようなデータがまずながれて
 {\it commandName} がスタックに push される:
 */
@@ -337,7 +336,7 @@ SM_executeStringByLocalParserInBatchMode
 /*&eg
 This is the same request as {\tt SM\_executeStringByLocalParser}
 except that it does not modify the stack. It pushes an Error2 Object
-if an error has occured.
+if an error has occurred.
 */
 \item
 \begin{verbatim}
@@ -346,16 +345,16 @@ SM_popString
 /*&jp
 {\tt OperandStack} より Object を pop し, それを xxx の出力規則にしたがい文
 字列型に変換して送信する.  スタックが空のときは, {\tt (char *)NULL} を戻す.
-文字列は {\tt ox\_stream out}へ CMO のデー
+文字列は TCP/IP stream へ CMO のデー
 タとして送信する.  エラーの場合は {\tt CMO\_ERROR2} を戻すべきである.
 */
 /*&eg
-It requests for a server to pop an object from {\tt OperandStack},
+It requests a server to pop an object from {\tt OperandStack},
 to convert it into a character string according to the output format
 of the local system, and to send the character string via TCP/IP stream.
 {\tt (char *)NULL} is returned when the stack is empty.
-The returned strings is sent as a CMO string data.
-{\tt CMO\_ERROR2} should be returned if an error has occured.
+The returned string is sent as a CMO string data.
+{\tt CMO\_ERROR2} should be returned if an error has occurred.
 */
 
 Stack before the request:
@@ -370,7 +369,7 @@ Request:
 \hline 
 \end{tabular}
 
-Result: 
+Output: 
 \begin{tabular}{|c|c|c|}  \hline
 {\tt int32 OX\_DATA} & {\tt int32 CMO\_STRING} & {\it size and the string s} \\
 \hline 
@@ -385,7 +384,7 @@ SM_getsp
 object が push されたばあい, 1 づつ増えるものとする.
 */
 /*&eg
-It request to push the current stack pointer onto the stack.
+It requests a server to push the current stack pointer onto the stack.
 The stack pointer is represented by a non-negative integer.
 Its initial value is 0 and a push operation increments the
 stack pointer by 1.
@@ -403,12 +402,14 @@ Request:
 \hline 
 \end{tabular}
 
-Result: 
+Stack after the request:
 \begin{tabular}{|c|c|c|}  \hline
 {\tt int32 OX\_DATA} & {\tt int32 CMO\_INT32} & {\it stack pointer value} \\
 \hline 
 \end{tabular}
 
+Output:  none.
+
 \item
 \begin{verbatim}
 SM_dupErrors
@@ -418,26 +419,54 @@ SM_dupErrors
 させない.
 */
 /*&eg
-It requests to push a list object containing all error objects on the stack.
+It requests a server to push a list object containing all error objects on the stack.
 */
 
-Stack before the request:
-\begin{tabular}{|c|}  \hline
-{\it Object} \\
+Request:
+\begin{tabular}{|c|c|}  \hline
+{\tt int32 OX\_COMMAND} & {\tt int32 SM\_dupErrors} \\
 \hline 
 \end{tabular}
 
+Stack after the request:
+\begin{tabular}{|c|c|c|}  \hline
+{\tt int32 OX\_DATA} & {\sl CMObject} \ a list of errors\\
+\hline 
+\end{tabular}
+
+Output: none.
+
+\item
+\begin{verbatim}
+SM_pushCMOtag
+\end{verbatim}
+/*&jp
+スタックの先頭オブジェクトが CMO に変換された場合の CMO tag を
+{\tt CMO\_INT32} としてスタックへ push する.
+先頭オブジェクトはスタックに留まる.
+先頭オブジェクトをCMO へ変換する方法が無い場合は, エラー object を積む.
+*/
+/*&eg
+It requests a server to push the CMO tag of the top object on the server
+stack. The tag is pushed as {\tt CMO\_INT32}.
+The top object remains on the stack.
+If there is no way to translate the object into CMO,
+push an error object.
+*/
+
 Request:
 \begin{tabular}{|c|c|}  \hline
-{\tt int32 OX\_COMMAND} & {\tt int32 SM\_dupErrors} \\
+{\tt int32 OX\_COMMAND} & {\tt int32 SM\_pushCMOtag} \\
 \hline 
 \end{tabular}
 
-Result: 
+Stack after the request:
 \begin{tabular}{|c|c|c|}  \hline
-{\tt int32 OX\_DATA} & {\sl CMObject} \ a list of errors\\
+{\tt int32 OX\_DATA} & {\sl CMO\_INT32} \ tag\\
 \hline 
 \end{tabular}
+
+Output: none.
 \end{enumerate}
 
 \medbreak
@@ -450,7 +479,7 @@ mathcap の問い合わせに対して, {\tt ox\_sm1} は次のよう
 {\bf Example}: \ 
 {\tt ox\_sm1} returns the following data as its mathcap.
 */
-%%Prog: [(cmoMathCap)] extension ::
+%%Prog: [(cmoMathcap)] extension ::
 \begin{verbatim}
 Class.mathcap 
  [ [199909080 , $Ox_system=ox_sm1.plain$ , $Version=2.990911$ , 
@@ -462,10 +491,13 @@ Class.mathcap 
 
 /*&jp
 mathcap は 3つの要素をもつリストである.  まづ, 最初の要素を見よう.
-Ox\_system は open xxx システム名である.  読み込むライブラリがちがって
+最初の数字は OpenXM プロトコルのバージョンである.
+現在では 1.1.3 等のバージョンが 001001003 と数字にエンコードされて
+ここに格納される.
+Ox\_system は openXM システム名である.  読み込むライブラリがちがって
 いて, 関数名(または シンボル)の意味がちがうときはこの名前もかえる. た
 とえば, open math の basic content dictionary 対応の関数定義マクロを読
-みこんだ sm1 は, ox\_sm1\_basicCD なる名前にする.  HOSTTYPE値は, CPU 
+みこんだ sm1 は, ox\_sm1\_basicCD なる名前にする.  HOSTTYPE 値は, CPU 
 の種類をあらわしunix では環境変数\verb+$HOSTTYPE+ の値である.  2 番目
 の要素は 利用可能な SM コマンドをあつめたリストである.  3 番目のリスト
 は, 処理可能な数学データの形式, およびCMOの場合なら処理可能なCMOのタグ
@@ -474,13 +506,14 @@ Ox\_system は open xxx システム名である.  読み込むライ
 */
 /*&eg
 A mathcap has three components. The first one contains informations
-to identify the system and hosts on which the application runs.
-In the above example, Ox\_system denotes the system name.
-HOSTTYPE represents the OS type and taken from \verb+$HOSTTYPE+
+to identify the version number of the OpenXM protocol,
+the system and hosts on which the application runs.
+In the above example, {\tt Ox\_system} denotes the system name.
+{\tt HOSTTYPE} represents the OS type and taken from \verb+$HOSTTYPE+
 enviroment variable.
 The second component consists of avaiable SM commands.
 The third component is a list of pairs. Each pair consists
-of an OX message tag and the available message tags.
+of an OX message tag and the list of available message tags.
 Again in the above example, 514 is the value of {\tt OX\_DATA}
 and it indicates that the server accepts CMO (without size information)
 as mathematical data messages. In this case the subsequent
@@ -494,7 +527,7 @@ list represents available CMO tags.
 %%Prog: (ox.sm1) run  sm1connectr  [(oxWatch) ox.ccc] extension
 %%Prog: ox.ccc (122345; ) oxsubmit ;
 //&jp {\tt message\_body} の実例をあげる.   シリアル番号部は除いてある.
-//&eg {\tt message\_body} の実例をあげる.   シリアル番号部は除いてある.
+//&eg We show examples of {\tt message\_body}. Serial numbers are omitted.
 \begin{enumerate}
 \item  {\tt executeStringByLocalParser("12345 ;");} 
 /*&jp
@@ -502,8 +535,9 @@ list represents available CMO tags.
 {\tt xx(yy)} のなかの {\tt (yy)} は対応するアスキーコードをあわらす.
 */
 /*&eg
-は次のようなパケットに変換される. 各数字は 16進1バイトをあらわす.
-{\tt xx(yy)} のなかの {\tt (yy)} は対応するアスキーコードをあわらす.
+is converted into the following packet. Each number denotes
+one byte in hexadecimal representation.
+{\tt (yy)} in {\tt xx(yy)} represents the corresponding ASCII code.
 */
 \begin{verbatim}
 0   0   2   2   0   0   0   4   0   0   0   7  
@@ -511,28 +545,12 @@ list represents available CMO tags.
 0   0   2   1   0   0   1   c 
 \end{verbatim}
 /*&jp
-ここで,
-\verb+ 0 0 2 2 0 0 0 4 + は, network byte order で,
-順番に {\tt OX\_DATA} それから,
-CMO のタグの, {\tt CMO\_STRING} を表す.
-\verb+ 0  0  0  7 + は文字数,
-最後に 文字列 {\tt 12345 ;} が来る.
-ここで, \verb+ 0 0 1 c + は, network byte order で,
-{\tt OX\_executeString} を表す.
+それぞれのデータの意味は次のとおりである.
 */
 /*&eg
-ここで,
-\verb+ 0 0 2 2 0 0 0 4 + は, network byte order で,
-順番に {\tt OX\_DATA} それから,
-CMO のタグの, {\tt CMO\_STRING} を表す.
-\verb+ 0  0  0  7 + は文字数,
-最後に 文字列 {\tt 12345 ;} が来る.
-ここで, \verb+ 0 0 1 c + は, network byte order で,
-{\tt OX\_executeString} を表す.
+Each data has the following meaning.
 */
 
-//&jp まとめると次のようになる.
-//&eg まとめると次のようになる.
 \begin{verbatim}
 0   0   2   2  (OX_DATA) 0   0   0   4  (CMO_STRING)
 0   0   0   7  (size)
@@ -541,7 +559,7 @@ CMO のタグの, {\tt CMO\_STRING} を表す.
 0   0   1   c  (SM_executeStringByLocalParser)
 \end{verbatim}
 //&jp これを OXexpression で表記すると次のようになる.
-//&eg これを OXexpression で表記すると次のようになる.
+//&eg This is expressed by OXexpression as follows.
 \begin{center}
 (OX\_DATA, (CMO\_STRING, 7, "12345 ;"))
 \end{center}
@@ -550,48 +568,49 @@ CMO のタグの, {\tt CMO\_STRING} を表す.
 \end{center}
 
 //&jp \item  {\tt popString()}  を要請するメッセージ:
-//&eg \item  {\tt popString()}  を要請するメッセージ:
+//&eg \item  A message which requests {\tt SM\_popString}:
 \begin{verbatim}
 0   0   2   1  (OX_COMMAND) 
 0   0   1   7  (SM_popString)
 \end{verbatim}
-OXexpression では
+//&jp OXexpression では
+//&eg In OXexpression it is represented as 
 (OX\_COMMAND, (SM\_popString)).
 
 \noindent
 //&jp これにたいして次の返答メッセージがくる.
-//&eg これにたいして次の返答メッセージがくる.
+//&eg The server returns the following reply message:
 \begin{verbatim}
 0   0   2   2   (OX_DATA) 
 0   0   0   4   (CMO_STRING) 0   0   0   5  (size)
 31(1)  32(2)  33(3)  34(4)  35(5) 
 \end{verbatim}
 //&jp OXexpression でかくと,
-//&eg OXexpression でかくと,
+//&eg In OXexpression it is represented as
 (OX\_DATA, (CMO\_STRING, 7, "12345 ;")).
 \end{enumerate}
 
-//&jp \subsubsection{グループ SMobject/Basic1 に属するオペレータ}
-//&eg \subsubsection{グループ SMobject/Basic1 に属するオペレータ}
+//&jp \subsubsection{グループ SMobject/Basic に属するオペレータ}
+//&eg \subsubsection{Operators in the group SMobject/Basic}
 
 \begin{enumerate}
 \item
 \begin{verbatim}
-void xxx_pops(int n)
+SM_pops
 \end{verbatim}
 /*&jp
-operand stack より, {\it n} 個の元 ({\it obj1, obj2, $\ldots$, objn}) 
+operand stack より, {\it n} 個の元 ({\it obj1, obj2, $\ldots$, objn} 
 を pop して捨てる.
 */
 /*&eg
-operand stack より, {\it n} 個の元 ({\it obj1, obj2, $\ldots$, objn}) 
-を pop して捨てる.
+It requests a server to pop {\it n} and to discard elements {\it obj1, obj2,
+$\ldots$, objn} from the stack.
 */
 
-//&jp Stack before the request: (右が stack のトップである.) \\
-//&eg Stack before the request: (右が stack のトップである.) \\
+//&jp Stack before the request: \\
+//&eg Stack before the request: \\
 \begin{tabular}{|c|c|c|c|c|}  \hline
-{\it obj1} & {\it  obj2}  & $\cdots$ & {\it objn}  &{\it INT32 n} \\
+{\it obj1} & {\it  obj2}  & $\cdots$ & {\it objn}  &{\it Integer32 n} \\
 \hline
 \end{tabular}
 
@@ -601,13 +620,12 @@ Request:
 \hline
 \end{tabular}
 
-//&jp Result:  なし.
-//&eg Result:  none.
+Output:  none.
 
 
 \item
 \begin{verbatim}
-int xxx_setName(char *name)
+int SM_setName
 \end{verbatim}
 /*&jp
 {\tt OperandStack} より {\it name} を pop し, つぎに{\tt OperandStack} 
@@ -616,13 +634,13 @@ bind する.  正常終了なら 0 を, 異常終了なら -1 をもど�
 る通信では, 異常終了の時のみ, {\tt CMO\_ERROR2} をstack へ push する.
 */
 /*&eg
-{\tt OperandStack} より {\it name} を pop し, つぎに{\tt OperandStack} 
-より {\it obj} を pop し, それを現在の名前空間で変数 {\it name} に 
-bind する.  正常終了なら 0 を, 異常終了なら -1 をもどす.  TCP/IP によ
-る通信では, 異常終了の時のみ, {\tt CMO\_ERROR2} をstack へ push する.
+It requests a server to pop {\it name}, to pop {\it obj}, and to
+bind {\it obj} to a variable {\it name} in the current name space 
+of the server.
+If an error has occurred {\tt CMO\_ERROR2} is pushed onto the stack.
 */
-//&jp Stack before the request: (右が stack の top.)
-//&eg Stack before the request: (右が stack の top.)
+//&jp Stack before the request:
+//&eg Stack before the request: 
 \begin{tabular}{|c|c|}  \hline
 {\it obj} & {\it String name}  \\
 \hline
@@ -634,28 +652,29 @@ Request:
 \hline
 \end{tabular}
 
-//&jp Result: なし.
-//&eg Result: none.
+Output: none.
 
 \item
 \begin{verbatim}
-int xxx_evalName(char *name)
+SM_evalName
 \end{verbatim}
+
 /*&jp
 現在の名前空間で変数 {\it name} を評価する.  評価の結果 {\it
-resultObj} をスタックへ戻す.  関数自体は正常終了なら 0 を, 異常終了な
+OutputObj} をスタックへ戻す.  関数自体は正常終了なら 0 を, 異常終了な
 ら -1 をもどす.  TCP/IP の場合, 異常終了の場合のみ {\tt CMO\_ERROR2} 
 を stack へ push する.
 */
+
 /*&eg
-現在の名前空間で変数 {\it name} を評価する.  評価の結果 {\it
-resultObj} をスタックへ戻す.  関数自体は正常終了なら 0 を, 異常終了な
-ら -1 をもどす.  TCP/IP の場合, 異常終了の場合のみ {\tt CMO\_ERROR2} 
-を stack へ push する.
+It requests a server to pop {\it name} and to evaluate a variable
+{\it name} in the current name space. The Output of the evaluation
+{\it OutputObj} is pushed to the stack.
+If an error has occurred {\tt CMO\_ERROR2} is pushed onto the stack.
 */
 
-//&jp Stack before the request: (右が stack の top.)
-//&eg Stack before the request: (右が stack の top.)
+//&jp Stack before the request:
+//&eg Stack before the request:
 \begin{tabular}{|c|}  \hline
 {\it String name}  \\
 \hline
@@ -667,19 +686,18 @@ Request:
 \hline
 \end{tabular}
 
-//&jp Stack after the request: (右が stack の top.)
-//&eg Stack after the request: (右が stack の top.)
+//&jp Stack after the request:
+//&eg Stack after the request:
 \begin{tabular}{|c|}  \hline
-{\it resultObj} \\
+{\it OutputObj} \\
 \hline
 \end{tabular}
 
-//&jp Result:  なし.
-//&eg Result:  none.
+Output:  none.
 
 \item
 \begin{verbatim}
-int xxx_executeFunction(char *s, int n)
+SM_executeFunction
 \end{verbatim}
 /*&jp
 スタックより {\it n} 個のデータを pop して, サーバのローカル関数{\it
@@ -687,13 +705,15 @@ s} を実行する.  エラーのときのみ {\tt CMO\_ERROR2} を 
 る.
 */
 /*&eg
-スタックより {\it n} 個のデータを pop して, サーバのローカル関数{\it
-s} を実行する.  エラーのときのみ {\tt CMO\_ERROR2} を stack へ push す
-る.
+It requests a server to pop {\it s} as a function name, 
+to pop {\it n} as the number of arguments and to execute
+a local function {\it s} with {\it n} arguments popped from
+the stack.
+If an error has occurred {\tt CMO\_ERROR2} is pushed to the stack.
 */
 
-//&jp Stack before the request: (右が stack の top.) \\
-//&eg Stack before the request: (右が stack の top.) \\
+//&jp Stack before the request: \\
+//&eg Stack before the request: \\
 \begin{tabular}{|c|c|c|c|c|}  \hline
 {\it objn} & $\cdots$ & {\it obj1} & {\it INT32 n} & {\it String s} \\
 \hline 
@@ -706,71 +726,44 @@ Request:
 \end{tabular}
 
 //&jp Stack after the request: 関数実行の結果.
-//&eg Stack after the request: 関数実行の結果.
+//&eg Stack after the request: The Output of the execution.
 
-//&jp Result: なし.
-//&eg Result: none.
+Output: none.
 
 \item
 \begin{verbatim}
-bytes *xxx_popSerializedLocalObject(void)
-void popSerializedLocalObject(ox_stream out)
+SM_popSerializedLocalObject
 \end{verbatim}
+
 /*&jp
-最初の関数はライブラリとしてリンクして使用するための関数である.  スタッ
-クより pop した object を local 形式の serialization してbyte 列で戻す.
-2 番目の関数は Socket で通信するための同機能の関数であり,
-serialization された byte 列を{\tt ox\_stream out} へ出力する.  この場
-合, header {\tt int32 OX\_DATA}, {\tt int32 CMO\_LOCAL\_OBJECT} をつけ
-てから, byte 列を送る. この関数はおもに, homogeneous な分散システムで
-用いる.  次に, サーバスタックマシンの関数が実行されるまでは,戻り 
-object の内容は保証されないといけない.
+スタックより pop した object を local 形式で serialization して
+OX message として stream へ出力する. OX message tag としては, 
+local 形式に対応したものが定義されていることが必要である. 
+この関数はおもに, homogeneous な分散システムで用いる.
 */
 /*&eg
-最初の関数はライブラリとしてリンクして使用するための関数である.  スタッ
-クより pop した object を local 形式の serialization してbyte 列で戻す.
-2 番目の関数は Socket で通信するための同機能の関数であり,
-serialization された byte 列を{\tt ox\_stream out} へ出力する.  この場
-合, header {\tt int32 OX\_DATA}, {\tt int32 CMO\_LOCAL\_OBJECT} をつけ
-てから, byte 列を送る. この関数はおもに, homogeneous な分散システムで
-用いる.  次に, サーバスタックマシンの関数が実行されるまでは,戻り 
-object の内容は保証されないといけない.
+It requests a sever to pop an object, to convert it into a
+serialized form according to a local serialization scheme, and
+to send it to the stream as an OX message. 
+An OX message tag corresponding to
+the local data format must be sent prior to the serialized data
+itself.
+This operation is used mainly on homogeneous distributed systems.
 */
-\item 
-/*&jp
-local serialized object, および サポートする CMO object を{\tt
-OX\_DATA} として受信した場合, {\tt OperandStack} へpush する.  受信エ
-ラーを起こしたときのみ, {\tt CMO\_ERROR2} を stack へ push する.
-*/
-/*&eg
-local serialized object, および サポートする CMO object を{\tt
-OX\_DATA} として受信した場合, {\tt OperandStack} へpush する.  受信エ
-ラーを起こしたときのみ, {\tt CMO\_ERROR2} を stack へ push する.
-*/
 
 \item
 \begin{verbatim}
-bytes *xxx_popCMO(void)
-void xxx_popCMO(ox_stream out)
+SM_popCMO
 \end{verbatim}
 
 /*&jp
-最初の関数はライブラリとしてリンクして使用するための関数である.  {\tt
-OperandStack} より object を pop し CMO 形式の serialized object を 
-byte 列として戻す.  2 番目の関数は Socket で通信するための同機能の関数
-であり, {\tt ox\_stream out } へ, そのデータを header {\tt OX\_DATA} 
-をつけてながす.  この関数はおもに, heterotic な分散システムで用いる.
-次に, サーバスタックマシンの関数が実行されるまでは,戻り object の内容
-は保証されないといけない.
+{\tt OperandStack} より object を pop し CMO 形式の serialized object を 
+stream へ header {\tt OX\_DATA} をつけてながす. 
 */
 /*&eg
-最初の関数はライブラリとしてリンクして使用するための関数である.  {\tt
-OperandStack} より object を pop し CMO 形式の serialized object を 
-byte 列として戻す.  2 番目の関数は Socket で通信するための同機能の関数
-であり, {\tt ox\_stream out } へ, そのデータを header {\tt OX\_DATA} 
-をつけてながす.  この関数はおもに, heterotic な分散システムで用いる.
-次に, サーバスタックマシンの関数が実行されるまでは,戻り object の内容
-は保証されないといけない.
+It requests a server to pop an object from the stack, to convert
+it into a serialized form according to the standard CMO encoding scheme,
+and to send it to the stream with the {\tt OX\_DATA} header.
 */
 
 Request:
@@ -779,21 +772,11 @@ Request:
 \hline 
 \end{tabular}
 
-Result:  
+Output:  
 \begin{tabular}{|c|c|}  \hline
 {\tt int32 OX\_DATA} &   {\it Serialized CMO} \\
 \hline 
 \end{tabular}
-
-//&jp 以下で, {\tt ox\_stream} はサンプルサーバの場合, 
-//&eg 以下で, {\tt ox\_stream} はサンプルサーバの場合, 
-\begin{verbatim}
-typedef FILE2 * ox_stream;
-\end{verbatim}
-//&jp である (cf. {\tt file2.h}). これは処理系によりちがってよい.
-//&jp {\tt ox\_asir} では, {\tt FILE *} を用いている.
-//&eg である (cf. {\tt file2.h}). これは処理系によりちがってよい.
-//&eg {\tt ox\_asir} では, {\tt FILE *} を用いている.
 
 \end{enumerate}