■

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