やっと論文の

draft第一版が完成。疲れた。しかし内容が少ない。ついでに英語がウニだ。

We can prove that ... is provable

って、書きたかったことは単に"... is provable"だけなんだけど。こんなことでいいのか。
いつの間にか日記の未更新日もたまっている。おいおい追加していくことにしよう。
夕方から雨が降り出す。Amazonから頼んだ本が到着。夕食はミートソース。