頑張って1限から大学へ。応用数学XC。ラムダ計算の再帰的な定義の話でした。一応知っている話だったので、軽く聞き流します。 M::=x|λx.M|MM なんか格好良い。 火曜日は3〜5限が詰まっていて割とハードです。とくに演習は面倒くさそう。純粋理性批判をドイツ…