ログインすると広告が減り、学習に集中できます。
広告
検索結果- 英語 - 多言語
type theory
名詞
不可算名詞
通常
(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.
日本語の意味
型理論：数学的論理学や計算機科学における理論体系で、型（データや式の分類）に関する概念とその応用を研究する分野
英語の意味
(mathematics, computer science) A branch of mathematical logic and theoretical computer science concerned with types.
関連語
type theories
名詞
活用形
複数形
plural of type theory
原形:
type theory
日本語の意味
「型理論」の複数形
英語の意味
plural of type theory
