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