研究社新英和大辞典 ページ 169072 での【1 堅硬石《伝説的な鉱物で後世これを金剛石とも磁石とも解した》.】単語。