Smn定理

3行要約

1. 計算理論において、計算可能関数のパラメータの一部を固定して新しい関数を作る性質。
2. プログラミング言語における部分適用やカリー化の理論的な裏付けとなる重要な定理。
3. 帰納的関数のゲーデル数化に関連し、計算の構造を解析する基礎的な道具として使われる。