なぜLispなのか

暮らしカテゴリーの変更を依頼記事元:

www.iba.k.u-tokyo.ac.jp/~yabuki

276 usersがブックマークコメント

コメント

24

記事へのコメント24件

注目コメント
新着コメント

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

なぜLispなのか

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

ブックマークしたユーザー

gikan2010/04/12
Ashizawa2008/12/13
osora2008/11/25
KGA2008/10/06
Tomohiro2008/09/08
webmarksjp2008/07/14
motemen2008/07/03
tokita932008/03/03
nanolia2008/01/19
kanouk2008/01/02
ftnk2007/09/11
irohiroki2007/05/04
jjzak2006/11/06
blunato2006/10/28
hoshinom2006/09/27
keistar2006/09/25
k1m2006/09/13
harg2006/09/08

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - 暮らし

いま人気の記事 - 暮らしをもっと読む

新着記事 - 暮らし

新着記事 - 暮らしをもっと読む

設定を変更しましたx