:i/矛盾を探す方法の名前を変更します。