石炭は圧縮して工業用ダイヤが作れる