マージソート

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