なんか「SumiiとPierceの手法を改良」云々の論文×２をよく読んでみたら、一つはすでに僕の論文の一部に書いてあることを詳しく書き直しただけで（1ページもなかった内容を12ページに増殖）、もう一つは要旨やイントロの1/3ぐらいが一字一句まで僕の論文と同…

ようやくキーワードが書けるようになったので、とりあえず「関数型言語」を作ったり「再帰」を上書きしたりしてみた。

MinCamlのページからリンクされているのにプログラミング言語の話題が（あまり）ないのはイマイチなので、突発プチ・チュートリアル開始。純粋なλ計算で再帰関数を表すのに使う λf.(λg.f(g g)) (λg.f(g g))というλ式があります（これだと型があったりcall-by…