SINからCOQへ交換|SimpleSwapでSinverseからCoq Inuへ変換