mining

mine（採掘する）+ -ing（動作を表す）。この mine は後期ラテン語 mina（鉱山・坑道） の流れをくむ語で、もとは地面に掘った穴そのものを指した。

そこから「坑を掘って鉱石を取り出すこと」＝鉱業の意味になった。現代では coal mining（石炭採掘）だけでなく、data mining（大量のデータから有用な情報を掘り出すこと）のように比喩でも使う。

地中に穴を掘る発想は軍事にも及び、地雷・機雷の mine も同じ語である。「掘った穴」から「掘り出す作業」まで一続きと考えると、名詞と動詞の使い分けに迷わない。