命名規則の訂正、型推論、URL一覧を更新