2007年02月05日01:00 カテゴリ書評/画評/品評Math 書評 - 不完全性定理 初掲載2007.02.04 脱帽。 不完全性定理 数学的体系のあゆみ 野崎昭弘 もしかして、今まで読んだ数学書の中で最高傑作かも知れない。 著者の野崎昭弘は、「詭弁論理学」の著者にして、「Gödel, Escher, Bach(GEB)」の訳者。安野光雅と「石頭コンピューター」を共著した人でもある。私は「πの話」以来のファンなのだが、その野崎昭弘が不完全性定理にガチで対峙したのが本書だ。 目次 第1章 ギリシャの奇跡 第2章 体系とその進化 第3章 集合論の光と陰 第4章 証明の形式化 第5章 超数学の誕生 第6章 ゲーデル登場 本書は、「不完全性定理とは何か」だけではなく、「公理とは何か」「定理とは何か」をまずきちんと解説した上で、「不完全性定理は人にとってどんな意味があるのか」までを説いている。
柴田元幸著「翻訳教室」を読んでいたら、柴田教授の東大の授業に村上春樹が遊びにやってきたときの模様が収録されていた。「ウェブ進化論」で書いた「総表現社会」ということとの関連で、たいへん面白かった。 翻訳教室 作者: 柴田元幸出版社/メーカー: 新書館発売日: 2006/02/01メディア: 単行本購入: 10人 クリック: 140回この商品を含むブログ (93件) を見る村上春樹は、真偽のほどはともかく、自作へのプロ(批評家・文芸評論家など)による評価・評論はいっさい読まないと公言している。それで柴田氏が、じゃあ「読者の声は聞かれますか?」と村上春樹に問うた。以下がそれへの村上の回答とさらに続く問答である。 村上 インターネットでウェブサイトをやっていたときは全部読みました。僕がそのとき思ったのは、一つひとつの意見は、あるいはまちがっているかもしれないし、偏見に満ちているかもしれないけど、全
ブログで本の引用をする場合というのはけっこうあると思いますが、その時に困るのが新書など開いたままにしておけない本です。無理な体勢で本を抑えながらキーボードを打つことになり、かなり面倒…。 そんな折、ブックストッパーという商品を見つけたのでさっそく買って試してみたら、かなり便利です。 ▼2つ使えば開いたままにしておけるので、両手が自由に使えます。 ▼構造はシンプルで、クリップに重りがついているだけ。 ▼立てることもできます。 ▼重さは150gくらい。携帯電話くらいでしょうか。 もともとは受験生向けということらしいのですが、ブロガー向けとも言えるでしょう。 アマゾンで売ってます(1個840円(税込)なので、2個買えば送料無料)。 これで、本を引用するのが楽しくなりそうです。
「Web 2.0への道」の第2弾、休刊になったインターネットマガジンに掲載されていた Google の関連記事を再編集し、新たに 40ページ以上が書き下ろされたものです。 Googleのすべて WEB2.0への道2 Web2.0編集部 インプレスR&D 2006-07-05 売り上げランキング : 2023 Amazonで詳しく見る by G-Tools 創業者であるラリー・ペイジ&サーゲイ・ブリンのインタビューや日本法人取締役社長・村上憲郎のインタビュー、グーグル東京研究開発センターレポート、そして下記の各サービスが解説されています。 Google Adsense Google Analytics Google Co-op * Google Base Google Book Search Google Catalogs Google Dashboard Widgets for MAC G
このエントリは、「いきなりコンサルタントに抜擢されたSEが読むべき3冊」[参照]の続きになる。 「コンサルタント」と一緒に仕事をしたことがあるだろうか? 肩書だけのなんちゃって自称コンサルではなく、McKinsey & Company や accenture といった、それでメシ喰っている連中のことだ。 彼らの阿呆ほどの猛仕事ぶりは、「マッキンゼーITの本質」[参照] に書いたが、仕事の順序というか、ダンドリの要領よさについては常々不思議に思っていた。「俺たちに明日はない」という言葉がピッタリの猪突猛進なのだが、仕事のやり方は整然粛々としている。見た目のロジカルさだけでなく、コンサルティングの仕事そのものが、あたかも何かのマニュアルに従っているかのような感じがしてならなかった。 その予感はあたってた。マニュアルを見つけたんだ。それは、「情報システム計画の立て方・活かし方」。いや、その辺に転
仕事でコード書いてた頃の話。 机上に「本」というメディアは無かった。プログラミングといえばお手本のコピペ&手直しで仕上げてた。だから、せいぜい入門書やリファレンスといった辞書的なやつだけで、3年もすれば「古い」と引き出しの中へ。 だから、いつまでたっても上手なのは「お作法」だけ。あたりまえだ。仕様を実装したコードに「似た」コードやパターンを探し出す→コピペがプログラマの仕事だと思ってたから。ネットの情報が「全て」であって、「考える」とは、「いかにお手本に合わせるか」だったから。 プログラマというよりも、むしろ「コーダー」。その辺は「プログラマになれなかったわたし」[参照]に書いた。 ここでは、「コンピュータの名著・古典100冊」の既読リストで恥さらし。いかにちゃんとした本を読んでいないかがよっく分かる、なさけない。 本書はプログラミングに限らず、ソフトウェアエンジニアとしての libera
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く