市場規模     世界の坑口装置市場規模は2024年に79億米…