COQからWOLFへ交換|SimpleSwapでCoq InuからLandwolfへ変換