今年は西暦 2017 年ですが，2017 は素数 ということで各所で盛り上がったことと思います。実は，2017は単に素数なだけではなく，非正則素数 という重要な素数でもあるのです。今日はそのことを紹介します。概要： さっき発見したんですが 2017 は 123 番目の…