ページ名の変更

星界探索の名前を変更します。