>>122
random_shuffle()の第3引数に適当な乱数生成器をつっこむ。