そういえば石油採掘屋が宇宙で隕石を掘り返す話はいつやるんだっけ？