第1节 型的定义和符号