計算結果の検証 過去の大気研究と整合的 本研究から計算した雲密度 過去の研究での雲密度(Atreya and Romani 1985)