論理代数の名前を変更します。