Slater determinant
とスレイター行列式（Λ は反対称化演算子）