归纳变量