SICP読み込み再開。で、Church数がサッパリわからんかったんで京大のページを参照。したらわかったことはわかったが、。%predp移行の後半がやっぱりサッパリわからん…。論理的に、どういう方程式から出てきとるんや、これ？

http://itpro.nikkeibp.co.jp/free/ITPro/NEWS/20050621/163082/ 思わず笑ってしまったが、あながち馬鹿にもできん予感。さて、自力でOSを入れるようなパワーユーザを如何に騙すかがポイントなわけやが…。

物理の講義を受けに教室に入ったら、物凄くビール臭かった。誰か飲んどるんかと思ったけど、飲んでるわけでもなく。結局最後まで臭かったなぁ…。空調がおかしかったんやろうか…？