501位フロイドの循環検出法推定知名度 0.11%フロイドの循環検出法（英: Floyd's cycle-finding algorithm）とは、任意の数列に出現する循環を検出するアルゴリズムである。任意の数列とは、例えばデ…
502位バウム＝ウェルチアルゴリズム推定知名度 0.11%バウム＝ウェルチアルゴリズム（英: Baum-Welch algorithm）とは、隠れマルコフモデル (HMM) の未知のパラメータを推定するアルゴリズムであり、音声や遺伝子…
503位中川健治推定知名度 0.11%中川 健治（なかがわ けんじ、1957年1月 - ）は日本の数学者、工学者。理学博士。長岡技術科学大学工学部電気電子情報系教授。専門は待ち行列、確率論、情報理論、通信･ネットワ…
504位ワニのパラドックス推定知名度 0.1%ワニのパラドックスは、自己言及のパラドックスのひとつ。人食いワニのジレンマともいわれる。このパラドックスは、不思議の国のアリスの作者として知られる数学者ルイス・キャロルが創作し…
505位カリーのパラドックス推定知名度 0.1%カリーのパラドックス（Curry's paradox）は、素朴集合論や素朴論理学で見られるパラドックスであり、自己言及文といくつかの一見問題ない論理的推論規則から任意の文が派生…
506位デービス・パトナムのアルゴリズム推定知名度 0.1%デービス・パトナムのアルゴリズム（Davis–Putnam algorithm）は、与えられた論理式の充足可能性を調べるアルゴリズムで、連言標準形で表現された命題論理式を対象と…
507位衝突判定推定知名度 0.1%衝突判定（しょうとつはんてい、Collision Detection）とは、コンピュータゲームや物理シミュレーション、計算幾何学などの分野において、ある物体が別の物体に当たった…
508位最近傍法推定知名度 0.1%最近傍法（さいきんぼうほう、英: nearest neighbor algorithm）とは、巡回セールスマン問題を解くのに使われた最初のアルゴリズムの1つ。素早く短い経路を求…
509位最大値最小値定理推定知名度 0.09%初等解析学における最大値・最小値の定理または最大値の定理（さいだいちのていり、extreme value theorem; 極値定理）は、実数値函数 f が有界閉区間 上で連続…
510位ソロベイ–シュトラッセン素数判定法推定知名度 0.09%ソロベイ–シュトラッセン素数判定法は、とによって開発された、与えられた数が合成数か擬素数か判定する確率的テストである。現在ではやミラー-ラビン素数判定法にとって代わられているが…
フロイドの循環検出法推定知名度 0.11%フロイドの循環検出法（英: Floyd's cycle-finding algorithm）とは、任意の数列に出現する循環を検出するアルゴリズムである。任意の数列とは、例えばデ…フロイドの循環検出法推定知名度 0.11%フロイドの循環検出法（英: Floyd's cycle-finding algorithm）とは、任意の数列に出現する循環を検出するアルゴリズムである。任意の数列とは、例えばデ…
