計算モデルの数理のレジュメ

計算モデルの数理は詳しいレジュメをPDFで提供してくれているが，これはすなわち講義に出なくてもよいということだろう．さすが計算機の人は話が分かる．

なんて感じでいたら1回目のレポートを忘れていたのだが，まぁこの歳になってλ算法の構文論もあるまい．（と言いつつ略記が読めないのは id:flappphys:20050807#p4 以来変わってない（ぉぃ））