列挙合宿が近づいているので準備してます． あまりにも内容の無いことを話してはいけないと思い，少しは考えることにしました． また，研究の進め方が「〆切効果」に依存してしまっている気がします．

輪読で出てきました． 反復的な実装は知らなかったので，なんかうれしくなりました．ふむふむ，と． 計算量解析はやはり難しいです．ちゃんと計算モデルを固定して議論しないといけないと思います． そういうところが明示的に書かれていないことが多いので，…

シンポジウムの後，合宿へ． いきなりトラブル(?)があったりして先行き不安でしたが，あとは皆さんの協力で滞りなく進めることができました． ありがとうございました．

講演してきました．内容を絞ったつもりでしたが，証明をしようとしたため途中かなり端折ってしまいました． すいません． 講演者5人のとりあわせがなかなか面白くて，かなり楽しかったです． 企画運営をしてくださった皆様に感謝します．