そっか、人形使いが原作だからハインラインの名前出したのか?