(a b c)の名前を変更します。