計算モデル論

過去問が2年分ホームページにアップされてたんだけど、今年のテストはそれとは趣向ががらっと変わっていた。っていうか、この講義ってλ計算が主だったんじゃなかったの？テストで一問しか出なかったんだけど(過去問はほとんどがλ計算の問題)。

違う趣向のテストにするんだったら、過去問なんてアップしてくれなくてよかったのにさ〜。なんかずるいっすよ。