「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日 - )は、公開鍵暗号の開発者の一人であり、最近では分子ナノテクノロジーと人体冷凍保存の...