どうやらシェーカーソートという名前のようでした やっぱり前からあったのね　とほほんちょ