random_shuffleで、RandomNumberGenerator指定しないとランダムにならないのは
仕様なのでしょうか？
あと、RandomNumberGeneratorは自分で作成しないといけないのでしょうか？