[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

Axiom (数式処理システム)とは？ わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > Axiom (数式処理システム)の意味・解説 
ウィキペディア
索引トップ 用語の索引 ランキング カテゴリー
ウィキペディアウィキペディア

Axiom (数式処理システム)

(OpenAxiom から転送)

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2023/10/09 08:07 UTC 版)

Axiom
リポジトリ
対応OS クロスプラットフォーム
種別 計算機代数システム
ライセンス 修正 BSD ライセンス
公式サイト Axiom 公式ホームページ
テンプレートを表示

Axiom（アクシアム、公理を意味する英単語 axiom [æksiəm] から）は、フリーソフトウェアの計算機代数システムである。システムには対話型実行環境、コンパイラとライブラリが含まれており、強力な型付けによる数学的な階層構造を持つ型を定義している。

開発の経緯

Axiom の開発は1971年に始まった[1]。開発は IBM で Richard Dimick Jenks の元で行われ、当時は Scratchpad という名前であった。開発には、バリー・トラガー (Barry Trager)、ステファン・ワット (Stephen Watt)、ジェームズ・ダベンポート (James Davenport)、ロバート・スター (Robert Sutor)、スコット・モリソン (Scott Morrison) が加わっていた。

1990年代に NAG が Scratchpad を買い取り、現在の名前 Axiom が付けられた（注：1992年に出た解説書中では一貫して名前は大文字の"AXIOM"と書かれている）。その後、2001年に商用製品としての販売は終了し、以降の開発、管理はティム・デイリー Tim Daly にゆだねられ、修正BSDライセンスの元で公開されている。

2007年にAxiom から2つのプロジェクトがフォーク（分岐）した。どちらもオープンソースプロジェクトであり、その一つの OpenAxiom は同年8月13日に発足し同年8月24日に最初のリリースを出している。もう一方の FriCAS 同年9月28日に最初のバージョンをリリースしている。

Axiom (本家) は数日から数週間おきにパッチの形でバージョンアップをしており[2]、バージョン番号を振っていない。

文書化

Axiom は文芸的プログラミングを指向している。Axiom のソースコードは複数の「巻 (volume)」に分かれており、Axiom の開発サイト で公開されている。各巻には Axiom の実際のソースコードが記述されている。

現在公開されているものは以下のとおりである。

解説動画

Axiom プロジェクトでは文書化に重点を置いている。また近年は解説ビデオでプロジェクトに関するアナウンスが最初に行われている。その解説ビデオは Axiom の開発サイト で公開されている。その最初のビデオで Axiom の情報発信に関する詳細が述べられている[3]。

開発方針

Axiom の開発プロジェクトは「30年計画」で行われている。まず第一に、次世代の計算機を使う数学者にとって有用なソフトウェアとなるために必要な機能を実装することである。ドナルド・クヌースの文芸的プログラミング技法が Axiom のソースコード全体にわたって使われている。開発に当たっては、アルゴリズムの正しさを証明するために証明技術 (proof technology、Coq や ACL2 などのようなもの) を導入する予定である。

設計思想

Axiom においては、オブジェクトはすべて型を持っている。型は数学的な「構造」であり、例えば環、体、多項式などがある。またデータ構造はリスト構造、木構造、ハッシュテーブルなど、計算機科学のものが実装されている。

関数は引数として型そのものを取ることができ、型はその返り値にもできる。たとえば Fraction という関数は引数として IntegralDomain を取り、その引数の分数からなる体を返す。また、有理数からなる大きさ 4 × 4 の行列のなす環は SquareMatrix(4, Fraction Integer) によって生成できる。その環での演算を行う場合、1 は単位行列、A^-1 は A の逆行列 (存在する場合) であると解釈される。

複数の演算が同じ名前を持つことができ、それらはオブジェクト指向プログラミングの場合と同様、引数と求められる結果の型によって区別される。

Axiom の拡張言語として SPAD と呼ばれるものがある。Axiom に実装されている数学的な知識はすべて SPAD で書かれている。Axiom の対話的実行環境は、SPAD の概ね全てを理解する。

SPAD はかつて A#、続いて Aldor という名前で開発されていた。後者は現在も、SPAD の代わりに Axiom から使うことができる。しかし Axiom とは異なるライセンスで公開されている。

特徴

対話的実行環境内では、型推定および発見的探索法を用いることで、多くの場合に明示的な型付けを行わなくても良いようになっている。

また 'HyperDoc' というウェブブラウザに似たヘルプ表示システムを持っており、二次元および三次元グラフィクスを表示して回転させたり明るくしたりすることができる。Emacs および TeXmacs でも Axiom モードが実装されている。

  • HyperDoc で領域で実行できる演算を表示させているところ

  • 三次元プロット

  • Firefox 上での実行例

  • 熱拡散方程式の簡約化

  • 行列演算

Axiom では初等関数の積分法として リッシュのアルゴリズム が実装されている (Manuel Bronstein および Barry Trager による)。

書籍

  • Richard D. Jenks and Robert S. Sutor: "AXIOM The Scientific Computation System", Springer-Verlag, ISBN 0-387-97855-0, ISBN 3-540-97855-0 (1992). ※ 開発がNAGに移った後に出た解説書。システム名は大文字で"AXIOM"となっている．

関連項目

脚注

  1. ^ Axiom 公式ホームページ
  2. ^ Axiom パッチ公開ページ
  3. ^ "Axiom Computer Algebra System Information Sources," jgg899, YouTube, 2008年11月30日

外部リンク

フォークしたプロジェクト

オープンソース
フリー/シェアウェア
リテール（英語版）
開発終了

急上昇のことば

邂逅
新猿楽記
硬軟両様
堀内文一
風呂キャンセル界隈
英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

「Axiom (数式処理システム)」の関連用語

1
解説動画
ウィキペディア小見出し辞書
100% |||||

2
開発方針
ウィキペディア小見出し辞書
100% |||||

3
文書化
ウィキペディア小見出し辞書
100% |||||

4
設計思想
ウィキペディア小見出し辞書
96% |||||

5
Axiom (数式処理システム)
百科事典
52% |||||

6
GiNaC
百科事典
38% |||||

7
MuPAD
百科事典
38% |||||

8
SINGULAR (数式処理システム)
百科事典
38% |||||

9
Magma (数式処理システム)
百科事典
32% |||||

10
Yacas
百科事典
30% |||||

Axiom (数式処理システム)のお隣キーワード

AXR

AxKit

Axel Rex -アクセルレックス-

Axiata

Axie Infinity

Axim

Axiom (数式処理システム)

Axis (企業)

検索ランキング

   

 英語⇒日本語
日本語⇒英語		    


Axiom (数式処理システム)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのAxiom (数式処理システム) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS