===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.91
retrieving revision 1.92
diff -u -p -r1.91 -r1.92
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/25 15:57:31	1.91
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/25 17:05:28	1.92
@@ -1,6 +1,6 @@
 \documentclass{jarticle}
 
-%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.90 1999/12/25 14:59:50 ohara Exp $
+%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.91 1999/12/25 15:57:31 tam Exp $
 
 \usepackage{jssac}
 \title{OpenXM の現状について
@@ -454,13 +454,13 @@ ssh を利用して対応している.
 
 http://www.openmath.org/omsoc/
 
-数学的対象のSGML的表記の標準化を目指した大規模なプロジェクト.  異なる種
+数学的対象の SGML 的表記の標準化を目指した大規模なプロジェクト. 異なる種
 類の数式処理システムの間で情報を交換するときに, OpenMath で定義された表
 現を利用することができる.  実際の情報交換の手続きにはいろいろなものが考
 えられるが, 例えば MCP (Mathematical Computation Protocol) なる手続きが
 考案されている.  MCP によって送信されるデータは, 本文に OpenMath 形式で
 数式を記述したテキストで, いささかメイルに似ていなくもない.  実際にこの
-方法でGAP とAxiomの間で通信が行われている.
+方法で GAP と Axiom の間で通信が行われている.
 
 \item NetSolve
 
@@ -485,9 +485,16 @@ http://symbolicNet.mcs.kent.edu/SN/areas/protocols/mp.
 
 \item MCP
 
-http://horse.mcs.kent.edu/~pwang/
+http://horse.mcs.kent.edu/\~{}pwang/
 
-HTTP プロトコルを用いて, リモートの計算機で計算を行なう.
+数学的な計算を行なうための HTTP スタイルのプロトコル.
+クライアント・サーバモデルを採用しており,
+ピアツーピアのストリームコネクションを行なう.
+RPC よりも, telnet でサーバにログインして計算を行なう感覚に近い.
+数学的なオブジェクトを MP や MathML で定められた方法で
+表現することが考えられている.
+すでに OpenMath を用いた実装が存在する.
+
 
 \end{itemize}