Similar to 後者関数
アッカーマン関数
Ackermann function線形論理
Linear logic利用者:200z/sandbox5
6PPD
6PPD911番
911 (emergency telephone number)BFGS法
Broyden–Fletcher–Goldfarb–Shanno algorithmC23 (C言語)
C23 (C standard revision)CYP1A1
CYP1A1DBSCAN
DBSCANDeletionpedia
DeletionpediaDistributed-queue dual-bus
Distributed-queue dual-busDjot
L-BFGS法
Limited-memory BFGSQR分解
QR decompositionアインシュタイン・タイル
Einstein problem0の0乗
Zero to the power of zeroスーダン関数
Sudan function2の冪
Power of two▼-1 trends第1軍団 (韓国陸軍)
I Corps (South Korea)10.5インチiPad Pro
1の分割
Partition of unityAxiom (数式処理システム)
Axiom (computer algebra system)Brilliant.org
Brilliant (website)アリティ
Arity型理論
Type theoryカット除去定理
Cut-elimination theorem議論領域
Domain of discourseクレイグの補間定理
Craig interpolation