タグ

2007年11月29日のブックマーク (3件)

  • 圏論による論理学 - 東京大学出版会

    20世紀後半,数学,計算機科学,論理学などの分野で採用されてきている圏論.関数概念を基として現象をとらえようというこの方法を,関数型高階論理とトポスを題材にして丁寧に解説する.論理学の観点を中心に,圏論の考え方を紹介するテキスト. 序 第1章 関数型高階論理 第2章 トポス 第3章 トポスの基定理 第4章 プルバック関手<i>f</i> *の右-随伴関手<i>Π</i><sub>f</sub> 第5章 リミット、空間性トポス、限量記号 結び 付録1 A∧( ) ┤A⊃( )のイメージ的理解 付録2 各章の課題 主な記号一覧/索引

  • 心の計算理論 - 東京大学出版会

    心は自然が人間に与えた〝記号の計算〟の産物であるとする〝計算的人間観〟.その背景,特徴,可能性を,心理学・言語学人工知能学等との関係から読み解き,科学的実践法=〝計算アプローチ〟の意義を事例を交え紹介する.巻末には,【解題】もっと知識を――21世紀の「知は力なり」を新規収録. はしがき 序章 1 計算的人間観 2 心の科学をめぐって 3 記号の計算としての認知 4 コネクショニズムの計算観 5 心の理論としての計算プログラム 6 経験科学としての計算アプローチ 7 理論科学としての計算アプローチ 8 おわりに――心の科学と認知科学 補稿 生成文法と計算(郡司隆男/神戸松蔭女子学院大学教授) 補稿 認知科学文化論考――わざとこころ(齋藤洋典/名古屋大学教授) *解題 (徃住彰文)

    zee8
    zee8 2007/11/29
  • Immortal Session の恐怖 : 404 Blog Not Found

    2007年11月29日07:15 カテゴリ書評/画評/品評 Immortal Session の恐怖 さすがの私も、今夜半の祭りにはmaitter。 私のtwitterが荒らされていたのだ。 荒らし発言は消してしまったが、にぽたんがlogを残してくれている。 nipotumblr - Dan the cracked man 一部で言われているように、当にパスワードが抜かれたかどうかまでは解らない。が、状況としてはnowaがベータテスト段階で持っていたCSRF脆弱性をついた荒らしにそっくりだった。 にぽたん無料案内所 - こんにちはこんにちは!! この時も、私のnowaのメッセージに荒らしが入った。パスワードを変更しても暫く荒らしが続いていた点も似ている。 ここでの問題は、 bulkneets@twitter曰く(直接リンクは避けます) 問題は人が気付いてもパスワード変えてもセッション残

    Immortal Session の恐怖 : 404 Blog Not Found
    zee8
    zee8 2007/11/29
    利便性を損なわずに安全にするのは結構難しいです