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