version 1.107, 1999/12/26 16:01:22 |
version 1.108, 1999/12/26 16:25:13 |
|
|
\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.107 1999/12/26 16:01:22 tam Exp $ |
|
|
\usepackage{jssac} |
\usepackage{jssac} |
|
|
Line 469 http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp. |
|
Line 469 http://symbolicnet.mcs.kent.edu/SN/areas/protocols/mp. |
|
科学技術計算を行なうソフトウェア間で数学的なデータの交換を |
科学技術計算を行なうソフトウェア間で数学的なデータの交換を |
目的とするプロジェクト. |
目的とするプロジェクト. |
MP は数学的なオブジェクトを, 解釈に曖昧さがなくなるように, |
MP は数学的なオブジェクトを, 解釈に曖昧さがなくなるように, |
情報を付加した木構造を用いて表現する. |
情報を付加した構文木を用いて表現する. |
%``annotated syntax tree'' を用いて表現する. |
%``annotated syntax tree'' を用いて表現する. |
そして, この木構造を交換するためのプロトコルの作成を目標にしている. |
そして, この木構造を交換するためのプロトコルの作成を目標にしている. |
プロトコルは通信方法に依存しないが, 速度面に配慮しており, |
プロトコルは通信方法に依存しないが, 速度面に配慮しており, |