[B! emacs] itouhのブックマーク

なぜLispなのか

Hofstadter『メタマジック・ゲーム』ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができるゲーデルはLispを発明した！不完全性定理のLisp, Mathematicaによる記述和田英一「Lispへのこだわり」(PDF) Eric S. Raymond「ハッカーになろう」LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LI

itouh 2005/10/26

emacs

リンク

たま〜に更新 / 2004-08

前の月 / 次の月 / 最新書いた人: 谷津貴久（たにつたかひさ）[メールを出す] たま〜に更新 / 2004-08 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 2007 : 01 02 03 04 05 06 07 08 09 10 11 12 2006 : 01 02 03 04 05 06 07 08 09 10 11 12 2005 : 01 02 03 04 05 06 07 08 09 10 11 12 2004 : 01 02 03 04 05 06 07 08 09 10 11 12 ■ Emacsの使用頻度を減らす？ [Emacs][chalow][howm] Emacsを常用するのが少し嫌になってきました。日本語入

itouh 2005/10/20

gtk2

emacs

リンク

bookshelf.jp

This domain may be for sale!

itouh 2005/09/14

emacs

リンク

bookshelf.jp

This domain may be for sale!

itouh 2005/09/14

read-event

emacs

リンク

http://shakosv.sk.tsukuba.ac.jp/ShakoDoc/Editors/NEmacs/EmacsGuideInJ_html/

GNU Emacs Zenith Guide for Programers --- プログラマに捧げる --- GNU Emacs ガイドブック --- カスタマイズに挑戦! --- README 利用／再配布要領 0. 始めにこの本で述べようとしていること独断的エディタ進化論スクリーン・エディタ Emacs …… マルチ・ファイル／マルチ・ウィンドウ使用端末の能力とエディタ GNU Emacs GNUプロジェクトとFSF Copyleft League for Programming Freedom Think GNU この本私の目指すものとこの本の位置づけ ……というか、何というか Emacsの姉妹品／類似品 MS-DOSでの使用 NEmacsについて Mule Demacs Epoch Emacs 動作確認環境本書中で使用した用語／訳語謝辞 ●基本編 1. 基本操