Axiom (数式処理システム) Axiom (数式処理システム)の概要

ウィキペディア

Axiom (数式処理システム)

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

Axiom

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

開発の経緯

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 の実際のソースコードが記述されている。

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

• Combined Table of Contents -- 目次
• Volume 0: Axiom Jenks and Sutor -- 本文
• Volume 1: Axiom Tutorial -- 簡潔な導入部
• Volume 2: Axiom Users Guide -- ドメインの使い方の詳細な例 (未完)
• Volume 3: Axiom Programers Guide -- Axiom プログラミング入門 (未完)
• Volume 4: Axiom Developers Guide -- 開発に際して (未完)
• Volume 5: Axiom Intepreter -- 対話的実行環境のソースコード (未完)
• Volume 6: Axiom Command -- システム・コマンドとスクリプトのソースコード (未完)
• Volume 7: Axiom Hyperdoc -- X11 の Hyperdoc ヘルプ・ブラウザのソースコードと解説
  • Volume 7.1 Axiom Hyperdoc Pages -- Hyperdoc 文書のソースコード
• Volume 8: Axiom Graphics -- X11 グラフィクス・サブシステムのソースコード
• Volume 9: Axiom Compiler -- Spad コンパイラのソースコード (未完)
• Volume 10: Axiom Algebra Implementation -- 実装にあたってのいくつかの問題 (未完)
  • Volume 10.1: Axiom Algebra Theory -- 数学的な背景
  • Volume 10.2: Axiom Algebra Categories -- Axiom に実装されている圏 (category) のソースコード
  • Volume 10.3: Axiom Algebra Domains -- Axiom に実装されている連結開集合 (定義域 domain)のソースコード
  • Volume 10.4: Axiom Algebra Packages -- Axiom パッケージのソースコード
• Volume 11: Axiom Browser -- Axiom の Firefox のためのフロントエンドのソースコード
• Volume 12: Axiom Crystal -- Axiom の Crystal のためのフロントエンドのソースコード (未完)

解説動画

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