この記事はなに 用語の約束 経緯 適当な数の総積による構成 1231 !(3272桁) mmddの総積(1001桁) 2か5の倍数を除いたmmddの総積(412桁) 1より大きい最小の公約数のみ共有(167桁) 乱択アルゴリズム(~12桁) 中国剰余定理 全ての日に制約(367桁) 関係式を減らす + 乱択(~9桁) 0から探す(8桁:13446204) なぜこんなに小さいか? この記事はなに グレゴリオ暦の年月日を十進法で表現された数として読むと素数になることがある(例:2022年1月3日→20220103は素数)。グレゴリオ暦が未来永劫に有効であるとして、このような素数が含まれない年は13446204年に初めて訪れる。本記事では、この値を最終的に発見するまでに試みた探索の過程を説明する。 コードは github.com に上げています。 バージョンは、 Rust: 1.55.0 Pyt