categoryを使っていてfunctorがinfomorphismに相当するらしい。制約に基づく意味論を読んだ。HPSGとか面白そう。不定名詞句の指示と談話モデル読んでないけど、言語の意味論のレポートを書いている途中に見掛けて、面白そうだったので。cpl.rbをデモcpl.rbをデモ......したのだけど、あんま面白く出来なかった。地味に動かしてみるだけじゃなくて、やっぱ絵になるものを用意しないとなぁ。(はてな版)日記は現代の病です。読み過ぎ書き過ぎはあなたの健康を害する恐れがあります。2.2.10-p489。