SYNからCOQへ交換|SimpleSwapでSynapseからCoq Inuへ変換