Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる ゲーデルはLispを発明した！ 不完全性定理のLisp, Mathematicaによる記述 和田英一「Lispへのこだわり」(PDF) Eric S. Raymond「ハッカーになろう」LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LI
Stevey's Blog Rants: Shiny and New: Emacs 22
I finally upgraded to Emacs 22 a few weeks ago, and now I'm wishing I'd braved it sooner. Technically it's not released yet; I'm working from a build of a cvs snapshot from a month or so ago. But the Emacs dev team works pretty hard to make sure it has problem-free builds on a whole slew of platforms, so just following their instructions has a pretty good chance of working for you. It's worth the
Last updated: Wed Dec 24 11:36:00 2014 1270 entries Mail me (sje30@cam.ac.uk) with any suggestions for changes to this list. View recent changes to the list. 2013-06-07. I am no longer actively updating the list, as I hope that most people will start using the various packaging systems (such as ELPA or MELPA) instead for modern elisp. However, if you have an old link on here that you want to updat
首藤 一幸 注: このページの文章はオープンソースマガジン 2006年6月号 (2006年 5月発売) に掲載された以下の記事の元原稿です。 編集部の了承の元に、本ウェブページに掲載しております。 首藤一幸, "ハッカー養成塾！ -- ハック教を切り刻め", オープンソースマガジン 2006年 6月号, pp.114-115, ソフトバンククリエイティブ(株), 2006年 5月 8日 他の方の原稿 後藤氏 (2006/2): ハックの一歩は楽しむことから 鵜飼氏 (2006/3): ハックは素早くやれ 高林氏 (2006/3): 深追い、佳境、バッドノウハウ 太田一樹氏 (2006/4): 入塾案内 平林(幹夫)氏 (2006/4): はじめなきゃ はじまらない 川合氏 (2006/6): パワーハッカーへの道 平林(純)氏 (PDFファイル) (2006/7): オッパイ星人だってハ
<< 2006/12/ 1 1. [Ruby] Ruby Advent Calendar : 25 Days of Ruby Joy and Celebration 2 1. [教会] 宣教師の手伝い 2. [言語] ボヘミアンの勝利(？) 3. [Ruby] Erubis - A faster alternative to ERB / eRuby 3 1. [教会] ブルークリスマス 4 1. [Ruby] 日本 Ruby 会議 2007 2. 凄い漢字 5 1. [原稿] 日経Linux 2006年2月号 2. チープ教育 3. [Ruby] erubycon 6 1. [原稿] 日経Linux 2006年2月号 2. スライド 3. 懇親会 4. [Ruby] TopFunky's PodCast Interview with Matz - O'Reilly Ruby 5. [言語]
Practical Common Lisp - 1:12:04 - May 10, 2006 Google engEDU - www.google.com () Rate: Google TechTalks May 10, 2006 Peter Seibel ABSTRACT In the late 1920's linguists Edward Sapir and Benjamin Whorf hypothesized that t...all » Google TechTalks May 10, 2006 Peter Seibel ABSTRACT In the late 1920's linguists Edward Sapir and Benjamin Whorf hypothesized that the thoughts we can think are largely de
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
