自由変数の補足