531位ディリクレの単数定理推定知名度 0.05%数学において、ディリクレの単数定理(Dirichlet's unit theorem)は、ペーター・グスタフ・ディリクレ(Peter Gustav Dirichlet)による代…
532位有限モデル理論推定知名度 0.05%有限モデル理論（英: Finite model theory）とは、モデル理論の一種であり、一階述語論理などの論理言語を有限構造（有限群、グラフ、データベース、多くの計算模型な…
533位パースの法則推定知名度 0.05%パースの法則（パースのほうそく）は哲学者であり論理学者であるチャールズ・サンダース・パースにちなむ論理学における法則である。彼の最初の命題論理の公理化において、この法則を公理に…
535位エルブランの定理推定知名度 0.05%エルブランの定理（Herbrand's theorem）は1930年にジャック・エルブランが発表した数理論理学上の基本定理である。エルブランの定理は様々な表現方法があるが、単純…
538位セシィ–ウルマン法推定知名度 0.05%セシィ–ウルマン法（英: Sethi–Ullman algorithm）とは、コンパイラにおいて数式に対応したコードを生成する際に、必要な命令数やレジスタ数を最小にするアルゴリ…
539位FFTPACK推定知名度 0.05%FFTPACK(FFTパック)は、 高速フーリエ変換のためのFORTRAN サブルーチンパッケージである。FFTPACKは複素数と実数、サイン、コサイン、1/4波の高速フーリエ…
ディリクレの単数定理推定知名度 0.05%数学において、ディリクレの単数定理(Dirichlet's unit theorem)は、ペーター・グスタフ・ディリクレ(Peter Gustav Dirichlet)による代…ディリクレの単数定理推定知名度 0.05%数学において、ディリクレの単数定理(Dirichlet's unit theorem)は、ペーター・グスタフ・ディリクレ(Peter Gustav Dirichlet)による代…
