=================================================================== RCS file: /home/cvs/OpenXM/doc/OpenXM-specs/project.tex,v retrieving revision 1.2 retrieving revision 1.5 diff -u -p -r1.2 -r1.5 --- OpenXM/doc/OpenXM-specs/project.tex 2000/01/24 07:36:35 1.2 +++ OpenXM/doc/OpenXM-specs/project.tex 2020/03/14 01:21:56 1.5 @@ -1,15 +1,15 @@ -%% $OpenXM: OpenXM/doc/OpenXM-specs/project.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $ -//&jp \section{現在検討中の機能} +%% $OpenXM: OpenXM/doc/OpenXM-specs/project.tex,v 1.4 2000/02/02 02:03:41 takayama Exp $ +//&jp \section{憜罎荐筝罘} //&eg \section{Projects in work in progress} -//&jp \subsection{ OX DATA with Length の構造 } +//&jp \subsection{ OX DATA with Length 罕 } //&eg \subsection{ OX DATA with Length } /*&jp -Digital signature 付の {\tt OX\_DATA} は -ヘッダ {\tt OX\_DATA\_WITH\_LENGTH }で, はじまり, CMO がきて, -それから, 終りのマークおよびデジタル署名がくる. -この形のデータを {\it secured OX DATA} と呼ぶ. +Digital signature 篁 {\tt OX\_DATA} + {\tt OX\_DATA\_WITH\_LENGTH }, 障, CMO , +, 腟若潟吾帥臀峨. +綵≪若帥 {\it secured OX DATA} 若. */ /*&eg {\tt OX\_DATA\_WITH\_LENGTH } is the OX tag for @@ -30,10 +30,10 @@ This type of OX data message is called {\it secured OX \hline \end{tabular} -//&jp {\tt size} フィールドに 値 -1 が入っている場合この情報を無視する. +//&jp {\tt size} c若 -1 ャc翫宴∴. //&eg If {\tt size} is equal to -1, then it is ignored. -//&jp {\it tail } は次のように定義する. +//&jp {\it tail } 罨<絎臂. //&eg {\it tail } is defined as follows. \\ \noindent \begin{tabular}{|c|c|c|} \hline @@ -43,11 +43,11 @@ This type of OX data message is called {\it secured OX \end{tabular} /*&jp -ここで, {\tt size} はバイト列 {\it signature} 部の長さ. -{\it signature} は, Hash 関数を用いた, {\it CMO data} -にたいする, デジタル署名をいれ, 不正な serialized object -を検出する. -Tail の {\tt size} フィールドが 0 の場合, デジタル署名部はない. +, {\tt size} ゃ {\it signature} 激. +{\it signature} , Hash ∽違, {\it CMO data} +, 吾帥臀峨, 筝罩c serialized object +罎冴. +Tail {\tt size} c若 0 翫, 吾帥臀峨. */ /*&eg Here {\tt size} is the length of {\it signature}. @@ -56,16 +56,16 @@ a Hash function and is used to detect invalid serializ If {\tt size} of Tail is equal to 0, then it has no digital signature. */ -//&jp クライアント, サーバの実装には次の4つの選択がある. +//&jp ゃ≪潟, 泣若絎茖罨<4ゃ御. //&eg Currently there are four modes of communicating data. /*&jp \begin{enumerate} -\item {\tt OX\_DATA} のみを用いて CMObject を送る (mathcap 付). -\item {\tt OX\_SECURED\_DATA} のみを用いて CMObject を送る. -\item {\tt OX\_DATA} および -{\tt OX\_SECURED\_DATA} を混在して -使用できるようにする. -\item {\tt OX\_DATA} のみを用いてかつ mathcap も用いない(一番高速). +\item {\tt OX\_DATA} 帥 CMObject (mathcap 篁). +\item {\tt OX\_SECURED\_DATA} 帥 CMObject . +\item {\tt OX\_DATA} +{\tt OX\_SECURED\_DATA} 羞桁 +篏睡с. +\item {\tt OX\_DATA} 帥 mathcap (筝蕭). \end{enumerate} */ /*&eg @@ -77,17 +77,17 @@ If {\tt size} of Tail is equal to 0, then it has no di \end{enumerate} */ /*&jp -1 の短所は, mathcap の実装が不十分で,理解できない CMObject をうけとる -と,以後の CMObject は理解できなくなる. 1 の長所は, 長さフィールドの計 -算をおこなわないため, データを送り出す側に負担がかからないことである. -2 の長所は, mathcap の実装が不十分で,理解できない CMObject をうけとっ -ても,長さフィールドを用いて, 通信回線のダウンを防ぐことができる. 2 の -短所は, 長さフィールドの計算をおこなうため, データを送り出す側に負担が -かかることである. +1 , mathcap 絎茖筝,茹cс CMObject +,篁ュ CMObject 茹cс. 1 傑, 激c若荐 +膊, 若帥冴眼莢с. +2 傑, mathcap 絎茖筝,茹cс CMObject +,激c若, 篆≦膩潟蚊с. 2 +, 激c若荐膊, 若帥冴眼莢 +с. */ /*&eg Suppose that the mathcap handling is incomplete and an application -has received unknown CMObject. If the mode 1 is used, +has received unknown CMObject. In mode 1, the application cannot detect the end of the CMObject and it will not be able to understand the subsequent messages. In mode 2, the application can detect the end of the unknown CMObject @@ -95,13 +95,13 @@ from the size information. However, in mode 2, additio required on the sender to compute the total length of CMObjects. */ -//&jp 現在のすべてのサンプルサーバは, 1, 4 のみを実装している. +//&jp 憜鴻泣潟泣若, 1, 4 帥絎茖. //&teg Currently all sample servers implements only 1 and 4. /*&jp -mathcap の交換はセッションの開始時点で必須という訳ではないことに注意さ -れたい. たとえば,モード 4 で通信して,それから, mathcap を交換して,モー -ド 1 へ移行することも可能なように実装すべきである. +mathcap 篋ゆ祉激с潟紮鴻у荐潟с羈 +. ,≪若 4 ч篆<,, mathcap 篋ゆ,≪ + 1 悟Щ茵純絎茖鴻с. */ /*&eg Note that the exchange of mathcaps are not necessary at the start @@ -109,37 +109,37 @@ of a session. Any server should be implemented so that change the communication mode dynamically, say, from 4 to 1. */ -//&jp \subsection{サーバスタックマシンはローカルな拡張機能をもってよい} +//&jp \subsection{泣若鴻帥激潟若≦宍罘純c} //&eg \subsection{Local extension on server stack machines} \begin{verbatim} -#define CMO_PRIVATE 0x7fff0000 +#define CMO_PRIVATE 0x7fff0000 /* 2147418112 */ \end{verbatim} /*&jp {\tt CMO\_PRIVATE} = {\tt OX\_PRIVATE} = {\tt SM\_PRIVATE} -よりはじまる, 0x10000 個の ID は, private 領域として予約されている. -各サーバの開発者間で表現方法につきまだ合意がないような, CMObject, -OX Message, SMobject を表現するために使用する. +障, 0x10000 ID , private 篋膣. +泣若肴ц;憝号ゃ障, CMObject, +OX Message, SMobject 茵憗篏睡. */ /*&eg 0x10000 ID's beginning from {\tt CMO\_PRIVATE} = {\tt OX\_PRIVATE} = {\tt SM\_PRIVATE} -is reserved for private use. +are reserved for private use. They can be used to represent OX tags, CMObjects, SMobjects which are not authorized yet. */ -//&jp \subsection{MathLink や OpenMath などの通信規約の実装} +//&jp \subsection{MathLink OpenMath 篆∴靘絎茖} //&eg \subsection{Implementation of other protocols such as MathLink and OpenMath} /*&jp -Open asir, open sm1 と Mathematica の用いている MathLink や +Open asir, open sm1 Mathematica MathLink Open Math (\cite{openmath}) -プロトコルを変換するための -ライブラリやサーバを用意すれば, {\tt asir} や {\tt kan/sm1} の -内部構造を理解することなしに, これらに準拠したシステムと通信できる. +潟紊 +ゃ泣若, {\tt asir} {\tt kan/sm1} +罕茹c, 羣激鴻篆<с. */ /*&eg If we provide a library or a server for protocol conversion @@ -148,19 +148,19 @@ a client conforming to such protocols can communicate Asir or kan/sm1 without knowing their internal structures. */ -//&jp \subsection{共通スタックマシン言語} +//&jp \subsection{演鴻帥激活茯} //&eg \subsection{Common operations on stack machines} /*&jp -CMO に付随した, たとえば, Integer 32 に対する, -add, sub, mul, などの基本的な計算は {\tt SM\_executeFunction} -で全てのシステムで実行できるように検討している. -スタックマシンの制御構造についても検討している. +CMO 篁, , Integer 32 絲障, +add, sub, mul, 堺荐膊 {\tt SM\_executeFunction} +у激鴻у茵с罎荐. +鴻帥激潟九勝罕ゃ罎荐. */ /*&eg Fundamental operations such as {\tt add}, {\tt sub}, {\tt mul} should be executed on any server by {\tt SM\_executeFunction}. Control structures on stack machines such as {\tt if} and {\tt for} -are also considered. +are also being considered. */