[BACK]Return to genkou19991125.tex CVS log [TXT][DIR] Up to [local] / OpenXM / doc

Diff for /OpenXM/doc/Attic/genkou19991125.tex between version 1.91 and 1.92

version 1.91, 1999/12/25 15:57:31 version 1.92, 1999/12/25 17:05:28
Line 1 
Line 1 
 \documentclass{jarticle}  \documentclass{jarticle}
   
 %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.90 1999/12/25 14:59:50 ohara Exp $  %% $OpenXM: OpenXM/doc/genkou19991125.tex,v 1.91 1999/12/25 15:57:31 tam Exp $
   
 \usepackage{jssac}  \usepackage{jssac}
 \title{OpenXM の現状について  \title{OpenXM の現状について
Line 454  ssh を利用して対応している.
Line 454  ssh を利用して対応している.
   
 http://www.openmath.org/omsoc/  http://www.openmath.org/omsoc/
   
 数学的対象のSGML的表記の標準化を目指した大規模なプロジェクト.  異なる種  数学的対象の SGML 的表記の標準化を目指した大規模なプロジェクト. 異なる種
 類の数式処理システムの間で情報を交換するときに, OpenMath で定義された表  類の数式処理システムの間で情報を交換するときに, OpenMath で定義された表
 現を利用することができる.  実際の情報交換の手続きにはいろいろなものが考  現を利用することができる.  実際の情報交換の手続きにはいろいろなものが考
 えられるが, 例えば MCP (Mathematical Computation Protocol) なる手続きが  えられるが, 例えば MCP (Mathematical Computation Protocol) なる手続きが
 考案されている.  MCP によって送信されるデータは, 本文に OpenMath 形式で  考案されている.  MCP によって送信されるデータは, 本文に OpenMath 形式で
 数式を記述したテキストで, いささかメイルに似ていなくもない.  実際にこの  数式を記述したテキストで, いささかメイルに似ていなくもない.  実際にこの
 方法でGAP とAxiomの間で通信が行われている.  方法で GAP と Axiom の間で通信が行われている.
   
 \item NetSolve  \item NetSolve
   
Line 485  http://symbolicNet.mcs.kent.edu/SN/areas/protocols/mp.
Line 485  http://symbolicNet.mcs.kent.edu/SN/areas/protocols/mp.
   
 \item MCP  \item MCP
   
 http://horse.mcs.kent.edu/~pwang/  http://horse.mcs.kent.edu/\~{}pwang/
   
 HTTP プロトコルを用いて, リモートの計算機で計算を行なう.  数学的な計算を行なうための HTTP スタイルのプロトコル.
   クライアント・サーバモデルを採用しており,
   ピアツーピアのストリームコネクションを行なう.
   RPC よりも, telnet でサーバにログインして計算を行なう感覚に近い.
   数学的なオブジェクトを MP や MathML で定められた方法で
   表現することが考えられている.
   すでに OpenMath を用いた実装が存在する.
   
   
 \end{itemize}  \end{itemize}
   

Legend:
Removed from v.1.91  
changed lines
  Added in v.1.92

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