境界上での偏微分の定義とか、境界を持つ領域上の関数が連続微分可能であることの定義はどうなってるの？