以前に完全なランダム1000で9／13だったので、今後はどうしようか……big系に任せようか……