5.3 程序构造基本:定义新运算/新过程