471位DPLLアルゴリズム推定知名度 0.16%Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、Davis-Putnam-Logemann-Loveland algorithm…
472位カルタン・デュドネの定理推定知名度 0.15%数学において、カルタン・デュドネの定理（カルタンデュドネのていり、Cartan–Dieudonné theorem、名前はエリ・カルタン、ジャン・デュドネに由来している）とは、…
473位サンダラムの篩推定知名度 0.15%サンダラムの篩（サンダラムのふるい、Sieve of Sundaram）は、指定された整数以下の全ての素数を発見するための単純な決定的アルゴリズムである。これは1934年にサス…
474位佐武一郎推定知名度 0.15%佐武 一郎（さたけ いちろう、1927年 - 2014年10月10日）は、日本の数学者。山口県出身。カリフォルニア大学バークレー校名誉教授。東北大学名誉教授。理学博士。専門は微…
475位線形分類器推定知名度 0.15%線形分類器（Linear classifier）は、特徴の線形結合の値に基づいて分類を行う確率的分類器である。機械学習において、分類は項目群を特徴値に基づいてグループに分類する…
477位戴煦推定知名度 0.15%戴 煦（たい く、Dai Xu、1805年 - 1860年）。字は鄂士、号は鶴墅。清末の数学者。浙江省銭塘（現在の杭州市）出身。戴熙の弟。貢生となり、数学の研究に没頭した。数学…
478位岩堀長慶推定知名度 0.15%岩堀 長慶（いわほり ながよし、1926年 - 2011年5月29日）は、日本の数学者。東京大学名誉教授。専門は表現論。ヘッケ環(Iwahori-Hecke algebra)、…
479位制約充足問題推定知名度 0.15%制約充足問題（せいやくじゅうそくもんだい、Constraint satisfaction problem, CSP）は、複数の制約条件を満たすオブジェクトや状態を見つけるという…
480位関数方程式推定知名度 0.14%数学、及びその応用分野において、関数方程式（かんすうほうていしき、functional equation）は、単一の（または複数の）関数のある点と他の点での値の関係を示す方程式…
DPLLアルゴリズム推定知名度 0.16%Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、Davis-Putnam-Logemann-Loveland algorithm…DPLLアルゴリズム推定知名度 0.16%Davis-Putnam-Logemann-Lovelandアルゴリズム（DPLLアルゴリズム、Davis-Putnam-Logemann-Loveland algorithm…
