プログラムが表す領域上の函数は連続函数である