draft第一版が完成。疲れた。しかし内容が少ない。ついでに英語がウニだ。 We can prove that ... is provable って、書きたかったことは単に"... is provable"だけなんだけど。こんなことでいいのか。 いつの間にか日記の未更新日もたまっている。おいおい…