おおよそ坑匠の採鉱は、虫が木を蝕むが如し……旧来の採鉱は、尖った鉄および鉄槌を用いて力を尽くして打ち、凡そ数十回打ちてようやく一片を得るのみ。今は槌や尖鉄を用いず、ただ焼爆にて鉱を得る。