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