また義理の両親夫妻・義弟一家がやってきて、Cがお相手していた。夕方皆で歩路庵に行く。「和創作料理」というと怪しげに聞こえるが、魚は新鮮でパスタもうまい。店は狭いがかなりおすすめ。

起床は10時。11時に大学に行き本をチェックして、大学生協で弁当を買って帰宅。 以前から折に触れて考えていた某体系の整合性証明について、最近また考え出した。本日難関2点について修正案を思いつく。しかし修正案通りにすると、最初の方針から全くかけ離…