Slater determinant
スレイター行列式は規格化されており、そのノルムは1である。