:i/いろいろな記法の名前を変更します。