市場規模     グローバルなリードセンサー市場規模は、2023年には17億…