(d)@khibino前回末尾再帰になっていなかったから、CPS変換して末尾再帰にしたらしい。なんかいきなり継続の話に。中に入れたり外に出したりはできる。いくつか出来るが、それは簡約可能。計算量の証明をしようとしていたが、・・・挫折。作って、挙動を追うと、・・・あれ?挿入ソートというよりは・・・バブルソートの挙動になってる!!https://github.com/rf0444/haskell/tree/master/study/PFDS/C4ソート超奥深そう。遅延リストの挿入ソートの挙動がバブルソートっぽくなるのは、アルゴリズムのなんとか変換とかいう概念があるらしい。ぐぐると幸せになれるらしい。物理屋の手法ならし解析アルゴリズムイントロダクションを読んで、比較すると面白いらしい。https://twitter.com/#!/seizans/status/158462657807138816銀行家の方法は、正格/遅延リストで、積み立て/借金の方法で計算量を出す。頑張って資料作っていた。カーソルを右上の方にやると「+」が出てくる。操作が変わった部分は、わりと前から使っていたユーザを苦しめてるっぽい。元のやつと新しく作ったやつが同じ動作をするとか証明できていいなと思った。バランスしてない方が速いことが多いらしい。使うと、実際に入れられた値が分かる。100個くらいだと、あまり信頼できない。