431位導出原理推定知名度 0.22%導出原理（どうしゅつげんり、resolution principle）とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証…
433位アンドレ＝ルイ・コレスキー推定知名度 0.22%アンドレ＝ルイ・コレスキー（André-Louis Cholesky、1875年10月15日 - 1918年8月31日）は、フランスの数学者・軍人（技術士官）。業績にコレスキー…
434位岡部靖憲推定知名度 0.22%岡部 靖憲（おかべ やすのり、1943年 - 2011年11月19日）は、日本の数学者。北海道大学理学部数学教室教授、東京大学工学部計数工学教室教授、明治大学先端数理科学研究科…
436位トポロジカルソート推定知名度 0.22%トポロジカルソート（topological sort）とは、グラフ理論において、有向非巡回グラフ（directed acyclic graph, DAG）の各ノードを順序付けし…
437位華コウ芳推定知名度 0.22%華 蘅芳（か こうほう、Hua Hengfang、1833年 - 1902年）。華衡芳とも書く。字は若汀。清末の数学者。江蘇省金匱（現在の無錫市）出身。幼時より数学を好み、14…
438位淡中忠郎推定知名度 0.21%淡中 忠郎 （たんなか ただお、1908年12月27日 - 1986年10月25日 ）は日本の数学者。専門は代数学。愛媛県生まれ。1945年東北帝国大学教授、後に東北学院大学教…
439位ゲーデルの完全性定理推定知名度 0.21%数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、Gödel's completeness theorem、Gödelscher Vollständigke…
440位逐次最小問題最適化法推定知名度 0.21%逐次最小問題最適化法（Sequential Minimal Optimization, SMO）はサポートベクターマシン（SVM）の訓練で生じる（QP）を解くためのアルゴリズム…
導出原理推定知名度 0.22%導出原理（どうしゅつげんり、resolution principle）とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証…導出原理推定知名度 0.22%導出原理（どうしゅつげんり、resolution principle）とは、により1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証…
