研究のことをまとめて書く場所をつくりたかったので、 http://d.hatena.ne.jp/kiiiino3+lab/ を開設してみました。こちらもよろしくどうぞ。 型理論とか圏論とかプログラミング理論の話は（書けるような腕前になったら）そっちに書きます。