ある関数 に対して、 とした場合、部分適用。カリー化はに対して、となるようなが存在するような関数が定義出来た場合、これらはをカリー化したもの。ちょっと、C言語で頑張ってみたけど、これって似非カリー化の部分適用じゃないかカリー化で参考にしました…