server10の名前を変更します。