鏡

鏡とは、トンネル掘削方向における掘削面のこと。切羽面の俗称で、鏡がたつ・鏡がたたないなどと使われる。