=================================================================== RCS file: /home/cvs/OpenXM/doc/Attic/genkou19991125.tex,v retrieving revision 1.100 retrieving revision 1.114 diff -u -p -r1.100 -r1.114 --- OpenXM/doc/Attic/genkou19991125.tex 1999/12/26 10:34:17 1.100 +++ 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.99 1999/12/26 08:20:46 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,15 +463,24 @@ NetSolve はクライアント・サーバ型の分散システムであり, タベース的役割を果たす. また Agent によって負荷分散が可能になる. 現在 の NetSolve は RPC を基礎にして実装されている. -\item MP ({\Large 何の略でしょうか?}) +\item MP (Multi Project) + http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html -科学技術計算を行なうソフトウェア間で数学的なデータを効率的に交換させるこ -とを目的としたプロトコルを作成している. 木構造を用いて, 簡単かつ柔軟なも -のを目指しており, データの表現方法や交換方法によらずにソフトウェアを作る -ことができるようにするのが目標である. 現在 C 言語で利用可能なライブラリ -が提供されている. +数学的なデータの表現とバイトストリームへのエンコーディングを +提供するプロジェクト. +このプロジェクトでは, 数学ソフト間で数学データをやりとりする際の +通信路上での表現方法を規定している. +数学データは木構造を使って表しており, OpenMath と同様, +異なる種類の数式処理システム間で意味の食い違いが起こらないよう, +情報を付加できるようになっている. +また, 通信路はピアツーピアのバイトストリームでなければならないが, +通信方法には幾らかの自由度があり, +OpenXM や MPI, MCP(後述) で利用することも考えられている. +すでに C 言語によるライブラリがあり, Common Lisp による +実装も行なわれている. + \item MCP (Mathematical Computation Protocol)