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