ページ名の変更

百科事典とはの名前を変更します。