共同研究、ぼくが考えるまえの素朴な定式化を追ってみると、なかなかおもしろかった 定式化しだいで解きやすさが変わるなんて知ってはいたけど、すごいなあ