3-4. 氷床流動モデルの定式化 解く式