区分的に連続な関数