mining（n.） 1520年代，“矿工的业务或工作”，动名词来自 mine（v.1）。从公元1300年开始，“在军事攻击中破坏墙壁或塔楼”。Mining-camp “采矿目的的临时定居点”于1853年在加利福尼亚州出现。该词起源时间：1520年代
