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