version 1.111, 1999/12/28 08:02:49 |
version 1.115, 1999/12/28 18:47:12 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.110 1999/12/27 11:05:43 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 と同様, |
RPC や OpenXM, 後述の MCP 等で用いることが考えられる. |
異なる種類の数式処理システム間で異なるオブジェクトに取り違えられないよう, |
速度的な配慮もしており, 並列計算に用いることも |
情報を付加できるようになっている. |
考えられている. |
また, 変換されたデータはデータ長が小さくなるよう考慮されており, |
現在すでに C 言語によるライブラリが実装されており, |
ファイル や TCP/IP 等に読み書きすることが考えられている. |
Common Lisp による実装も行なわれている. |
しかし, これらに限らず, OpenXM や MPI, MCP(後述) 等に利用することも考えられる. |
|
すでに C 言語によるライブラリが提供されており, |
|
GNU Common Lisp による実装も計画されている. |
|
|
|
|
|
|
%数学的なオブジェクトのバイト列による表現を目的とするプロジェクト. |
|
%%MP は数学的なデータを構文木を用いて表し, |
|
%科学技術計算を行なうソフトウェア間での情報交換に使えるよう |
|
%設計している. |
|
%この表現は通信方法に依存しないが, 速度面に配慮しており, |
|
%並列計算に使用することも考えられている. |
|
%すでに C 言語で利用可能なライブラリが提供されており, |
|
%現在は 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} |