smn定理
smn theorem
スティーヴン・コール・クリーネ（Stephen Cole Kleene）
カリー化
（
currying
）
クリーネの再帰定理
（
Kleene's recursion theorem
）
部分評価
（
partial evaluation
）
smn定理 - Wikipedia
Smn theorem - Wikipedia