===================================================================
RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v
retrieving revision 1.110
retrieving revision 1.114
diff -u -p -r1.110 -r1.114
--- OpenXM/doc/Attic/genkou19991125.tex	1999/12/27 11:05:43	1.110
+++ OpenXM/doc/Attic/genkou19991125.tex	1999/12/28 14:53:40	1.114
@@ -1,6 +1,6 @@
 \documentclass{jarticle}
 
-%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.109 1999/12/27 06:59:25 tam Exp $
+%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.113 1999/12/28 14:03:30 tam Exp $
 
 \usepackage{jssac}
 
@@ -451,6 +451,7 @@ OpenXM 規約の CMO 形式の定義は OpenMath 規約の content
 また, 共通データ形式と数学システム固有のオブジェクトとの変換は OpenMath
 規約の Phrasebook と同じアイデアを用いている.
 
+
 \item NetSolve
 
 http://www.cs.utk.edu/netsolve/
@@ -462,18 +463,24 @@ NetSolve はクライアント・サーバ型の分散システムであり,
 タベース的役割を果たす.  また Agent によって負荷分散が可能になる.  現在
 の NetSolve は RPC を基礎にして実装されている.
 
+
 \item MP (Multi Project)
 
 http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html
 
-数学的なオブジェクトのバイト列による表現を目的とするプロジェクト.
-%MP は数学的なデータを構文木を用いて表し,
-科学技術計算を行なうソフトウェア間での情報交換に使えるよう
-設計している.
-この表現は通信方法に依存しないが, 速度面に配慮しており,
-並列計算に使用することも考えられている.
-すでに C 言語で利用可能なライブラリが提供されており,
-現在は Lisp による実装も計画されている.
+数学的なデータの表現とバイトストリームへのエンコーディングを
+提供するプロジェクト.
+このプロジェクトでは, 数学ソフト間で数学データをやりとりする際の
+通信路上での表現方法を規定している.
+数学データは木構造を使って表しており, OpenMath と同様,
+異なる種類の数式処理システム間で意味の食い違いが起こらないよう,
+情報を付加できるようになっている.
+また, 通信路はピアツーピアのバイトストリームでなければならないが,
+通信方法には幾らかの自由度があり,
+OpenXM や MPI, MCP(後述) で利用することも考えられている.
+すでに C 言語によるライブラリがあり, Common Lisp による
+実装も行なわれている.
+
 
 \item MCP (Mathematical Computation Protocol)