一 变量与编码法则