なんだかんだあったば、IPython（http://ipython.org/）のなかでCatyをロードできるようになった。IPythonのインターフェースでCatyを操作できるといいんだが、とりあえず次のようなことはできる。 In [69]: caty.front.console.help() Catyコンソール Usage…

デクスター・コゥゼン（Dexter Kozen）は、なんか独特の（あるいはクセのある）手法を使う。それで論文が読みにくい感じもするのだが、問題意識は今の僕にとってはピッタリだ。set constraintsとかtermset algebraとか再帰的な型を含むsubtypingとか。コゥゼ…

termグラフの圏ありき。 termツリーはtermグラフの特別なもの。 termツリーはテキスト表現を持つ。 「term=termツリー」か「term=termグラフ」かは文脈次第 termsetはtermの集合、ただしtermの普遍集合があり、その部分集合 term空間 = termset termset空間 …