KPPの利用できる対称性を部分写像に分解して捉えようとするのは筋が悪かったっぽいorz*1 正直、 KPP[OUPosB][PPos][PSpec][PPos'][PSpec'] = KPP[OUPosB][PPos'][PSpec'][PPos][PSpec] = KPP[fh(OUPosB)][fh(PPos)][PSpec][fh(PPos')][PSpec'] = KPP[fh(OUPo…