>>676
ランダムネスの設定が恣意的でないことは
個別に証明すべきことではないのか?