>>789
私への返信ですか？

それは手法の名前ですよね。
特別化によって得られた関数の実体の名前を知りたいのですが。