複数辞典一括検索+

n. 【鉱山】 矢木, 矢板《差矢()法で坑道を掘進するとき坑道周壁に打ち込む板》.🔗🔉

n. 【鉱山】 矢木, 矢板《差矢()法で坑道を掘進するとき坑道周壁に打ち込む板》. fre・qurter

研究社新英和大辞典 ページ 190925 での鉱山単語。