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

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

個人マイナンバー

• 000000000000
• 000000001023
• 000536870911
• 004294967295

法人マイナンバー

• 0000000000063
• 0000000004095
• 0000067108863

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

• 行政手続における特定の個人を識別するための番号の利用等に関する法律施行令
  
• 法人番号の指定等に関する省令
  

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

補足

～数学科～ 教授「みなさん、マイナンバーは知ってますね」 学生「？」 教授「私のナンバーが届きました」 学生「！」 教授「なんと」 学生(素数ッ！？) 教授「完全数でした！」 学生(137438691328だ……) 学生(12桁の完全数は137438691328しかない…… )

— タカエイ (@tm_eagle) November 16, 2015

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

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

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

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

Author: @ymkjp