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

前の月 / 次の月 / 最新 書いた人: 谷津貴久 （たにつたかひさ）[メールを出す] たま〜に更新 / 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を常用するのが少し嫌になってきました。日本語入

This domain may be for sale!

URL="https://bookshelf.jp/cgi-bin/goto.cgi?file=elisp&node=Command%20Overview" "elisp/コマンドループの概要"へのコメント(無し) コマンドループがまず始めに行うことはキー列、 つまり、コマンドへ変換されるイベント列を読むことです。 これには関数read-key-sequenceを呼び出します。 読者のLispコードでもこの関数を呼び出せます（see 節 20.6.1 キー列の入力）。 Lispプログラムでは、read-event（see 節 20.6.2 単一イベントの読み取り）で 低レベルの入力を行ったり、 discard-input（see 節 20.6.4 その他のイベント入力機能）で 処理待ち中の入力を破棄できます。 キー列は現在活性なキーマップを介してコマンドに変換されます。 この処理方法につい

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. 基本操

Generated by Hiki 0.8.4 (2005-10-19). Powered by Ruby 1.8.5 (2006-08-25). Founded by The Meadow Team.