3-2. 氷床流動モデルの定式化(境界条件)