「 miner 」の語源

1300年頃、minen、「要塞を覆すためにトンネルを掘ること」、mine (n.1) から、または古フランス語の miner 「掘る、鉱山から取り出す、 extermination」から、フランス語名詞から。14世紀中頃から「地面を掘ること」（鉱物や宝物を得るために）として。比喩的な意味「ゆっくりまたは秘密の方法で破壊する」は14世紀中頃から。鉱山から取り出すという他動的な意味は14世紀後期から。「（爆薬の）地雷を設置する」という意味については、mine (v.2) を参照。関連語: Mined; mining。

1630年代に、coal（石炭）という名詞と miner（鉱夫）という名詞が組み合わさって生まれました。