スレイター行列式
Consider the Slater determinant