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