肝心のタイムマシーンを実現する数式はどこに書いてあるの?