OpenXM/doc/genkou19991125.tex - diff

Return to genkou19991125.tex CVS log

Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.111 and 1.114

version 1.111, 1999/12/28 08:02:49

version 1.114, 1999/12/28 14:53:40

Line 1

\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.113 1999/12/28 14:03:30 tam Exp $

\usepackage{jssac}

Line 451 OpenXM 規約の CMO 形式の定義は OpenMath 規約の content

また, 共通データ形式と数学システム固有のオブジェクトとの変換は OpenMath

規約の Phrasebook と同じアイデアを用いている.

\item NetSolve

http://www.cs.utk.edu/netsolve/

Line 462 NetSolve はクライアント・サーバ型の分散システムであり,

Line 463 NetSolve はクライアント・サーバ型の分散システムであり,

タベース的役割を果たす. また Agent によって負荷分散が可能になる. 現在

の NetSolve は RPC を基礎にして実装されている.

\item MP (Multi Project)

http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp.html

数学的オブジェクトのコンピュータ上での表現方法を扱うプロジェクト.

数学的なデータの表現とバイトストリームへのエンコーディングを

MP では数学データを構文木を用いて扱い,

提供するプロジェクト.

その構文木のバイトストリームへの変換方法について規定している.

このプロジェクトでは, 数学ソフト間で数学データをやりとりする際の

計算方法については規定しておらず,

通信路上での表現方法を規定している.

RPC や OpenXM, 後述の MCP 等で用いることが考えられる.

数学データは木構造を使って表しており, OpenMath と同様,

速度的な配慮もしており, 並列計算に用いることも

異なる種類の数式処理システム間で意味の食い違いが起こらないよう,

考えられている.

情報を付加できるようになっている.

現在すでに C 言語によるライブラリが実装されており,

また, 通信路はピアツーピアのバイトストリームでなければならないが,

Common Lisp による実装も行なわれている.

通信方法には幾らかの自由度があり,

OpenXM や MPI, MCP(後述) で利用することも考えられている.

すでに C 言語によるライブラリがあり, Common Lisp による

実装も行なわれている.

%数学的なオブジェクトのバイト列による表現を目的とするプロジェクト.

%%MP は数学的なデータを構文木を用いて表し,

%科学技術計算を行なうソフトウェア間での情報交換に使えるよう

%設計している.

%この表現は通信方法に依存しないが, 速度面に配慮しており,

%並列計算に使用することも考えられている.

%すでに C 言語で利用可能なライブラリが提供されており,

%現在は Lisp による実装も計画されている.

\item MCP (Mathematical Computation Protocol)

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>