洗濯機の修理を頼んでいたので早めに帰宅。18時半の約束だったが、18時10分に携帯の留守電に「今ドアまで来ましたが、いらっしゃらないようなので連絡下さい」と電話（気がつかなかった）。すぐかけ直そうとするが、電気屋の携帯番号が非通知になっていたの…

起床は8時。やはり朝は眠い。今日は一日中、次の論文に備えてメモをtexうちする。夕食はクリームシチューとマカロニ。夜更かしして"Cowboy Bebop"を見て、26時に寝る。 "Models of Peano Arithmetic"を必要に迫られて、ぱらぱらと読み返してみる。昔前半を読…