ページ名の変更

weakly semi-R_0の名前を変更します。