パウリ行列
パウリ行列により、四元数の2次正方行列表現を与えることができる。