非均質退化を持つ完全非線形整数微分方程式の正則性の評価 | Synapse