Macsyma

Macsymaを作ったJoel Mosesのエッセイがあった。

http://esd.mit.edu/Faculty_Pages/moses/Macsyma.pdf

ともて興味深い。どうやら昨年、
http://www.orcca.on.ca/conferences/mica2008/
というコンファレンスがあったようだ。知らんかった。

その昔、数式処理は人工知能の応用だった。だからスレイグルの教科書にはSAINTの解説も載っている。（Mosesのエッセイで最初に引用されているのが、Slagle, J. R., A heuristic program that solves symbolic integration problems in freshman calculus: symbolic automatic integrator (SAINT), PhD dissertation, MIT, 1961）

人工知能―発見的プログラミング

• 作者: ジェームズ・スレイグル
• 出版社/メーカー: 産業図書
• 発売日: 1972/01
• メディア: 単行本

記号積分はRischの方法（R. H. Risch, "The Problem of Integration in Finite Terms". Transactions of the American Mathematical Society 139: 167-189, 1969.）だけど、次の本には簡単な解説が載っていなかったけ？

微分積分学入門〈第1課〉

• 作者: 一松 信
• 出版社/メーカー: 近代科学社
• 発売日: 1989/09
• メディア: 単行本

べらぼうに価格の高い本は専門家のため。

コンピュータ代数ハンドブック

• 作者: J.フォン ツァ ガテン
• 出版社/メーカー: 朝倉書店
• 発売日: 2006/06
• メディア: 単行本

最近の人工知能の教科書では扱っていないだろう。

人工知能概論 第2版 ―コンピュータ知能からWeb知能まで

• 作者: 荒屋 真二
• 出版社/メーカー: 共立出版
• 発売日: 2004/10/10
• メディア: 単行本

エージェントアプローチ人工知能 第2版

• 作者: S.J.Russell
• 出版社/メーカー: 共立出版
• 発売日: 2008/07/10
• メディア: 単行本

人工知能の基礎 (Computer Science Library)

• 作者: 小林 一郎
• 出版社/メーカー: サイエンス社
• 発売日: 2008/11
• メディア: 単行本

人工知能 (IT Text)

• 作者: 松本 一教
• 出版社/メーカー: オーム社
• 発売日: 2005/07
• メディア: 単行本

新 人工知能の基礎知識

• 作者: 太原 育夫
• 出版社/メーカー: 近代科学社
• 発売日: 2008/06
• メディア: 単行本

Lispの本も少なくなった。

On Lisp

• 作者: ポール グレアム
• 出版社/メーカー: オーム社
• 発売日: 2007/03
• メディア: 単行本

実践Common Lisp

• 作者: Peter Seibel
• 出版社/メーカー: オーム社
• 発売日: 2008/07/26
• メディア: 単行本（ソフトカバー）

ANSI Common Lisp (スタンダードテキスト)

• 作者: ポール グレアム
• 出版社/メーカー: ピアソンエデュケーション
• 発売日: 2002/08
• メディア: 単行本

Land of Lisp

• 作者: Conrad Barski
• 出版社/メーカー: No Starch Press
• 発売日: 2009/12/15
• メディア: ペーパーバック

Lisp (3rd Edition)

• 作者: Patrick Winston
• 出版社/メーカー: Addison Wesley
• 発売日: 1989/01/11
• メディア: ペーパーバック

タグ：Maxima 人工知能 Macsyma 数式処理 Lisp