2009-05-12 ■ 暖かい日、昼は晴れるが夜に降り出す。 午前は研究所、午後に非常勤先へ(BHK解釈の話はやりすぎだったか)。終了後、圏論セミナーの顔合わせ。 24時に帰宅、神戸も雨が降り出していた。