型理論
意味
- 女性名詞 型理論
例文
Die Typentheorie untersucht die Eigenschaften mathematischer Typen.
コアイメージ
対象に種類という境界線を引き、同じ種類のものだけを正しく組み合わせる考え方
ドイツ語での定義
Eine mathematische Theorie, in der Objekte nach ihren Typen unterschieden und die Eigenschaften dieser Typen untersucht werden.
語源
Typentheorieは、TypenとTheorieの複合語で、Typenは種類、Theorieは理論を表す
コラム
- 数学だけでなく、証明支援ソフトでも使われ、数や命題などを種類として区別する基盤になる
おすすめの単語帳
1 / 1