形式科学
formal science
合理主義哲学
形式言語
形式手法
形式体系
抽象化
(計算機科学)
抽象化
数理モデル
学問の一覧
数学
数理科学
計算科学
https://ja.wikipedia.org/wiki/形式科学