数理解析の名前を変更します。