version 1.103, 1999/12/26 10:46:18 |
version 1.115, 1999/12/28 18:47:12 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.102 1999/12/26 10:42:11 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.114 1999/12/28 14:53:40 tam Exp $ |
|
|
\usepackage{jssac} |
\usepackage{jssac} |
|
|
Line 451 OpenXM 規約の CMO 形式の定義は OpenMath 規約の content |
|
Line 451 OpenXM 規約の CMO 形式の定義は OpenMath 規約の content |
|
また, 共通データ形式と数学システム固有のオブジェクトとの変換は OpenMath |
また, 共通データ形式と数学システム固有のオブジェクトとの変換は OpenMath |
規約の Phrasebook と同じアイデアを用いている. |
規約の Phrasebook と同じアイデアを用いている. |
|
|
|
|
\item NetSolve |
\item NetSolve |
|
|
http://www.cs.utk.edu/netsolve/ |
http://www.cs.utk.edu/netsolve/ |
Line 462 NetSolve はクライアント・サーバ型の分散システムであり, |
|
Line 463 NetSolve はクライアント・サーバ型の分散システムであり, |
|
タベース的役割を果たす. また Agent によって負荷分散が可能になる. 現在 |
タベース的役割を果たす. また Agent によって負荷分散が可能になる. 現在 |
の NetSolve は RPC を基礎にして実装されている. |
の NetSolve は RPC を基礎にして実装されている. |
|
|
\item MP (Multi Protocol) |
|
|
|
|
\item MP (Multi Project) |
|
|
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
|
|
科学技術計算を行なうソフトウェア間で数学的なデータを効率的に |
数学的なデータの表現とバイト列への変換方法を提供するプロジェクト. |
交換させることを目的としたプロトコルを作成している. |
このプロジェクトでは, 数学ソフト間で数学データをやりとりする際の |
各ノードに情報を付加した木構造 ``annotated syntax tree'' を |
バイナリ表現を規定している. |
用いて数学的オブジェクトを表現し, この木構造を効率的にデータ交換 |
MP は数式を構文木の一種で表しており, OpenMath と同様, |
することを目標にしている. |
異なる種類の数式処理システム間で異なるオブジェクトに取り違えられないよう, |
現在すでに C 言語で利用可能なライブラリが提供されている. |
情報を付加できるようになっている. |
|
また, 変換されたデータはデータ長が小さくなるよう考慮されており, |
|
ファイル や TCP/IP 等に読み書きすることが考えられている. |
|
しかし, これらに限らず, OpenXM や MPI, MCP(後述) 等に利用することも考えられる. |
|
すでに C 言語によるライブラリが提供されており, |
|
GNU Common Lisp による実装も計画されている. |
|
|
|
|
\item MCP (Mathematical Computation Protocol) |
\item MCP (Mathematical Computation Protocol) |
|
|
http://horse.mcs.kent.edu/\~{}pwang/ |
http://horse.mcs.kent.edu/\~{}pwang/ |
|
|
数学的な計算を行なうための HTTP に似たプロトコル. クライアント・サーバ |
数学的な計算を行なうための HTTP に似たプロトコル. クライアント・サーバ |
モデルを採用しており, ピアツーピアのストリームコネクションを行なう. 交 |
モデルを採用しており, |
換に用いられる数学データの表現方法についての規定はない. したがって数学 |
ピアツーピアのストリームコネクションを |
的なデータの表現には MP や OpenXM で定められたものを利用する. 実際, 数 |
行なう. |
学データの表現に OpenMath の XML 表現を用いた実装があり, GAP と Axiom の |
交換に用いられる数学データの表現方法についての規定はない. したがって数学 |
間で通信が行われている. この場合 MCP によって送信されるデータは, 本文に |
的なデータの表現には MP や OpenXM で定められたものを利用することができる. |
|
実際, 数学データの表現に OpenMath の XML 表現を用いた実装があり, |
|
GAP と Axiom の間で通信が行われている. |
|
この場合 MCP によって送信されるデータは, 本文に |
OpenMath 形式で数式を記述したテキストである. |
OpenMath 形式で数式を記述したテキストである. |
|
|
\end{itemize} |
\end{itemize} |