おととい寝ながら証明を思いついて，昨日議論をしてOKということになったので，これも論文に含めることに．だんだんalgebraic decision treeに慣れてきた．ちなみに，これは迷路とは関係ありません．

ということで，LAシンポジウムで迷路について話すので，原稿を書いて共著者のU氏に送付．原稿中の絵を描くのにもだいぶ時間がかかりました (こっちはipeを使った手作業)．

プログラムを触って，ヒューリスティクスをいれたりしました．午前中にいれたのは全然効果が見えなかったので，思いきって全消去．午後にやったのがかなりよかったのでこれは採用．個人的にはかなり面白いです．最近プログラムを書いていなかったのですが，…

最終日です．今日は部屋に籠って迷路と格闘しました．