Similar to カリー化
アンサンブルカルマンフィルタ
Ensemble Kalman filter暗数
Dark figure of crime安全素数
Safe primeイゴール・アンゾフ
Igor Ansoff安定曲線
Stable curve安定結婚問題
Stable marriage problem安定写像
Stable map安定性理論
Stability theory安定多様体
Stable manifold安定分布
Stable distribution安定ホモトピー理論
Stable homotopy theory▼-1 trendsアンティポン
Antiphon (orator)鞍点
Saddle point安藤毅 (数学者)
安藤有益
アンドリカの予想
Andrica's conjectureジョージ・アンドリューズ
George Andrews (mathematician)SKIコンビネータ計算
SKI combinator calculus型付きラムダ計算
Typed lambda calculusコンビネータ論理
Combinatory logic住性 (型理論)
Type inhabitationチャーチ・ロッサーの定理
Church–Rosser theoremド・ブラウン・インデックス
De Bruijn indexド・ブラウン記法
De Bruijn notation▼-2 trendsド・ブラウン・レベル
ラムダ・キューブ
Lambda cubeラムダ計算騎士団
Knights of the Lambda Calculus