なぜLispなのか

• Hofstadter『メタマジック・ゲーム』

  ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」

  ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる

  ゲーデルはLispを発明した！

• 不完全性定理のLisp, Mathematicaによる記述
• 和田英一「Lispへのこだわり」(PDF)
• Eric S. Raymond「ハッカーになろう」

  LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LISP そのものをあまり使わなくても。

• Paul Graham
  • Lispがそんなにすごいなら

    Lispがそんなにすごいなら、どうしてもっとたくさんの人が使わないんだろう。最近の講演で、こんな質問を聴衆の学生から受けた。もちろんそれが初めてじゃない

  • 普通のやつらの上を行け

    LispのプログラムコードはLispのデータオブジェクトから出来ている。それは、ソースコードは文字列で出来ていて、文字列は言語でサポートされている、というようなつまらない意味じゃない。

• Greenspunの第10規則

  全ての十分に複雑なCもしくはFortranプログラムは、後付けの、不完全な仕様とバグを持ち、遅い、Common Lispの半分の実装を含んでいる

• Exploring the Code of Creativity

  （絵を描こうとする場合に用いる膨大なルールは）Cのような言語では表現不可能だった

処理系

• CMUCL フリーのCommon Lisp
• Allegro Common Lisp（Franz社、評価版をダウンロードできる）
• Meadow
• xyzzy
• Mathematica

Reference

• Kent Pitman Common Lisp HyperSpec ANSI Common Lisp Standardのハイパーテキスト・バージョン。ダウンロード
• Guy L. Steele Jr. Common Lisp the Language, 2nd Edition：HyperSpecができる前のLispの仕様
• Franz社のドキュメント
• GNU Emacs マニュアル（オンライン版）：Infoの方が使いやすい
• Emacs Lisp リファレンスマニュアル（オンライン版）：Infoの方が使いやすい
• Emacs-20 Reference Card
• アルゴリズム言語Schemeに関する第五改訂報告書 Schemeの仕様。配布形式が数種類ある（こちらを参照）

その他のリンク

• An Introduction and Tutorial for Common Lisp （Lispはここから）
• Cliki (the common lisp wiki)
• プログラミング言語Scheme （Schemeはここから）
• John McCarthy Lispを発明した人（Hofstadterによれば、ゲーデルはLispを発明した）
  • Recursive Functions of Symbolic Expressions and their Computation by Machine (Part I). 1960.
  • A Basis for a Mathematical Theory of Computation. 1961.
• Peter Norvig
  • Paradigms of Artificial Intelligence Programming: Case Studies in Common Lisp（サポートサイト）
  • Artificial Intelligence: A Modern Approach（サポートサイト。日本語訳）
  • Lisp as an Alternative to Java
  • Tutorial on Good Lisp Programming Style
  • Design Patterns in Dynamic Languages
• Harold Abelson and Gerald Jay Sussman with Julie Sussman. Structure and Interpretation of Computer Programs second edition（オンライン版）
  MITの有名な講義6.001の教科書。使用言語はScheme。Peter Norvigによれば、コンピューター・サイエンスの最高の入門書。邦訳は和田英一訳『計算機プログラムの構造と解釈』（サポートサイト）
• Gregory. J. Chaitin
  • The Unknowable （Lispを使ってゲーデル・チューリング・チャイティンの不完全性定理を記述して見せてくれる。オンライン版。邦訳は黒川利明訳『知の限界』）
  • The Limits of Mathematics （オンライン版。邦訳は黒川利明訳『数学の限界』）
• John Hughes なぜ関数プログラミングは重要か
• Practical Scheme
  • Gauche （Schemeの処理系）
• David Cooper, Jr. Basic Lisp Techniques. (PDF) Franz社にある入門用のドキュメント。114ページとコンパクト
• 犬飼大. 『入門Scheme』 秀和システム, 1999.
• 亀井信義・舘野信行. 『GNU Emacs ガイドブック』 技術評論社, 1993.
• Robert J. Chassell. Programming in Emacs Lisp（日本語）

Paul Graham

Peter Norvigによれば、Lispの本の中では、Paul GrahamのOn Lisp（日本語訳，草稿）とANSI Common Lisp（日本語訳）がベスト

Hackers & Painters（オンライン版，日本語訳『ハッカーと画家』）

訳者のWEBページで読めるものもある（本に収録されなかったエッセイも読める）

サポートページ

1. メイド・イン・USA（原文）
2. どうしてオタクはもてないか（別訳：オタクが人気者になれない理由）
3. ハッカーと画家
4. 口にできないこと
5. 天邪鬼の価値（原文）
6. もうひとつの未来への道
7. 富の創りかた
8. 格差を考える
9. スパムへの対策
   • 続編：「ベイジアンフィルタの改善」
   • 続続：「反撃するフィルタ」
10. ものつくりのセンス
11. プログラミング言語入門
12. 百年の言語
13. 普通のやつらの上を行け
14. オタク野郎の復讐
    • Paul Prescodによる反論「PythonとLispの関係について」
    • 再反論：「技術野郎の復讐」への反響
15. 夢の言語
16. デザインとリサーチ
17. 素晴らしきハッカー
    • 補足：Pythonのパラドックス

• 知っておきたかったこと
• ガベージ・イン／ガベージ・アウト：善き人々が悪しきプログラムに手を染める時
• 人気の言語を作るには
• なぜArcはとりたててオブジェクト指向でないのか

TOP