硬石山での採石は、1872年(明治5年)にさかのぼる。