一段落

先月は論文の締め切りに追われて，他の事にあまり手が回らずに終わってしまった． 定理・証明の繰り返しが延々と続く重い論文だったので， 予定が大きく狂ってしまい，ICFP PC どころではなく…． 今年も面白そうな問題だったのになぁ． 遠藤さんを救う問題（？）だったこともあり日本人が奮闘したとかしないとか． 結局，先月の殆んどの To Do が今月に回ることに．

まぁ，論文は無事提出できたのでよしとしよう （採択されるかどうかの方が気になるところではあるけれど）．