前に書いたものを少し書き直します。 マージ法（Merge algorithm）は、ソートされた二つの列を合体して一つのソートされた列を作るアルゴリズムです。（「マージ法」という用語はあまり使われていないようです） 原理は非常に簡単です。例えば次のような列が…