【宇宙】宇宙には「ダイヤモンドの惑星」がたくさんあるらしい