市場概要 世界の干渉合成開口レーダー市場は、2023年に4億2825万米ドルとなり、2024年か…