化ける日を祈って

計算モデル論ではラムダ式の文法と簡約化規則。ラムダ式が何をするものなのかまだよくわかららんのですが。でも変形の仕方だけを詰め込まれていく。これがあとあと一本の線にまとまって、ものすごい知的驚きに化けてくれることを祈ろう。そうだ、そうなるって。母関数だって最初は意味不明なだけの式だったじゃないか。