Category:定義
定義
Definition
内包と外延
Intension
多重定義
Function overloading
循環定義
Circular definition外延的定義と内包的定義
Extensional and intensional definitions
自己整合語
Autological word利用者定義演算子
Operator overloading
説得的定義
Persuasive definition
定義如来
文書スキーマ定義言語
Document Schema Definition Languages
パターンファイル
稠密に定義された作用素
Densely defined operatorインタフェース定義言語
区分的に定義される函数
定義定数
有効定義域
オブジェクト定義言語
集合の定義函数
説得的擬似定義
定義域 (データベース)
Data domain
定義集 (プラトン)
Definitions (Plato)
文書型定義
宗像 (広域定義)
ユーザー定義関数
ソフトウェア定義
Software-defined▲1 trends
要件定義
内包
順序数定義可能集合
Ordinal definable set