2015-11-19

マイナンバーとメルセンヌ数

下記のマイナンバーがメルセンヌ数 (Mersenne number) である。

個人マイナンバー

  • 000000000000
  • 000000001023
  • 000536870911
  • 004294967295

法人マイナンバー

  • 0000000000063
  • 0000000004095
  • 0000067108863

チェックデジットの計算方法の根拠となる法令



※ちなみに政令と省令なので「法律」ではなく「法令」と呼んだほうが誤解を招かなさそうである

補足



…という創作ツイートがbuzzっていたが、残念ながらマイナンバーの末尾はチェックデジットであるため完全数は存在しえないとのこと。

ではメルセンヌ素数はどうだろうと試してみたが見つからず、メルセンヌ数は上述の通り見つかった。

ただ、今回の結論は「マイナンバーでは0パディングが用いられている」という前提に立っているので、もし0パディングがなければマイナンバーにはメルセンヌ数は存在しないことになる。

メルセンヌ数の一覧は A000225 - OEIS から拝借した。

Author: @ymkjp