BBCにかじりつく。昨日はハッピー・エンドだったが、今日みたいなのは願い下げにしたい。

"The Birth of Model Theory"が到着。

かつての我が指導教官ことK教授、口癖が「不確定集合論を作ろう」で、modalityを表現できる集合論を創ろうと息巻いていたことを思い出す。

一時帰国した後輩のSTが朝一で大学にやってくる。宿泊施設の利用許可証を渡す（こちらの失敗で、宿泊代を誤解を招く仕方で伝えていました、申し訳ない）。会話の雰囲気は、久しぶりに帰省した学生と数年ぶりに顔を合わせた親戚のおじさんという感じか。