宇宙はジョークでいっぱい―宇宙開発ちょっといい話 P192