高精度有限体積法による非静力学惑星大気循環モデルの開発