マイクロソフト、長谷工などと建設業をDX化