多倍長演算ライブラリであるBoost.Multiprecisionには、ミラー・ラビン法による素数判定のための関数、miller_rabin_test()が定義されています。これは、乱数を使用して素数かどうかを判定する関数です。 // <boost/multiprecision/miller_rabin.hpp> namespace boost { namespace multiprecision { </boost/multiprecision/miller_rabin.hpp>…