■

起床は8時15分、最近寝坊ぎみ。出勤して雑用。一日中Agdaでの定理証明の練習。早退して読書会へ。読書会に向かう途中、阪急線でK氏と遭遇。読書会終了後、ビールがないので、阪急駅前のスーパーまで他の参加者と一緒に行き、ビールを買って帰る。帰宅は22時半、夕食はクリームシチュー。