型理論的日文

• 类型论

• 理論:    りろん 1 理論 【名】 理论
• 微型理论:    マイクロ理論マイクロりろん
• 翼型理论:    よくりろん
• 醌型理论:    キノンせつキノン説
• 标准模型理论:    標準模型

例句与用法

1. を型理論的に表すと次のようになる。
2. 階型理論（Theory of Types）とも。
3. 型理論は自然言語の意味論の理論構築にもよく使われる。
4. 二階述語論理もさらに高階述語論理や型理論に拡張される。
5. ただし、型理論そのものは自然数の定義を前提とはしていない。
6. ST は型理論が公理的集合論と似ていることを明らかにした。
7. 型理論の出発点は集合論だが、その公理、存在論、用語は異なる。
8. 数理論理学を使った型システムの設計および研究を型理論という。
9. 型理論の詳細はホワイトヘッドとラッセルの 『数学原理』にある。
10. 構造証明論は、カリー＝ハワード同型対応によって型理論とも関連している。