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