倍精度でやるには素数は必要ですか?