Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる ゲーデルはLispを発明した! 不完全性定理のLisp, Mathematicaによる記述 和田英一「Lispへのこだわり」(PDF) Eric S. Raymond「ハッカーになろう」LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LI
Scheme Is Love 翻訳 原文:Scheme Is Love 著者:Don Box (Microsoft Corporation) ここ数年、Perl、PHP、Python、またはRubyなどの動的言語を採用することが流行しています。私がRubyと短かくも楽しいひと時を持ったことは認めましょう。しかし、Schemeと呼ばれているLisp方言に、私は真実の恋を見つけたと信じているのです。 Schemeでプログラムを書き、私はコーディング、デザイン、アーキテクチャ、および美意識に関して多くを学びました。このことは、Eric S.Raymondの「ハッカーになろう」に、より正確に書かれています。 また異なる理由、つまり最終的に習得した時に得られる深遠な悟りの経験のためにLispを学ぶ価値があるのです。この経験は、その後の人生で、あなたをより良いプログラマーにするはずです。たとえ、実際に
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く