miner 的词源

大约在公元1300年，minen这个词出现，意为“在防御工事下挖掘隧道以摧毁它们”。这个词可能源自mine（名词1）或古法语的miner，意为“挖掘、开采；消灭”，后者来自法语名词。从14世纪中期起，这个词也被用来表示“在土中挖掘”（以获取矿物、宝藏等）。其比喻义“通过缓慢或秘密的方法破坏或毁灭”则出现在14世纪中期。14世纪晚期，这个词还被用作及物动词，意为“通过开采提取”。关于“布置（爆炸性）地雷”的意思，请参见mine（动词2）。相关词汇包括：Mined（已开采），mining（采矿）。

1630年代，来自 coal（煤） + miner（矿工）。