MAXIMA

>>218
Axionについてはほんとにfreeになったみたいですね。ただまだ開発協力者
にしかsourceが公開されていないようですが、そのうち公開されるでしょう。
AxiomについてMaximaのMLで親分のFatemanがFree Axiom change world?という
書き込みをしているのでちょっと訳してみよう。"
そうTim Dalyやその他のAxiomのエキスパート達は文句あるというだろうが、
私の見るところ、AxiomはMacsymaや他の数式処理システムよりはるか遠くをめ
ざしまたよりいきあたりばったり(ad-hoc)でないやりかたを求めた貴重なここ
ろみであったと言えると思う。そんなふうに、Axiomは 数式処理を構成するた
めの十分透明で 頑丈な基礎を提供できた。(はずであった。仮定法の気持ち)
にもかかわらず実際は Axiomは(他より)不十分であったし、ad-hocな構成を
認めざるを得なくなっていった。(実用性を高めるために)
非可換環上の多項式を扱うプログラムを書きたいならAxiomは頼りになるだろ
う。あるいはClifford Algebraをのせるなら。(僕のことか!)
しかし"integral result"を導入するときには それらを扱うプログラムを書く
ことは それほどきれいにはいかない。つまり Axiomが競争相手を一掃できな
かった理由の(かなりの)部分は 数学がきたないことにある。(ここでの数学が
きたないとは、数学自体が十分発達していないと言う意味だろう。Knuth先生
のいうArtと Sienceの発言と同一内容の発言と思われる。>>149 参照)（続く