Similar to Nullable型
DA (レーダー)
利用者:Dai2chi/ESPゲーム
利用者:Daisuke tyo/sandbox
DALL-E
DALL-E
利用者:にゃんぱっぱ/sandbox
Dart
Dart (programming language)
Darwin Information Typing Architecture
Darwin Information Typing Architecture
DBD
DBD
DCA寒天培地
DCA agar
DCI-P3
DCI-P3
DDIT3
DNA damage-inducible transcript 3
Deb (ファイルフォーマット)
Deb (file format)
型理論
Type theorySystem F
System F
値 (計算機科学)
Value (computer science)
依存型
Dependent typeカインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型推論
Type inference
型付きラムダ計算
Typed lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence
共変性と反変性 (計算機科学)
Type varianceサブタイピング (計算機科学)
Subtyping
始代数
Initial algebra住性 (型理論)
Type inhabitation
順序対
Ordered pair
新基礎集合論
New Foundations