Similar to リスコフの置換原則
CGS ジャカードフォーマット
Common Object Request Broker Architecture
Common Object Request Broker Architecture
Component Object Model
Component Object Model
Dvorak配列
Dvorak keyboard layout▲1 trends
GAMESS (UK)
GAMESS (UK)
GNOME パネル
GNOME Panel
Inter-IC Sound
I²S
GRASP
GRASP (object-oriented design)
SOLID
SOLID
開放/閉鎖原則
Open–closed principle
デメテルの法則
Law of Demeter
コマンドクエリ分離
Command–query separation
型理論
Type theory
Nullable型
Nullable type
Option型
Option typeSystem F
System F
値 (計算機科学)
Value (computer science)
依存型
Dependent typeカインド (型理論)
Kind (type theory)
型クラス
Type class
型消去
Type erasure
型推論
Type inference
型付きラムダ計算
Typed lambda calculus
カリー＝ハワード同型対応
Curry–Howard correspondence
始代数
Initial algebra住性 (型理論)
Type inhabitation
順序対
Ordered pair
新基礎集合論
New Foundations