日々の流転

λ. 言語の意味論

今回ばかりは敗北。徹夜してもレポート最後まで終わりませんでした。(T_T)

展望。

Channel theory

例のあれ

Institution

Joseph Goguen がやっているとか。categoryを使っていてfunctorがinfomorphismに相当するらしい。

Locale

いわゆる pointless topology の理論(だと思う)

Chu space

例のあれ

Domain theory

例のあれ

Semantic web

……

λ. 制約に基づく意味論

を読んだ。HPSGとか面白そう。

λ. 不定名詞句の指示と談話モデル

読んでないけど、言語の意味論のレポートを書いている途中に見掛けて、面白そうだったので。

λ. cpl.rbをデモ

cpl.rbをデモ……したのだけど、あんま面白く出来なかった。地味に動かしてみるだけじゃなくて、やっぱ絵になるものを用意しないとなぁ。

λ. 夕食

サイゼリア