version 1.113, 1999/12/28 14:03:30 |
version 1.114, 1999/12/28 14:53:40 |
|
|
\documentclass{jarticle} |
\documentclass{jarticle} |
|
|
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.112 1999/12/28 08:49:03 tam Exp $ |
%% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.113 1999/12/28 14:03:30 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 |
Line 470 http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp. |
|
Line 472 http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp. |
|
提供するプロジェクト. |
提供するプロジェクト. |
このプロジェクトでは, 数学ソフト間で数学データをやりとりする際の |
このプロジェクトでは, 数学ソフト間で数学データをやりとりする際の |
通信路上での表現方法を規定している. |
通信路上での表現方法を規定している. |
すでに C 言語によるライブラリがあり, Common Lisp による |
数学データは木構造を使って表しており, OpenMath と同様, |
実装も行なわれている. |
異なる種類の数式処理システム間で意味の食い違いが起こらないよう, |
|
情報を付加できるようになっている. |
|
また, 通信路はピアツーピアのバイトストリームでなければならないが, |
通信方法には幾らかの自由度があり, |
通信方法には幾らかの自由度があり, |
OpenXM や MPI, MCP(後述) で利用することも考えられている. |
OpenXM や MPI, MCP(後述) で利用することも考えられている. |
|
すでに C 言語によるライブラリがあり, Common Lisp による |
|
実装も行なわれている. |
|
|
|
|
\item MCP (Mathematical Computation Protocol) |
\item MCP (Mathematical Computation Protocol) |