金曜日に副テーマの内容を決め、私たちは「ラムダ計算」を勉強することになった。前の大学でも少しやったはずだけど、もう忘れました。勉強しなきゃ。

ひさしぶりに競馬中継を見る。とはいえ、何も賭けていないんだけど。基本的にギャンブルは弱いし、ギャンブルに勝つために研究するという時間がもったいないというか。 でも、中継を見るからには、適当に何か買っておいた方が良かったかも。当たらないとは思…