タグ

2007年2月4日のブックマーク (4件)

  • 404 Blog Not Found:書評 - 不完全性定理

    2007年02月05日01:00 カテゴリ書評/画評/品評Math 書評 - 不完全性定理 初掲載2007.02.04 脱帽。 不完全性定理 数学的体系のあゆみ 野崎昭弘 もしかして、今まで読んだ数学書の中で最高傑作かも知れない。 著者の野崎昭弘は、「詭弁論理学」の著者にして、「Gödel, Escher, Bach(GEB)」の訳者。安野光雅と「石頭コンピューター」を共著した人でもある。私は「πの話」以来のファンなのだが、その野崎昭弘が不完全性定理にガチで対峙したのが書だ。 目次 第1章 ギリシャの奇跡 第2章 体系とその進化 第3章 集合論の光と陰 第4章 証明の形式化 第5章 超数学の誕生 第6章 ゲーデル登場 書は、「不完全性定理とは何か」だけではなく、「公理とは何か」「定理とは何か」をまずきちんと解説した上で、「不完全性定理は人にとってどんな意味があるのか」までを説いている。

    404 Blog Not Found:書評 - 不完全性定理
  • 時をかける少女: 時かけDVD、まさに今つくってます!(その1)

    週明けに仕様が解禁らしいんだけど、もうネット通販サイトには結構情報でてますね。 (仕様が公式HPにあがりましたね。こちらをどうぞ) とりあえず、限定版特典の大まかなとこを紹介すると、 ディスクは3枚組 ま、コレは確定です。通常版と共通のディスク1、編オーディオは5.1chと2ch両方入ってます。 ディスク1:編に加え、コメンタリーは細田監督とキャスト3人(仲+石田+板倉)。 今週収録しました。現場に行ってきたので詳細を紹介しますよ。 ディスク2:『時をかける少女 ビジュアルノート(仮)』 仮ってついてるくらいなので、詳細わかったら報告します。 ディスク3:スタッフのコメンタリーは、絵コンテと編シンクロ これも今週収録ありました。細田監督、作監青山さん、助監伊藤さんのコメンタリー。 フィルムがつきます。これは全国で上映されてたのから切り出し 切り出しはこれから、現場に潜入し

    sagann
    sagann 2007/02/04
    キャベツwwwwwwwwww
  • コミックマーケット71アフターレポート

    コミケット公式発行物 コミックマーケット71カタログ(表紙、結城信輝) コミケットプレス25(表紙、米澤嘉博) 紙袋(大)ロボいぬ・(小)chita*coppe マスコミ取材 コミックマーケット71取材申込一覧 2004年・2005年と2年続いた冬コミケの2日間開催で、最大の問題は言うまでもなくサークルの抽選率が極めて悪い、ということでした。 コミケット67(04年冬)が約50%、コミケット69(05年冬)が約52%の抽選率、 つまり、2日間開催の時は、2サークルに1サークルは落選する状態です。 これが3日間開催となると抽選率は約70%と劇的に改善されることになります。 しかしながら、2002年・2003年のように土日がうまく年末に絡まない状況において、 冬の3日間開催をどのように行うべきか、準備会としても非常に悩ましい問題でした。 準備会スタッフに何度も意見を聞いたり、サークルの皆さんに

  • 同人活動に適した都道府県を考える:アルファルファモザイク

    編集元:同人板より「【就職】同人活動に適した都道府県を考える【進学】」 1 名無しさん@どーでもいいことだが。 :2006/02/14(火) 21:20:05 ID:Xi0K8LkO イベントの開きやすさ・盛り上がり AAA 東京 AA   A   愛知 広島  B   京都 兵庫 新潟 福岡 宮城 神奈川 C   大阪 北海道 岩手 山形 福島 兵庫 静岡 千葉 栃木 埼玉 石川 富山 福井 三重 愛媛 鹿児島 熊 沖縄 D   青森 秋田 徳島 香川 群馬 和歌山 長野 鳥取 島根 滋賀 岐阜 長崎 宮崎 E   佐賀 奈良 地元でのサークル活動のしやすさ(印刷所・出力センター充実度・条例) AAA 広島 AA  東京 愛知 大阪 A   新潟 B   茨城 福島  C   宮城 兵庫 神奈川 石川 岡山 愛媛 熊 D   青森 栃木 埼玉 静岡 

    sagann
    sagann 2007/02/04
    結局東京近辺か。