知識科学基礎/新規性1の名前を変更します。