7.4.2 沃尔什函数