これまでの復習 [表示する]

QRコードは株式会社デンソーが作ったもので、スマホや携帯で読み取れる
QRコードは「小さな白と黒の四角でできている」「多少汚れても大丈夫」という特徴がある
白黒の四角を使うのは、コンピュータにわかりやすくさせるため
QRコードは「機能パターン」と「符号化領域」で出来上がっている
「機能パターン」は、「クワイエットゾーン」「位置検出パターン」「位置検出パターンの分離パターン」「タイミングパターン」「位置合わせパターン」の5種類
「符号化領域」は「形式情報」「型番情報」「データ領域」の3種類
「形式情報」は「エラー訂正レベル」と「マスクパターン参照子」で決まり、「$4 \times 8=32$」種類のパターンがある
「型番情報」は「QRコードのバージョンによって決まり、40種類ある
「データ領域」は「データ」と「エラー訂正情報」で出来上がる
QRコードはバージョンが1〜40まである。一辺の大きさは、「QRコードのバージョン(1〜40)$ \times $4$ + $17」
「エラー訂正レベル」は「L(7%の汚れまで)」「M(15%の汚れまで)」「Q(25%の汚れまで)」「H(30%の汚れまで)」の4種類ある。
「エラー訂正レベル」が「L」だと「QRコード」で表現できるデータの量は最大で、「H」のときに最小になる。
「1bit」とは白・黒、1・0のような2種類の情報を表すことができる能力のことで、文字を増やすと「2bit(4種類)」「3bit(8種類)」と表現できる種類が増える
日常の言葉を「エンコード」して「コード(符号)」に置き換え、「コード(符号)」を「デコード」して日常の言葉に戻す
QRコードの「エンコード」方式は「数字モード」「英数字モード」「漢字モード」「8bitモード」の4種類
どの「エンコード」方式でも、データは「モード指示子」＋「文字数指示子」＋「データ」＋「終端パターン」＋「埋め草ビット」＋「埋め草ワード」となる
QRコードには「白」と「黒」を読み間違えても、元の情報を復元する「エラー訂正」能力が備わっている
「エラー訂正」は読み取れた(聞き取れた)言葉から最も近い「ありえそうな単語」を推測すること
「エラー訂正力が強い」ということは、「あえて使っていない単語が多い」ということと同じで、効率性は悪い
1,0でできている符号では「ハミング距離(2つの符号間で1と0が異なる箇所の個数)」があり、符号間で最も「ハミング距離」が小さいものを「最小距離」と呼ぶ
使える「単語」を制限すると「最小距離」は大きくなる
「最小距離」の半分までのエラーであれば訂正することができる
「単語」を「符号化」したものに、適当な「1」や「0」を後ろにつけると「最小距離」が大きい「エラー訂正機能付符号」になる
「エラー訂正機能付符号」を作る際は「符号」に「行列(生成行列)」を掛け算する。
「QRコード」は「リード・ソロモン符号」と呼ばれる方法で「エラー訂正機能付符号」を作る
「行列」は数字を並べただけのもので、もともとは「連立方程式」の係数だけ抜き取ってならべたもの
「行列」の「足し算」「引き算」は各「行列」の要素同士を「足し算」「引き算」したもの
「行列」の「掛け算」は、左の「行列」から「行」を取り出し、右の「行列」から「列」を取り出して、それぞれの要素を掛け算して足し合わせる
左の「行列」の大きさが「a行b列」で、右の「行列」の大きさが「b行c列」だった時、「掛け算」結果の行列は「a行c列」になる
「行列」の「掛け算」は順番を変えると結果も変わる
「掛け算」しても結果を変えない行列を「単位行列」と呼び、「掛け算」すると結果が「単位行列」になる行列を「逆行列」と呼ぶ
「行列」の特徴を表している「数字」を「行列式」と呼ぶ。「行列式」は「正方行列」だけが持っている
「並び替え」は「置換」によってい表すことができ、偶数回の「置換」でできる「並び替え」を「遇置換」、奇数回の「置換」でできる「並び替え」を「奇置換」という
「行列式」は各列から数字を選択し「掛け算」し、符号をつけた(「遇置換→(+)」「奇置換→(-)」たものを全ての選択パターンで足し合わせる。
「列」で計算しても、「行」で計算しても結果は同じ
「全てが0の列」、もしくは、「すべてが0の行」があれば「行列式」は「0」
「列」を入れ替えたら「行列式」の符号が変わる。「行」を入れ替えても「行列式」の符号が変わる。
全く同じ「行」が2個以上あれば「行列式」は「0」。全く同じ「列」が2個以上あっても「行列式」は「0」
ある「行列」の「行列式」は、その「行列」の1つの「列」(もしくは「行」)を2つに分割して、2つの「行列」の「行列式」の「足し算」にすることができる
ある「行」に違う「行」を「足し引き」しても、「行列式」の結果は変わらない。ある「列」に違う「列」を「足し引き」しても、「行列式」の結果は変わらない。
ある「行(もしくは列)」を「定数倍」した「行列」の「行列式」は、「定数倍」する前の「行列」の「行列式」に定数をかけたものと同じ
2つの「行列」を「掛け算」した結果の「行列」の「行列式」と、それぞれの「行列」の「行列式」を「掛け算」した結果は同じ((\ \left| \mathb{A} \times \mathb{B} \right| = \left| \mathb{A} \right| \times \left| \mathb{B} \right| \))
「連立方程式」の係数を抜き出した「行列」の「行列式」の値が「0」になるということは、元の「連立方程式」が「不良設定問題」である
「逆行列」は「正方行列」かつ「行列式」の値が「0」でない「行列」だけに存在する
「$(-1)^{(i+j)} \times (元の行列からi行目とj列目を取り去った行列) $」を「余因子行列」と呼ぶ
「行列式」は「余因子展開」を使うと、1サイズ小さい「行列」の「行列式」の「足し算」に展開することができる
「逆行列」は「(元の「行列」の「行列式」の逆数)$\times$(x行・y列目の要素が＜元の行列のy行・x列目を取り除いた「余因子行列」の「行列式」＞となる「行列」)」
「階段行列」は上の行から、左側(0の部分を除きます)を1にして、その行より下の行の左側が0になるように適当な数字をかけて足し算・引き算するというのを繰り返して作る
「ランク」はその「行列」の中の独立した行(または列)の数で、「連立方程式」の係数を「行列」にした場合、未知数の数より「ランク」が低ければ「不良設定問題」となる
「符号」のサイズが1行n列、「エラー訂正付符号」のサイズが1行m列のとき、「生成行列」はn行m列になる
「QRコード」で利用される「エラー訂正機能付符号」は「リード・ソロモン符号」と呼ばれるもの
「検査行列」を「エラー訂正機能付符号」に「掛け算」すると結果は「ゼロ行列」になる。逆に「ゼロ行列」にならないと、読み取った「エラー訂正機能付符号」が間違っている
エラー訂正機能のスペックは「n(「エラー訂正機能付符号」の「長さ」)」、「k(実質的に単語を表現する桁数)」、「d(「エラー訂正機能付符号」の間の「最小距離」)」の3つ
エラー訂正機能のスペックの「n(「エラー訂正機能付符号」の「長さ」)」は「検査行列」の行数と同じ
エラー訂正機能のスペックの「k(「実質的に単語を表現する桁数)」は「検査行列」をn行m列だとすると、「n-(検査行列のランク)」となる
同じ仲間の「エラー訂正機能付符号」を2つ用意すると、それらを「引き算」した結果も同じ仲間の「エラー訂正機能付符号」の1つになる
「エラー訂正機能付符号」軍団の中の「最小距離」は、その「エラー訂正機能付符号」軍団の中で最も小さい「ハミング重み」と同じになる
エラー訂正機能のスペックの「d(「エラー訂正機能付符号」の間の「最小距離」)」は「(「検査行列」の「ランク」)+1」以上となる
「シングルトン限界式」は「d(「エラー訂正機能付符号」の間の「最小距離」)」が「n(「エラー訂正機能付符号」の「長さ」)-k(実質的に単語を表現する桁数)+1」以下になること
リード・ソロモンの「検査行列」は、x行y列の要素が$\alpha^{(x-1)(y-1)}$で、xはn行まで、yは2t列までの「行列」
リード・ソロモンの「検査行列」のランクは2t
リード・ソロモンの「検査行列」の特徴は、「エラー訂正機能付符号」の「長さ」はn、実質的に単語を表現する桁数)はn-2t、「エラー訂正機能付符号」の間の「最小距離」は2t+1
「ヴァンデルモンド行列」の行列式は、行列の要素に同じ値のものがなければ「0」にはならない。
受信符号に検査行列を掛け算した結果は、発生したエラーに検査行列を掛けたものと同じになる、「$\boldsymbol{Y} \times \boldsymbol{H} = \boldsymbol{E} \times \boldsymbol{H}$」
「$\boldsymbol{Y} \times \boldsymbol{H} = \boldsymbol{E} \times \boldsymbol{H}$」を展開すると、方程式の数がn個、未知数が2t個の連立方程式になる
リード・ソロモン符号の解き方は、「01.エラーの発生個数」「02.エラーの発生位置」「03.エラーの内容」の3ステップ
$\begin{vmatrix} S_0 & S_1 & \ldots & S_{j-1} \\ S_1 & S_2 & \ldots & S_{j} \\ \vdots & \vdots & \ddots & \vdots \\ S_{j-1} & S_{j} & \ldots & S_{ 2j-2 } \\ \end{vmatrix}$という行列式の$j$の値を$t$から1つずつ減らしていき、初めて行列式の値が「0」以外になった時の$j$がエラーの発生個数になる。
エラーが発生している位置に対応する$\alpha$の「逆数」(つまり、$\alpha^{-p_0},\alpha^{-p_1},\cdots ,\alpha^{-p_{j-2}},\alpha^{-p_{j-1}}$を入力したときだけ「0]を出力する関数を、$\boldsymbol{Y} $と$\boldsymbol{H}$の情報から作ることができ、エラーの位置を求めることができる
エラーの位置が分かった状態であれば、元の「$\boldsymbol{Y} \times \boldsymbol{H} = \boldsymbol{E} \times \boldsymbol{H}$」を普通の連立方程式のように解くことができ、「エラーの内容」を求めることができる
多項式を多項式で割り算することができ、割り算した商を$Q(x)$、余りを$R(x)$とすると、「$f(x) = g(x)Q(x) + R(x)$」と書ける
次数が$f$の多項式を次数が$g$の多項式で割り算すると余りの多項式の次数は$g$未満になる
多項式$f(x)$の解($f(a)=0$となる$a$の値）を使うと、$f(x)=(x-a)R(x)$と因数分解できる（剰余の定理）
多項式$f(x)$は$f(x) = (x-a_1)(x-a_2)(x-a_3) \cdots (x-a_{(n-2)})(x-a_{(n-1)})(x-a_{n})$と因数分解できる（ただし、$a$は複素数になることもある）
$x_0$〜$x_{(n-1)}$を係数にもつ$n-1$次の多項式$f(z)$($f(z)=z^0 x_0 + z^1 x_1 + z^2 x_2 + \cdots + z^{(n-3)} x_{(n-3)} + z^{(n-2)} x_{n-2} + z^{(n-1)}x_{(n-1)})を\((z-\alpha^0)(z-\alpha^1)(z-\alpha^2) \cdots (z-\alpha^{(2t-3)})(z-\alpha^{(2t-2)})(z-\alpha^{(2t-1)})$で割り切ることができれば、$x_0$〜$x_{(n-1)}$はリード・ソロモン符号
メッセージ多項式$(m(z)=z^0 m_0 + z^1 m_1 + z^2 m_2 + \cdots + z^{(k-3)} m_{(k-3)} + z^{(k-2)} m_{(k-2)} + z^{(k-1)}m_{(k-1)})$に$z^{2t}$を掛けて、$(z-\alpha^0)(z-\alpha^1)(z-\alpha^2) \cdots (z-\alpha^{(2t-3)})(z-\alpha^{(2t-2)})(z-\alpha^{(2t-1)})$で割り算した余り$R(z)$の多項式の係数を、元のメッセージ符号に付け加えると、リード・ソロモン符号になる
「01.加法と乗法が定義されている」「02.演算が閉じている」「03.結合法則が成り立つ」「04.単位元がある」「05.逆元がある」「06.可換である」の6個のルールを満たす集合を「体」と呼ぶ

例えば・・・7で割り算した余り

前回の解説では「体」が求める6個のルールをクリアすれば、どんな集合（たとえ数字の1部でも、動物でも）でも、これまで学んだ数学の法則を適用することができるという、ぶっとんだ考え方を披露しました。
今回は、ルールばかり見ていてもわかりづらいので、具体例を見てみましょう。
6個のルールを満たす集合なんて作れるのでしょうか？
あるんです。それもいーーっぱい。世の中には無限にあるんです。その1つは「整数を7で割った余り」の集合があります。

具体的には「0,1,2,3,4,5,6」の7個の要素からなる集合です。これを「7で割った余りの集合」(←まんまかい！)と呼びましょう。
この「体」の「加法」は「普通の整数の足し算と同じように足し算した結果が7より大きくなった場合は、普通の整数の割り算と同じように7で割り算した余りを結果とする」というものです。
例えば、「$6+5$」は普通の足し算と同じように足すと結果は「$11$」となって$7$より大きくなるので、「$11$」を普通の整数の割り算と同じように$7$で割ると、余りは「$4$」となります。つまり、「$6+7=4$」ということになります。
同様に「乗法」は「普通の整数の掛け算と同じように掛け算した結果が7より大きくなった場合は、普通の整数の割り算と同じように7で割り算した余りを結果とする」というものです。
例えば、「$6 \times 5$」は普通の掛け算と同じように足すと結果は「$30$」となって$7$より大きくなるので、「$30$」を普通の整数の割り算と同じように$7$で割ると、余りは「$2$」となります。だから「7で割った余りの集合」では「$6 \times 5=2$」となります。とっても変な気がしますね。

でも、このような「加法」と「乗法」の定義であれば「整数を7で割った余り」の集合は「体」となります。
「体」というからには本当に6個のルールを満たしているでしょうか？
ルールその01は「足し算」と「掛け算」を定義しているので、クリアです。ルールその02は、「足し算」の場合も「掛け算」の場合も、普通の整数のように計算した後、普通の整数のように$7$で割り算した余りを求めるので、必ず結果は「0,1,2,3,4,5,6」のどれかになります。つまり、「足し算」や「掛け算」をした結果は集合の中で閉じているのでクリアしています。
。ルールその03、04、06は普通の整数のように当然成り立ちますよね。(←面倒くさがって詳しいことは書いていないですが、直感的にわかりそうですよね)
ちなみに、単位元は加法では0で、乗法では1になります。

そしてルール05を見てみましょう。
加法についての逆元ですが、「1,2,3,4,5,6」のそれぞれの逆元は「6,5,4,3,2,1」となります。実際にそれぞれ足し算してみると、すべての結果が「$0$(加法の単位元)」となることがわかります。
次に乗法についての逆元ですが、「1,2,3,4,5,6」のそれぞれの逆元は「1,4,5,2,3,6」となります。実際にそれぞれ掛け算してみると、すべての結果が「$1$(乗法の単位元)」となることがわかります。

このように、「7で割った余りの集合」は見事、「体」となります。
まだ、ピンとこないかもしれませんが、「7で割った余りの集合」が「体」ということが分かったので、これを今まで解説してきたことに適用できます。

「行列式の特徴」の全く同じ行があれば行列式は0が成り立つか？

何でもよいのですが、とりあえず今まで解説してきたことが成り立つかどうかためすために、次の行列の行列式を計算してみましょう。
ただし、加法・乗法の計算方法は「7で割った余りの集合」で導入した方法です。
$$ \begin{vmatrix 6 & 5 & 4 & 2 \\ 3 & 1 & 6 & 5 \\ 4 & 1 & 4 & 2 \\ 6 & 5 & 4 & 2 \\ \end{vmatrix} $$ 4行4列なので、各列から1つずつ（かつ他の列と同じ行にならないように）取り出す方法は、「$4 \times 3 \times 2 \times 1 = 24$」通りありますので、全パターンを書いてみましょう。
(以下、(1,3,2,4)と書いた場合は、1列目から1行目の数字を、2列目から3行目の数字を、3列目から2行目の数字を、4列目から4行目の数字を取り出すという意味です)

(1,2,3,4)の場合（遇置換） $+1 \times 6 \times 1 \times 4 \times 2 = 6$
(1,2,4,3)の場合（奇置換） $-1 \times 6 \times 1 \times 4 \times 2 = 1$
(1,3,2,4)の場合（奇置換） $-1 \times 6 \times 1 \times 6 \times 2 = 5$
(1,3,4,2)の場合（遇置換） $+1 \times 6 \times 1 \times 4 \times 5 = 1$
(1,4,3,2)の場合（奇置換） $-1 \times 6 \times 5 \times 4 \times 5 = 2$
(1,4,2,3)の場合（遇置換） $+1 \times 6 \times 5 \times 6 \times 2 = 3$
(2,1,3,4)の場合（奇置換） $-1 \times 3 \times 5 \times 4 \times 2 = 6$
(2,1,4,3)の場合（遇置換） $+1 \times 3 \times 5 \times 4 \times 2 = 1$
(2,3,1,4)の場合（遇置換） $+1 \times 3 \times 1 \times 4 \times 2 = 3$
(2,3,4,1)の場合（奇置換） $-1 \times 3 \times 1 \times 4 \times 2 = 4$
(2,4,3,1)の場合（遇置換） $+1 \times 3 \times 5 \times 4 \times 2 = 1$
(2,4,1,3)の場合（奇置換） $-1 \times 3 \times 5 \times 4 \times 2 = 6$
(3,2,1,4)の場合（奇置換） $-1 \times 4 \times 1 \times 4 \times 2 = 3$
(3,2,4,1)の場合（遇置換） $+1 \times 4 \times 1 \times 4 \times 2 = 4$
(3,1,2,4)の場合（遇置換） $+1 \times 4 \times 5 \times 6 \times 2 = 2$
(3,1,4,2)の場合（奇置換） $-1 \times 4 \times 5 \times 4 \times 5 = 6$
(3,4,1,2)の場合（遇置換） $+1 \times 4 \times 5 \times 4 \times 5 = 1$
(3,4,2,1)の場合（奇置換） $-1 \times 4 \times 5 \times 6 \times 2 = 5$
(4,2,3,1)の場合（奇置換） $-1 \times 6 \times 1 \times 4 \times 2 = 1$
(4,2,1,3)の場合（遇置換） $+1 \times 6 \times 1 \times 4 \times 2 = 6$
(4,3,2,1)の場合（遇置換） $+1 \times 6 \times 1 \times 6 \times 2 = 2$
(4,3,1,2)の場合（奇置換） $-1 \times 6 \times 1 \times 4 \times 5 = 6$
(4,1,3,2)の場合（遇置換） $+1 \times 6 \times 5 \times 4 \times 5 = 5$
(4,1,2,3)の場合（奇置換） $-1 \times 6 \times 5 \times 6 \times 2 = 4$

そして、これらの結果を全部足します。
$$ 6+1+5+1+2+3+6+1+3+4+1+6+3+4+2+6+1+5+1+6+2+6+5+4=84=0 $$ ほら。ちゃんと結果は「0」になったでしょ？
一例をあげただけですが、ちゃんとこれまで解説したことが成り立っていることが実感できたのではないでしょうか？

なぜ？どーして成り立つの？
繰り返しになりますが、今まで解説した内容というのは、ルールの01〜06に書かれている内容を前提にしているだけだから、私たちが普段扱っている数字以外のものを使ってもルール1〜6さえ成り立っていればこれまで学習したことがちゃんと通用するのです。
例えば、今まで解説した中に「3は2よりも大きい」という性質を使って証明したものが混じっていたとします。
実は、もしこのような性質を使ったものがあったら、これは「7で割った余りの集合」では通用しない場合があります。だって、「3は2よりも大きい」というのはルール01〜06までにないものですし、「7で割った余りの集合」には当てはまらないものです。

ちなみに、どんな割り算の余りでも「体」になるの？
先ほどは$7$で割り算した余りを使うと「体」ができることを見ました。では、$4$で割り算した余りは(0,1,2,3)「体」になるのでしょうか？
結論を言うと、実はなりません。
というのも、ルール05の逆元の存在をクリアできないのです。「乗法」の逆元がないものがあるのです。
(ちなみに、この体の掛け算は、「普通の整数のように掛け算をした結果を、普通の整数と同じように4で割り算した余り」と定義しています)
$1$の逆元は$1$です。$3$の逆元は$3$です。(皆さんも計算してみてくださいね)
でも、$2$の逆元がないのです。$2$に$1$をかけても、$2$をかけても、$3$をかけても掛け算の単位元「$1$」にはなりません。
つまり、$4$で割った余りの集合は「体」にはならないのです。

なんでもかんでも「体」になるわけではいんですね。
ここでは本題から外れるので、深く解説はしませんが、「割り算の余り」系で体になるのは割る数が「素数」の場合だけなのです。
「素数」というのは、「1とその数自身でしか割り切れない」数字のことで、2,3,5,7,11,13,17,19,$\cdots$等があります。
先ほどの「7で割り算した余り」の集合が「体」となったのは「7」が素数だったからです。
(素数以外で割った余りは、先ほどの例の様に「掛け算の逆数がない要素がある」という事態が発生してしまうのです)

ここまでの不思議体験について、少しはご納得いただけたでしょうか？他のエラー訂正に関係する計算も、同じように「7で割った余りの集合」で定められている「加法」「乗法」のルールに沿って計算すると、ちゃんとエラーを訂正することができます。
ただし、メッセージやその他の数字には「0,1,2,3,4,5,6」しか使うことができません。
でも、もしメッセジーが「0,1,2,3,4,5,6」の7種類しかなくてよいのであればとってもシンプルな計算でエラー訂正ができて楽だと思いません？
これが、「体」の素晴らしいところです。
ところが、現実のQRコードでは7種類だけの表現能力ではさみしいので、もう少し大きな数を使っています。
次回からはその内容について解説していきます！！