型解析系がやること： プロファイルのないスクリプトを解析して、プロファイル（宣言）を作る。 人間がプロファイルを書いているとき、そのプロファイルが正しいかどうかをチェック。 実行時の安全性を保証する。 1,2番はそれほど重要じゃなくて、重要なのは…

カインドを肥大させないように禁欲的に考えてたが、どうもこれがよくないかも。ブール半環の構造を持たせてもいいかもしれない。カインドKに対して、最大値 max(K) の存在を要請するのは無理がある。極大元の集合をtops(K)として、tops(K)が有限集合ならいい…

関係圏とスパンの圏 - 檜山正幸のキマイラ飼育記の話は当座の応用があって、オートマトン（有限とは限らない）の圏をベースにしてSpan(C)を作ると面白い。スパンの左右の足を射影と考えると、ボディのオートマトンの2つの影を見ているように思える。逆に、ボ…

http://twitter.com/#!/hiyama_on_caty/status/71717718457450497 あたり： なんか行き詰まり感があるなー。今日は、この行き詰まりを解消するために、、、何をすりゃいいんだかね？ こういうときは、アイディアが足りないというよりは；見落としや勘違いを…