| version 1.107, 1999/12/26 16:01:22 |
version 1.115, 1999/12/28 18:47:12 |
|
|
| \documentclass{jarticle} |
\documentclass{jarticle} |
| |
|
| %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.106 1999/12/26 14:01:19 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 Project) |
\item MP (Multi Project) |
| |
|
| http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html |
| |
|
| 科学技術計算を行なうソフトウェア間で数学的なデータの交換を |
数学的なデータの表現とバイト列への変換方法を提供するプロジェクト. |
| 目的とするプロジェクト. |
このプロジェクトでは, 数学ソフト間で数学データをやりとりする際の |
| MP は数学的なオブジェクトを, 解釈に曖昧さがなくなるように, |
バイナリ表現を規定している. |
| 情報を付加した木構造を用いて表現する. |
MP は数式を構文木の一種で表しており, OpenMath と同様, |
| %``annotated syntax tree'' を用いて表現する. |
異なる種類の数式処理システム間で異なるオブジェクトに取り違えられないよう, |
| そして, この木構造を交換するためのプロトコルの作成を目標にしている. |
情報を付加できるようになっている. |
| プロトコルは通信方法に依存しないが, 速度面に配慮しており, |
また, 変換されたデータはデータ長が小さくなるよう考慮されており, |
| 並列計算に使用することも考えている. |
ファイル や TCP/IP 等に読み書きすることが考えられている. |
| すでに C 言語で利用可能なライブラリが提供されており, |
しかし, これらに限らず, OpenXM や MPI, MCP(後述) 等に利用することも考えられる. |
| 現在は Lisp による実装も計画されている. |
すでに 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} |
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to genkou19991125.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc