日々の流転

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

λ. 人間と法

法的に問題がある事を「瑕疵(かし)」と呼び、その対処には「無効」と「取消」という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追記] もちろん「0^A」を「¬A」と考えればよい。

λ. 夕食

家族で「さぼてん」へ。

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

を見た。蟲が怖かった。虫の映像が全く素晴らしい。これは夢に見そうだ。でも、スカラべ(糞転がし)って肉食だっけ?

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

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

3月に撮っておいたのを見た。主立ったキャラクタはすべて登場してるし、スモーキングマンの回想のような形でストーリーが語られるのも良かった。日曜洋画劇場でやったなかでは一番面白かったと思う。

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

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

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