HATからCOQへ交換|SimpleSwapでTop HatからCoq Inuへ変換