2019-05-30 ドメイン 多義語 圏論のドメイン ドメイン理論のドメイン ドメイン付きクリーネ代数のドメイン データベースのドメイン 回避案 圏論のドメイン/コドメイン → ソース/ターゲット ドメイン理論のドメイン → (なし) ドメイン付きクリーネ代数のドメイン → 制限〈restriction〉 データベースのドメイン → 基本値型