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