ページ名の変更

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