Category:離散数学
クヌース・ベンディックス完備化アルゴリズム
Knuth–Bendix completion algorithm階乗冪
Falling and rising factorials中村ナンバー
Nakamura numberQ超幾何級数
Basic hypergeometric seriesマッカーシーの91関数
McCarthy 91 functionビンパッキング問題
Bin packing problem有限集合
Finite set組合せ数学
Combinatorics一般化された超幾何関数
Generalized hypergeometric function計算理論
Theory of computationハミング距離
Hamming distance決定理論
Decision theory関係モデル
Relational model情報理論
Information theory離散数学
Discrete mathematicsレーベンシュタイン距離
Levenshtein distanceアルゴリズム
Algorithm