【2022年11月15日追記】「有人火星探査は、2040年頃の実現を目指す」 この記事の本文は、2020年に作成したもの