循環論法の名前を変更します。