「形式化」のコアイメージコアイメージ
考えや問題を、誰が見ても同じように扱える記号と規則へ変換する流れ
「形式化」の中国語での定義中国語での定義
「形式化」の語源語源
形式化は、「形式」と「化」から成り、「形式」が決まった表し方、「化」がその状態に変えることを示し、内容を一定の記号体系や規則に移す意味を持つ語
「形式化」のコラムコラム
- 数学やコンピューターの分野では、自然な言葉だけでは解釈が分かれる条件を数式や論理式に変える作業を形式化と呼び、後の検証や自動処理につなげる用法が多い
「形式化」は英語では
- 「形式化する」 → formalize和英辞典で見る
- 「定式化する」 → enounceformularise和英辞典で見る