最適化周りを読んでました。 どうも、全体像を１つの流れとして把握できてないようなので、ほとんど暗記問題だなとおもう今日この頃です。mincamlの最適化周りはすべてk正規化した後に、α変換されたものを扱います。まず行うのはβ簡約次に、ネストしたletの…