寝ている間に非常に強い雨が降る。一日中湿度が高い。 起床は8時15分、本日はCが健康診断のため、途中まで一緒に出勤。コード書き、夕方から講演会（システム開発における形式的技法の導入例）と懇親会。その後Ktさんと議論をしていて遅くなり、21時に退所。…