Return to introduction.tex CVS log

Up to [local] / OpenXM / doc / OpenXM-specs

Annotation of OpenXM/doc/OpenXM-specs/introduction.tex, Revision 1.1

1.1     ! noro        1: %% $OpenXM$
        !             2: //&jp \section{はじめに}
        !             3: //&eg \section{Introduction} (This part has not been translated)
        !             4:
        !             5: /*&jp
        !             6: Open XM は, おなじタイプまたは異なるタイプの数学プロセス間の
        !             7: メッセージのやりとりの規約である.
        !             8: 開発の動機は, 手作り(または研究的な)数学ソフトの相互乗り入れの実現
        !             9: および分散計算の実装が
        !            10: 第一であったが, もちろん数学ソフト間だけでなく, ワープロソフトや,
        !            11: インタラクティブな数学本,
        !            12: さらには数学デジタル博物館用のソフトがこの規約に従い,
        !            13: 数学ソフトを呼び出すことなどにも利用できる.
        !            14: 当面の目標は openXM 数学ソフトパッケージを作ることである.
        !            15: これはさまざまな数学ソフトを一つのパッケージとして
        !            16: 簡単に好きな言語より使えるようにするプロジェクトである.
        !            17: 現在 openXM.tar.gz には,
        !            18: asir, sm1, phc, gnuplot, tigers が入っている.
        !            19: OpenXM 数学ソフトパッケージプロジェクトに
        !            20: 参加できるように CMO の
        !            21: 規約を拡張していくための規約も定めるものとする.
        !            22:
        !            23: 現在専門的な数学ソフトが多数開発
        !            24: されているが, 次世代の数学ソフトは他のソフトよりサブルーチンとして
        !            25: 呼び出せる機能をもつべきである.
        !            26: このように協調機能にすぐれたプログラムを書くための設計の
        !            27: ガイドライン, プログラム作法のようなものを提案するのも,
        !            28: このプロジェクトの目的である.
        !            29: このようなガイドラインにそってプログラムすることにより,
        !            30: 数学アルゴリズム自体に集中できる環境が実現できることを
        !            31: 期待している.
        !            32:
        !            33: 設計の方針として, (1) 単純 (2) 拡張性 (3) 実装の簡便さ (4) 実用性
        !            34: (5) 高信頼性(robustness),
        !            35: に重きをおいている.
        !            36: Open XM はなにも考えずに簡単に接続できるシステムを作ろう,
        !            37: というまで野心的ではない.
        !            38: 数学的な object は一筋縄ではいかないし, 完全な統一規格をつくるというのは
        !            39: 気が遠くなる仕事である.
        !            40: そのかわり, 今よりすこしだけこういったデータ交換や分散システム構築の仕事を楽に
        !            41: したいというのがささやかな第1目標である.
        !            42:
        !            43: 数学的な Object をどのように表現するのか, どう伝えるのかを考えることは
        !            44: 決してつまらない問題ではない.
        !            45: このような問題は, 新しい数学記号を創造する問題と似ているかもしれない.
        !            46: 我々は, 数字を $0$ を含んだ10進数で表記し,
        !            47: 微分を $dx$ と書き, 写像を $ \longrightarrow $ であらわす.
        !            48: これらの記号法からどれだけ多くの利益を得ているか, 思いをはせて欲しい.
        !            49: また, Mathematica や Maple といった巨大な統合ソフトを,
        !            50: Free Mathematical Softwares としてわれわれ自身の
        !            51: 手でつくっていくための基礎でもある.
        !            52:
        !            53: %% 変数名をどうするか悩むのにも似てる.
        !            54:
        !            55: Open XM に準拠したシステム xxx を, open xxx とよぶ.
        !            56: たとえば, open XM 対応の asir は open asir であり,
        !            57: open XM 対応の kan/sm1 は open sm1 である.
        !            58:
        !            59: Open XM は, データ型をきめている部分と,
        !            60: 共通スタック言語を定めている部分にわかれる.
        !            61: よいたとえかどうか自信がないが,
        !            62: Open XM を定義する作業は, unicode を定める作業に似ている部分もある.
        !            63: たとえば, 漢字は東アジアで共通に使用されているが, 国や地方単位で
        !            64: 形がすこしづつ違うものがある.
        !            65: unicode では, 似た漢字を同じ code におしこんだ.
        !            66: Open XM でも, システム毎にことなるが似ているデータ型を
        !            67: 同じ型としてあつかう.
        !            68: たとえば, ``分散多項式'' の意味は, asir と kan/sm1 で異なるが,
        !            69: Open XM では, 同じ型としてあつかわれる.
        !            70: ただしこれでは不十分な場合があるので,システム固有のデータ型も扱える
        !            71: ような仕組みも用意している.
        !            72: (さっきのたとえでは, こちらは, unicode でなく, ISO の文字符号系に対応するか.)
        !            73: 共通スタック言語は, ごく小数の共通コマンドをのぞき
        !            74: 基本的にシステム毎に固有の関数により実行される.
        !            75: これにより, open xxx のサーバの実装およびマニュアルの記述は
        !            76: いちじるしく簡単になる.
        !            77: システム毎に固有の関数を共通の関数名にするプロジェクトも
        !            78: 考えているが, 共通の関数名は OpenMath のものを利用する予定である.
        !            79:
        !            80: Open XM は論理的には
        !            81: OX 層, SM 層, CMO 層にわかれる.
        !            82: OX Object は, データ, コマンドに大別できる.
        !            83: データはこのプロジェクトのオリジナルのデータ形式
        !            84: である CMO (Common Mathematical Object Format) で
        !            85: 送出してもよいし, MP や Open MATH などの形式を用いてもよい.
        !            86: SM 層は (スタックマシン)サーバを制御するための命令の
        !            87: あつまりであり, サーバは非同期的に動作させることが可能である.
        !            88: 柔軟性が高いので, IMC などのリモートプロシージャコール系の
        !            89: プロトコルもエミュレートできる.
        !            90: */
        !            91:
        !            92:
        !            93: