市場規模   世界の地下採掘装置市場は、2022年に155億米ドルに達し、2023-2…