『レトロアメリカ』産業からの脱却を目指して － マイニング・セクターでのデジタル化 – 記事 アメリカではマイニング（石油・ガスも含めた鉱物産業）は巨大産業です。2000年には2,180億ドルの総生産量でしたが、2016年には倍以上の4,880億ドルを記録しまし…