しかもメモリ割当が 2 倍に増える。 Sorting surprises - Google グループ 既知の問題である。名前解決がイテレーション毎に起こるから遅いらしい。メモリ使用量が 2 倍に増える理由について Karpinski は I'm not sure と応えており「えっ」となる。Numeric…