型理論的日文

例句与用法

更多例句：  上一页    下一页
1. その他の違いとして、基盤となる型理論で許されている型構築の違いがある。
2. この Haskell の List 型を型理論の別の形式で表すと、次のようになる。
3. 領域理論はモデル理論からの派生と見ることもでき、そこから型理論や圏論とも関連付けられる。
4. これは手続き的かつオブジェクト指向言語ではオブジェクトやクラスの型理論的意味論問題を生じる。
5. 型理論的に厳密な型適用をしている言語は少なく、多くの言語はそれなりの型システムを採用している。
6. 以下ではモンタギュー文法の内包論理（型理論と様相論理を折衷したもの）での型を例として説明する。
7. 推論型理論回路が組み込まれており、外見上は人間と同一のものであるが完全なる兵器として利用された。
8. カテゴリカル?ロジックは現在、型理論に基づいて、直観主義的論理のためにうまく定義された分野である。
9. ST は『数学原理』の型理論に比べて単純であり、任意の関係の議論領域は全て同じ型でなければならない。
10. 型理論には他にも New Foundations や Scott-Potter set theory がある。