猫とC#について書く代わりにHaskellについて書くmatarilloの日記

rst762012/03/01 23:13１ヶ月遅れのコメントすみません。リンク先にもある通り、“木探索から CPS にすることで効率化”というのは間違いです。同じ計算をするなら、CPSにしようがしまいが、コストは変わりません。
確率計算の例だと、CPSに変換する際に実は計算モデルも若干変わっていて、そのために効率化されています。逆にもともとの木探索でも、モデルの記述をちょっと変えるだけで効率化できます。木探索が悪いわけではなくて、モデルの記述の仕方が悪いのです。
そのあたりは僕も整理できてなくて、うやむやにしていたのですが、時間を見つけて考えたいと思います。（そういう意味ではオリジナルの論文も、誤りがあるのではないかと思っています）

matarillo2012/03/02 01:21実は、木探索とモナドにもっと慣れたらあらためてまた考えようと思って、ほっといてあります。;-)