Slater determinant
この式はラベルの交換に対して反対称性を満たしている（スレイター行列式を参照）。この式は軌道部分とスピン部分に分けて