Pauli matrices
パウリ行列は以下のものである。