人工衛星 × AIで水道管の漏水を検知　国内初採用の愛知県豊田市では5年の調査が約7か月に短縮成功