Similar to 後者関数
アッカーマン関数
Ackermann function
線形論理
Linear logic
利用者:200z/sandbox5
911番
911 (emergency telephone number)
C23 (C言語)
C23 (C standard revision)
QR分解
QR decomposition
アルファシェイプ
Alpha shape
0の0乗
Zero to the power of zero
暗算
Mental calculation
スーダン関数
Sudan function
2の冪
Power of two
紀元前13世紀
13th century BC
第1海兵歩兵落下傘連隊 (フランス軍)
1st Marine Infantry Parachute Regiment
第1軍団 (韓国陸軍)
I Corps (South Korea)
10.5インチiPad Pro
1の分割
Partition of unity
Annals of Mathematics
Annals of Mathematics
Axiom (数式処理システム)
Axiom (computer algebra system)
Brilliant.org
Brilliant (website)
アリティ
Arity
型理論
Type theory
カット除去定理
Cut-elimination theorem
議論領域
Domain of discourseクレイグの補間定理
Craig interpolation
恒真式
Tautology (logic)
ハイティング代数
Heyting algebraハルモス代数
Polyadic algebra
プリンキピア・マテマティカ
Principia Mathematica