3. 氷床流動モデルの定式化(基礎方程式系)