声明函数签名[#114]

◆:function构造函数引用并附上两个标量输入、一个标量输出的签名。它没有定义f的实现。c2(f)声明二阶连续可微；它是计算前提，不是从名字自动推断的事实。