大気主成分の凝結を考慮した 3 次元火星対流モデルの構築に向けて