Annotation of OpenXM/doc/OpenXM-specs/introduction.tex, Revision 1.2
1.2 ! noro 1: %% $OpenXM: OpenXM/doc/OpenXM-specs/introduction.tex,v 1.1.1.1 2000/01/20 08:52:46 noro Exp $
1.1 noro 2: //&jp \section{はじめに}
1.2 ! noro 3: //&eg \section{Introduction}
1.1 noro 4:
5: /*&jp
1.2 ! noro 6: OpenXM は, おなじタイプまたは異なるタイプの数学プロセス間の
1.1 noro 7: メッセージのやりとりの規約である.
8: 開発の動機は, 手作り(または研究的な)数学ソフトの相互乗り入れの実現
9: および分散計算の実装が
10: 第一であったが, もちろん数学ソフト間だけでなく, ワープロソフトや,
11: インタラクティブな数学本,
12: さらには数学デジタル博物館用のソフトがこの規約に従い,
13: 数学ソフトを呼び出すことなどにも利用できる.
1.2 ! noro 14: 当面の目標は OpenXM 数学ソフトパッケージを作ることである.
1.1 noro 15: これはさまざまな数学ソフトを一つのパッケージとして
16: 簡単に好きな言語より使えるようにするプロジェクトである.
1.2 ! noro 17: 現在 OpenXM.tar.gz には,
1.1 noro 18: asir, sm1, phc, gnuplot, tigers が入っている.
19: OpenXM 数学ソフトパッケージプロジェクトに
20: 参加できるように CMO の
21: 規約を拡張していくための規約も定めるものとする.
1.2 ! noro 22: */
! 23: /*&eg
! 24: OpenXM is a free, or Open Source, infrastructure for mathematical
! 25: softwares.
! 26: It provides methods and protocols
! 27: for interactive distributed computation and
! 28: for integrating mathematical softwares.
! 29: OpenXM package is a set of softwares that supports OpenXM protocols.
! 30: It is currently a collection of softwares
! 31: {\tt Risa/Asir} \cite{asir}, {\tt Kan/sm1} \cite{kan}, {\tt PHC} pack \cite{phc}
! 32: , {\tt GNUPLOT},
! 33: {\tt Mathematica} interface, and
! 34: {\tt OpenMath}/XML \cite{openmath} translator.
! 35: */
1.1 noro 36:
1.2 ! noro 37: /*&jp
1.1 noro 38: 現在専門的な数学ソフトが多数開発
39: されているが, 次世代の数学ソフトは他のソフトよりサブルーチンとして
40: 呼び出せる機能をもつべきである.
41: このように協調機能にすぐれたプログラムを書くための設計の
42: ガイドライン, プログラム作法のようなものを提案するのも,
43: このプロジェクトの目的である.
44: このようなガイドラインにそってプログラムすることにより,
45: 数学アルゴリズム自体に集中できる環境が実現できることを
46: 期待している.
47:
1.2 ! noro 48: 設計の方針として, (1) 単純 (2) 拡張性 (3) 実装の簡便さ (4) 実用性(5)
! 49: 高信頼性(robustness),に重きをおいている.
! 50:
! 51: OpenXM はなにも考えずに簡単に接続できるシステムを作ろう,というまで野心
! 52: 的ではない. 数学的な object は一筋縄ではいかないし, 完全な統一規格を
! 53: つくるというのは気が遠くなる仕事である. そのかわり, 今よりすこしだけこ
! 54: ういったデータ交換や分散システム構築の仕事を楽にしたいというのがささや
! 55: かな第1目標である. また, Mathematica や Maple といった巨大な統合ソフ
! 56: トを, Free Mathematical Softwares としてわれわれ自身の手でつくっていく
! 57: ための基礎でもある.
! 58: */
! 59:
! 60: /*&eg
! 61: We have been profited from increasing number
! 62: of mathematical softwares.
! 63: These are usually ``expert'' systems in one area of mathematics
! 64: such as ideals, groups, numbers, polytopes, and so on.
! 65: They have their own interfaces and data formats,
! 66: which are fine for intensive users of these systems.
! 67: However, a unified system will be more convenient
! 68: for users who want to explore a new area of mathematics with these
! 69: softwares or users who need these systems only occasionally.
! 70:
! 71: OpenXM provides not only data representation and communication protocols
! 72: but also programming guidelines to develop cooperative applications.
! 73: One will be able to concentrate on
! 74: developing mathematical algorithms with such guidelines.
! 75: Our design goals are (1) simpleness, (2) extensibility, (3)
! 76: easiness of implementation, (4) practicality, and (5) robustness.
! 77:
! 78: We believe that an open integrated system is a future of mathematical
! 79: softwares. However, it might be just a dream without realizability.
! 80: We want to build a prototype of such an open system by using existing
! 81: standards, technologies and several mathematical softwares. We want
! 82: to see how far we can go with this approach.
! 83: */
1.1 noro 84:
1.2 ! noro 85: /*&jp
1.1 noro 86: 数学的な Object をどのように表現するのか, どう伝えるのかを考えることは
87: 決してつまらない問題ではない.
88: このような問題は, 新しい数学記号を創造する問題と似ているかもしれない.
89: 我々は, 数字を $0$ を含んだ10進数で表記し,
90: 微分を $dx$ と書き, 写像を $ \longrightarrow $ であらわす.
91: これらの記号法からどれだけ多くの利益を得ているか, 思いをはせて欲しい.
1.2 ! noro 92: */
! 93: /*&eg
! 94: It is not an obvious problem to consider how mathematical objects
! 95: are represented and communicated.
! 96: It may be similar to trying to create new mathematical symbols.
! 97: We have the decimal notation to represent numbers, the symbol $dx$
! 98: to represent a differential, and $ \longrightarrow $ to represent
! 99: a mapping. One should imagine how we are benefited from these notations.
! 100: */
1.1 noro 101:
102: %% 変数名をどうするか悩むのにも似てる.
103:
1.2 ! noro 104: /*&jp
! 105: OpenXM は論理的には
! 106: OX 層, SM 層, CMO 層にわかれる.
! 107: OX Object は, データ, コマンドに大別できる.
! 108: データはこのプロジェクトのオリジナルのデータ形式
! 109: である CMO (Common Mathematical Object Format) で
! 110: 送出してもよいし, MP や Open MATH などの形式を用いてもよい.
! 111: SM 層は (スタックマシン)サーバを制御するための命令の
! 112: あつまりであり, サーバは非同期的に動作させることが可能である.
! 113: 柔軟性が高いので, IMC などのリモートプロシージャコール系の
! 114: プロトコルもエミュレートできる.
! 115: */
! 116: /*&eg
! 117: In OpenXM, communication is an exchange of messages.
! 118: The messages are classified
! 119: into three types: DATA, COMMAND, and SPECIAL. They are called OX
! 120: (OpenXM) messages. Among the three types, {\it OX data messages} wrap
! 121: mathematical data. We use standards of mathematical data formats such
! 122: as OpenMath and MP as well as our own data format {\it CMO} ({\it
! 123: Common Mathematical Object format}). Servers, which provide services
! 124: to other processes, are stack machines. The stack machine is called
! 125: the {\it OX stack machine}. Existing mathematical softwares are
! 126: wrapped with this stack machine. OX stack machines work in the
! 127: asynchronous mode which is similar to X servers. That is, OpenXM
! 128: server won't send messages to the client unless it is requested
! 129: to send them. It is also possible to emulate RPC and a web server for MCP
! 130: \cite{iamc} on our asynchronous OX stack machines.
! 131: */
! 132: /*&jp
! 133: OpenXM に準拠したシステム xxx を, open xxx とよぶ.
! 134: たとえば, OpenXM 対応の asir は open asir であり,
! 135: OpenXM 対応の kan/sm1 は open sm1 である.
! 136: */
! 137: /*&eg
! 138: A system xxx conforming to OpenXM is called open xxx.
! 139: For example Asir conforming to OpenXM is called open Asir, and
! 140: kan/sm1 conforming to OpenXM is called open sm1.
! 141: */
1.1 noro 142:
1.2 ! noro 143: /*&jp
! 144: OpenXM は, データ型をきめている部分と,
1.1 noro 145: 共通スタック言語を定めている部分にわかれる.
146: よいたとえかどうか自信がないが,
1.2 ! noro 147: OpenXM を定義する作業は, unicode を定める作業に似ている部分もある.
1.1 noro 148: たとえば, 漢字は東アジアで共通に使用されているが, 国や地方単位で
149: 形がすこしづつ違うものがある.
150: unicode では, 似た漢字を同じ code におしこんだ.
1.2 ! noro 151: OpenXM でも, システム毎にことなるが似ているデータ型を
1.1 noro 152: 同じ型としてあつかう.
153: たとえば, ``分散多項式'' の意味は, asir と kan/sm1 で異なるが,
1.2 ! noro 154: OpenXM では, 同じ型としてあつかわれる.
1.1 noro 155: ただしこれでは不十分な場合があるので,システム固有のデータ型も扱える
156: ような仕組みも用意している.
157: (さっきのたとえでは, こちらは, unicode でなく, ISO の文字符号系に対応するか.)
158: 共通スタック言語は, ごく小数の共通コマンドをのぞき
159: 基本的にシステム毎に固有の関数により実行される.
160: これにより, open xxx のサーバの実装およびマニュアルの記述は
161: いちじるしく簡単になる.
162: システム毎に固有の関数を共通の関数名にするプロジェクトも
163: 考えているが, 共通の関数名は OpenMath のものを利用する予定である.
1.2 ! noro 164: */
! 165: /*&eg
! 166: % not translated yet.
1.1 noro 167: */
168:
169:
170:
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to introduction.tex CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / doc / OpenXM-specs