東京都は「スマート東京」へ。前年比8倍のデジタル予算でスマートシティ化を促進