9.7 超函数