鉱山で、鉱石を取るために掘った穴。坑道。