それでアルキメデスはいつ出てくるねん。