なぜLispなのか
Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる ゲーデルはLispを発明した！ 不完全性定理のLisp, Mathematicaによる記述 和田英一「Lispへのこだわり」(PDF) Eric S. Raymond「ハッカーになろう」LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LI
窓の杜 - 【NEWS】Webページを移動しても消えない“マーカー”を引けるFirefox拡張
「Firefox」などで閲覧しているWebページ上で、ページを移動したりソフトを終了しても消えない“ラインマーカー”を選択した文字列に引ける拡張機能「Line Marker」v2.0.2006041303が、13日に公開された。「Firefox」v1.0以降や「Mozilla」v1.0以降、「Netscape」v7.0以降で動作するフリーソフトで、編集部にてWindows XP上の「Firefox 日本語版」v1.5.0.2、「Mozilla 日本語版」v1.7.12で動作確認した。現在、作者のホームページからダウンロードできる。 「Line Marker」は、「Firefox」などで閲覧しているWebページ上の選択文字列を、ラインマーカーで塗ったかのように背景色と文字色を変えて目立たせられる拡張機能。文字列にマーカーを引くには、Webページ上で文字列を範囲選択して右クリックメニューから［
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
