ところで、>>9 の式にチョーキングも考慮して、
コロニー内の気圧が等しいとして計算すると、
P = Po exp[-(A/V)t*(314m/s)]
になる。(条件：窒素80%, 酸素20%, 気温20℃)

>>139が
P = Po exp[-(A/V)t*(200m/s)]
なので、気圧傾度も考えると>>139の式は
至極妥当っぽい感じがするが。