miner（n.） 约于1300年（早在13世纪作为姓氏），“采矿者，从事于挖掘金属或矿物或挖掘军事地雷的人”，源自于古法语 mineour（13世纪），是 miner “采矿”的动作名词（参见 mine（v.1））。该词起源时间：约1300年
