机上で計算して存在が予測されて、後に観測で実在が確認されるの面白いよな
パルサーとかブラックホール