トップ «前の日記(2002-05-16) 最新 次の日記(2002-05-19)» 月表示 編集

日々の流転


2002-05-17 [長年日記]

λ. 六法全書と朝鮮語の辞書を間違えて持ってきてしまった。欝だ。

λ. 人間と法

法的に問題がある事を「瑕疵(かし)」と呼び、その対処には「無効」と「取消」という2通りがある。「無効」は絶対に無効なのだけど、「取消」は一応の有効性を認めたうえでの対処。

λ. 自然言語論

強化文脈自由文法(augmented context free grammar)というのがあるそうだ。

λ. section, retraction, monomorphism, epimorphism

今日は section, retraction, monomorphism, epimorphism の辺りについて説明した。今回は準備不足で思うようにいかなかった。板書ミスをしまくるし、どうもコワレ気味。でも、正直この辺りの話はあまりやる気がしないんだよなぁ。早く発表したい部分に辿りつけるように、次回は頑張ろう。(発表資料)

石原君の発表で、自然演繹の紹介があったのだけど、「∧」と「⇒」の除去規則が知らない形で定義されていたのが面白かった。

普通の定義
 A∧B
─── (E∧)
  A
 A∧B
─── (E∧)
  B
 A⇒B  A
───── (E⇒)
     B
今日見た定義
        [A,B]
          :
          :
  A∧B    C
─────── (E∧)
       C
          [B]
           :
           :
  A⇒B  A  C
─────── (E⇒)
       C

λ. カテゴリカルロジック

ロジックを、自然演繹やシーケント計算の代わりに、カテゴリ論的に扱ってやることが出来るらしいという話を聞いた。なるほどと思った。直感的には、命題をオブジェクト、命題間の導出を射とするようなカテゴリを考えれば良いのかな。Terminal Object を恒真、Initial Object を恒偽、Productを「∧」、Coproductを「∨」、Mapping Object を「⇒」と考えて……、あれ? 「¬」は?

[2005-05-29追記] もちろん「0A」を「¬A」と考えればよい。

Introduction to Higher-Order Categorical Logic (Cambridge Studies in Advanced Mathematics)(J. Lambek/P. J. Scott) Categorical Logic and Type Theory (Studies in Logic and the Foundations of Mathematics, Vol 141)(Bart Jacobs)

λ. 夕食

家族で「さぼてん」へ。

λ. ハムナプトラ / 失われた砂漠の都

ハムナプトラ 失われた砂漠の都 [DVD](スティーブン・ソマーズ/エイドリアン・ビドル/パトリシア・カー/ショーン・ダニエル/ジェームス・ジャックス) を見た。蟲が怖かった。虫の映像が全く素晴らしい。これは夢に見そうだ。でも、スカラべ(糞転がし)って肉食だっけ?

ついでに、イムホテップという名前は、"這い寄る混沌" ナイアルラトホテップ を連想する。

Tags: 映画

λ. X・Files / ファイト・ザ・フューチャー

Xーファイル ザ・ムービー<劇場版>スペシャル・エディション [DVD] 3月に撮っておいたのを見た。主立ったキャラクタはすべて登場してるし、スモーキングマンの回想のような形でストーリーが語られるのも良かった。日曜洋画劇場でやったなかでは一番面白かったと思う。

角田さんの日記が詳しい。

Tags: 映画

λ. Ruby 程式語言 (中国語繁体字)

紅眠の愛の秘密日記より。

Tags: ruby