なぜLispなのか
Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる ゲーデルはLispを発明した！ 不完全性定理のLisp, Mathematicaによる記述 和田英一「Lispへのこだわり」(PDF) Eric S. Raymond「ハッカーになろう」LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LI
参考になる CSS 集
テンプレートいろいろ 特定の文書構造とセットの CSS ばかり。まあ、「テンプレート」ですからね、私の不満はいちゃもんに過ぎないのでしょう。これからはスタイルシートでデザインする時代だ、なんていってみても、レイアウト用の div 要素などはたくさん書いても、本文のマークアップには無頓着な人がほとんど。だからきちんと HTML の主要な要素について装飾を指定したスタイルシートには需要がない。 個人的には、以下のリストに示すスタイルシート群の方がずっと「参考になる」と思うのだけれど……。 Appendix > CSS List - outsider reflex CSS カタログ 「言葉 言葉 言葉」スタイルシートギャラリー スタイルシートライブラリ - W.F.N. CSSギャラリー ちなみに私の書くスタイルシートは、自分が使わない要素の装飾についてまともな指定がなされていないので、あまり汎
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
