形式化
#Fleeting_Notes
形式化(formalization)
「形式化」とは、定理の証明の各ステップで、どの推論規則や公理が使われたかを例外なく全て記録すること
ref: 『証明支援系を用いたトポロジーの形式化について』
確認用
Q. 形式化
調査用
Google.icon 形式化(日)
Google.icon Formalization(英)
Wikipedia.icon
形式化 - Wikipedia(日)
形式化(検索) - Wikipedia(日)
Wikipedia.icon
Formalization - Wikipedia(英)
Formalization(検索) - Wikipedia(英)