山を導入した順圧モデルにおけるプリミティブ方程式の差分式に関する数値テスト〔英文〕