日記

夕食は近所の「はやし」にてチゲ鍋。950円のひとり鍋シリーズ(ちゃんこ鍋、チゲ鍋、あとひとつなにか忘れた)がいい感じで、時々食べる。

んでもってラムダ計算についてあれこれ読んでやっぱりなかなか理解できなかったり、『論理と計算のしくみ』を読んだりしつつ、YouTubeやニコニコ動画でポゴレリッチやらホロヴィッツやらdumb typeやら見たり。ホロヴィッツを久々に聴いてあらためて感動したので、明日CD屋にいってあれこれ買ってこようと思う。