タイムトラベルが不可能なことの理論とかもホーキンスなんだな