用語

J-GLOBAL ID：200906008548398824

型理論

電子計算機
同義語 (1件)：

タイプ理論 (type theory)
タイプ理論について
- 「タイプ理論」ですべてを検索

関連語 (1件)：

データ型 (data type)
データ型について
- 「データ型」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

プログラム理論 (program theory)
プログラム理論について
- 「プログラム理論」ですべてを検索
- この用語の用語情報を見る

下位語 (1件)：

部分型付 (subtyping)
部分型付について
- 「部分型付」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM