形式化(読み)けいしきか

世界大百科事典(旧版)内の形式化の言及

【形式言語】より


【言語の形式化】
人間の言語能力は,問題を解決するときの推理,推論や,社会的な連携のためのコミュニケーションの底流をなすものである。事実,われわれは数字と演算記号を援用して計算をし,文字と記号によって三段論法などの推論を記述し,かつ,音韻を連ねて音声を発し,字を並べて文をつづっている。…

※「形式化」について言及している用語解説の一部を掲載しています。

出典|株式会社平凡社「世界大百科事典(旧版)」

機械メーカー。トヨタグループの総本家で,繊維機械のほかトヨタ自動車からの小型商用車の受託生産,エンジンその他の自動車部品,フォークリフトなどの産業用車両の生産も行なう。1926年豊田佐吉が,みずから発...

豊田自動織機の用語解説を読む