[ニュース] ドコモの「エリアメール」、自治体の緊急情報配信に対応