Hofstadter『メタマジック・ゲーム』 ミンスキー「ゲーデルはLispを思いついておくべきだった。もし彼がLispを思いついていたならば彼の不完全性定理の証明はもっと簡単なものになっていただろう」 ゲーデルの証明の一番難しいところは、数学的体系に自分自身を語らせるところにある。天才のひらめきが何段階か必要になる。しかし、Lispは、少なくともゲーデルが必要としていた意味で、まさに自分自身を直接語ることができる ゲーデルはLispを発明した! 不完全性定理のLisp, Mathematicaによる記述 和田英一「Lispへのこだわり」(PDF) Eric S. Raymond「ハッカーになろう」LISP は、それをモノにしたときのすばらしい悟り体験のために勉強しましょう。この体験は、その後の人生でよりよいプログラマーとなる手助けとなるはずです。たとえ、実際には LI
2006年4月21日 (金) YMO本人も参加のカバーアルバム『Yellow Fever: プレイズymo』発売記念、Senor Coconut (Atom Heart)インタビュー! 細野晴臣、高橋幸宏、坂本龍一=本家YMO揃って参加!!! ドイツ出身、現在はチリのサンチャゴに移住しているAtom TM aka Senor Coconut。その独自の音楽活動からTowa Teiをはじめ多くのアーティストからも支持されるまさに「奇才」。 彼が他アーティストの楽曲のラテンカバーに挑むプロジェクト、Senor Coconut名義での新作が登場。Kraftwerkを扱った『El Baile Aleman』、Michael Jackson、Sadeらに挑んだ『Fiesta Songs』に続くのは、いよいよ、YMO。あの名曲の数々がSenor Coconut節のラテンテイストで蘇ります。 今回な
今朝、ベランダから外を眺めると、これから入学式と思しき親子が写真を撮っていた。どうやらデジカメらしい。しばらくすると父親はカメラを持ち替え、子供の動く姿を追っていた。DVカメラのようだ。桜の美しさは自分が小学校に入学したときと変わらないが、技術は進歩したんだなあ。 さて、今回はGIMP 2を取りあげてみたい。GTK+2.4に対応することによりパネルなどのUIが一新されたほか、OS Xの場合はAltivec対応になるなど、メジャーバージョンアップに相応しい内容となっている。すでにOS X用のバイナリも数種類配布されているので、X11 for Mac OS X(X11.app)がインストール済であればすぐにでもGIMP 2.0の機能を試せるのだ。 これを機会に書いておきたいこと 最近、GNU GPLやAPSLなどのいわゆる「フリーソフトウェアライセンス」について再考する機会があったので、これか
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く