• 気分転換のつもりで始めた ''Language, Proof and Logic'' (2nd ed.)だが、どんどん==深みにはまって==面白くなって、思わぬ春の猛勉強となってしまった。そろそろ新学期の足音が聞こえ始めているが、あとちょっとがんばりたい。しかし、いま500ページを少し過ぎたあたりだが、あと60ページくらいあるんだなこれが。しかも一番手ごわいところが残っている。そろそろ新学期の準備に切り替えるべきか、あるいは、やり始めたものを最後までやることを優先させるべきか。
• しかし、気分転換のつもりがこうなってしまったからには、新しい気分転換を見つけないといけない。なにかいい気分転換はないか。トマスでも読むか。（おいおい）