型理論的日文

• 类型论

• 理論    りろん 1 理論 【名】 理论
• 微型理论    マイクロ理論マイクロりろん
• 翼型理论    よくりろん
• 醌型理论    キノンせつキノン説
• 标准模型理论    標準模型
• 理論形    りろんがた理论轮廓。
• はり理論    梁理论
• ひずみ理論    张力学说；应变学说
• ふく射理論    辐射理论
• カオス理論    混沌理论
• ガイア理論    盖亚假说
• ガロア理論    伽罗瓦理论
• クィア理論    酷儿理论
• グラフ理論    图（形理）论；图形论
• ゲージ理論    规范场论
• ゲーム理論    对策（理）论；博奕论；博弈论；对策论
• サーボ理論    伺服机构理论；伺服理论
• ネット理論    网格理论
• ヒット理論    击中学说；打击理论
• ビーム理論    梁理论
• フック理論    钩理论
• 万物の理論    万有理论
• 共形場理論    共形场论
• 型的    モーダル
• 型清浄剤    かたせいじょうざい模型清洁剂。
• 型砂    鋳物用の砂型を作るのに用いる砂.

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