「Computer Science」を解説文に含む見出し語の検索結果(241～250/5229件中)
三文字頭字語（さんもじとうじご、three-letter acronym）または三文字略語（さんもじりゃくご、three-letter abbreviation）、略して TLA は、（主としてラテン...
別表記：ポリモーフィズム「polymorphism」の意味・「polymorphism」とは「polymorphism」とは、英語で「多形性」という意味である。情報科学の分野では、同一のインターフェー...
別表記：ポリモーフィズム「polymorphism」の意味・「polymorphism」とは「polymorphism」とは、英語で「多形性」という意味である。情報科学の分野では、同一のインターフェー...
TPTP (Thousands of Problems for Theorem Provers)[1] とは自由に利用可能な自動定理証明のための問題集である。これは自動推論アルゴリズム...
TPTP (Thousands of Problems for Theorem Provers)[1] とは自由に利用可能な自動定理証明のための問題集である。これは自動推論アルゴリズム...
ギルモアのアルゴリズム（英: Gilmore's algorithm）は、エルブランの定理にもとづき一階述語論理式が充足不能（unsatisfiable）かどうかを調べる半アルゴリズム（sem...
ナビゲーションに移動検索に移動ジェネリックグループモデル(generic group model)[1] [2]は、暗号理論において用いられる群 (数学)を理想化したモ...
ナビゲーションに移動検索に移動ジェネリックグループモデル(generic group model)[1] [2]は、暗号理論において用いられる群 (数学)を理想化したモ...
ラルフ・C・マークル (2007)ラルフ・C・マークル（英: Ralph C. Merkle、1952年2月2日 - ）は、公開鍵暗号の開発者の一人であり、最近では分子ナノテクノロジーと人体冷凍保存の...
ラルフ・C・マークル (2007)ラルフ・C・マークル（英: Ralph C. Merkle、1952年2月2日 - ）は、公開鍵暗号の開発者の一人であり、最近では分子ナノテクノロジーと人体冷凍保存の...