坑木
坑木(こうぼく)は、鉱山の坑道において地盤の支持(支保)材に使用された木材。