|
Axiom(アクシアム、公理を意味する英単語 axiom から)はフリーソフトウェアの計算機代数システムである。システムには対話型実行環境、コンパイラとライブラリが含まれており、強力な型付けによる、数学的な階層構造を持つ型を定義している。 ==開発の経緯== Axiom の開発は1971年に始まった〔Axiom 公式ホームページ 〕。開発は IBM で Richard Dimick Jenks の元で行われ、当時は Scratchpad という名前であった。開発には、バリー・トラガー (Barry Trager)、ステファン・ワット (Stephen Watt)、ジェームズ・ダベンポート (James Davenport)、ロバート・スター (Robert Sutor)、スコット・モリソン (Scott Morrison) が加わっていた。 1990年代に NAG が Scratchpad を買い取り、現在の名前 Axiom が付けられた。その後、2001年に商用製品としての販売は終了し、以降の開発、管理はティム・デイリー Tim Daly にゆだねられ、修正BSDライセンスの元で公開されている。 Axiom からは2007年に2つのプロジェクトがフォークしている。どちらもオープンソースプロジェクトであり、その一つの OpenAxiom は同年8月13日に発足し同年8月24日に最初のリリースを出している。もう一方の FriCAS 同年9月28日に最初のバージョンをリリースしている。 Axiom (本家) は数日から数週間おきにパッチの形でバージョンアップしており〔Axiom パッチ公開ページ 〕、バージョン番号を振っていない。 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「Axiom (数式処理システム)」の詳細全文を読む 英語版ウィキペディアに対照対訳語「 Axiom (computer algebra system) 」があります。 スポンサード リンク
|