■

一転してよく晴れる。朝からSL論文の修正。全称量化子のある文の真理値の割り振りでやっぱり難航。所々雑用を挟みながら21時まで。窓を開けっ放しにしていたら蚊に右腕を盛大に刺された。
本日はCは理事会事務で遅くなるので、阪急駅前の新開店のラーメン屋に行く。ラーメン屋になる前はK教授お気に入りのバーで、教授が元気だった頃何回か連れてきてもらったことがあったっけ、と感慨にふける。帰宅は22時。25時までまた論文修正。とりあえず問題点は解決･･･ということでいいんだろうか。