421位抽象構文木推定知名度 0.24%抽象構文木（abstract syntax tree、AST）とは、通常の構文木（具象構文木あるいは解析木とも言う）から、言語の意味に関係ない情報を取り除き、意味に関係ある情報…
422位神保雅一推定知名度 0.23%神保 雅一（じんぼう まさかず、1951年 - ）は日本の数学者。理学博士。名古屋大学大学院情報科学研究科計算機数理科学専攻教授。専門は離散数学、計算機科学、統計学、暗号理論、…
423位正則性公理推定知名度 0.23%正則性公理（せいそくせいこうり、axiom of regularity）は、別名基礎の公理（きそのこうり、axiom of foundation） とも呼ばれ、ZF公理系を構成…
424位トラレスのアンテミオス推定知名度 0.23%トラレスのアンテミオス（Ανθέμιος από τις Τράλλεις, 474年 - 534年）は、東ローマ帝国の数学者および建築家。ハギア・ソフィア大聖堂の建築家として…
426位フォード・ファルカーソンのアルゴリズム推定知名度 0.23%フォード・ファルカーソンのアルゴリズム（Ford-Fulkerson algorithm）とは、フローネットワークにおける最大フローを求めるアルゴリズムである。 と にちなんで…
428位本間龍雄推定知名度 0.23%本間 龍雄（ほんま たつお、1926年1月 - ）は日本の数学者、理学博士。専門は位相幾何。東京工業大学で皆川多喜造に数学を学び1948年卒業。1953年湯川フェローシップによ…
429位重川一郎推定知名度 0.22%重川 一郎（しげかわ いちろう、1953年7月 - ）は日本の数学者。京都大学教授、理学博士。専門は確率論。マリアヴァン解析の研究で知られる。渡辺信三の弟子にあたる。
430位ミラー–ラビン素数判定法推定知名度 0.22%ミラー–ラビン素数判定法（Miller–Rabin primality test）またはラビン–ミラー素数判定法（Rabin–Miller primality test）は、与…
抽象構文木推定知名度 0.24%抽象構文木（abstract syntax tree、AST）とは、通常の構文木（具象構文木あるいは解析木とも言う）から、言語の意味に関係ない情報を取り除き、意味に関係ある情報…抽象構文木推定知名度 0.24%抽象構文木（abstract syntax tree、AST）とは、通常の構文木（具象構文木あるいは解析木とも言う）から、言語の意味に関係ない情報を取り除き、意味に関係ある情報…
