Vector.sort() は元の並びを変更する

