Slater determinant
formula_2 をハートレー・フォック型波動関数、すなわちスレイター行列式とする。