トップ «前の日記(2003-01-16) 最新 次の日記(2003-01-18)» 月表示 編集

日々の流転


2003-01-17 [長年日記]

λ. 言語の意味論

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

展望。

Channel theory
例のあれ
Institution
Joseph Goguen がやっているとか。categoryを使っていてfunctorがinfomorphismに相当するらしい。
Locale
いわゆる pointless topology の理論(だと思う)
Chu space
例のあれ
Domain theory
例のあれ
Semantic web
……

λ. 制約に基づく意味論

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

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

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

λ. cpl.rbをデモ

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

Tags: 向井研 CPL

λ. 夕食

サイゼリア

Tags: