フォーラムで「穴を掘ったからといって、坑道掘りとは限らない」という話があって「？」となったのだが、支保だの排水だのの機能があってはじめて“坑道掘り”と呼べるのだ、というまあ定義の話があったのだけど、専門家(鉱業史研究会内？)では普通に通じるの…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。
