ページ名の変更

無限ミクの名前を変更します。