2006-01-30 やっと論文の 拙論 draft第一版が完成。疲れた。しかし内容が少ない。ついでに英語がウニだ。 We can prove that ... is provable って、書きたかったことは単に"... is provable"だけなんだけど。こんなことでいいのか。 いつの間にか日記の未更新日もたまっている。おいおい追加していくことにしよう。 夕方から雨が降り出す。Amazonから頼んだ本が到着。夕食はミートソース。