07/05/28 02:28:12
>>737
それともこっちかな
(%i1) g(x):=cos(x);
(%o1) g(x) := cos(x)
(%i2) h:i2: lambda([f], buildq([f: f], lambda([x], f(x))));
(%o2) lambda([f], buildq([f : f], lambda([x], f(x))))
(%i3) h(g);
(%o3) lambda([x], g(x))
(%i4) h(g)(1);
(%o4) cos(1)
(%i5)