一転してよく晴れる。朝からSL論文の修正。全称量化子のある文の真理値の割り振りでやっぱり難航。所々雑用を挟みながら21時まで。窓を開けっ放しにしていたら蚊に右腕を盛大に刺された。 本日はCは理事会事務で遅くなるので、阪急駅前の新開店のラーメン屋…