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

http://miuras.net/pub/project6x6.pdf あああああ。これはいくら何でも難しそうなんじゃないかと思いながら、結局卒論テーマに選んでしまいましたオセロの完全読み。選ぶだけならまだいい。ゼミでこんながっちりプレゼンしちゃうともう逃れられない。これか…