ページ名の変更

(a,b)^r-compactの名前を変更します。