マイナンバーの検査用数字(チェックデジット) 11桁の数字 + 1桁の検査用数字 から成り立つ12桁の番号 その定義は総務省令第八十五号の第五条にある 各プログラミング言語で計算するのが流行っているみたい SQLでやってみた demo with -- 検査対象のマイナンバーテーブル t(mn) as (values ('123456789010'), ('123456789011'), ('123456789012'), ('123456789013'), ('123456789014'), ('123456789015'), ('123456789016'), ('123456789017'), ('123456789018'), ('123456789019') ), -- 11桁目から左方向への桁数(PostgreSQL以外の場合は別の方法で連番を作る必要あり) d (n) as (