◆7月の鉱工業生産指数(速報)は、前月比横ばいの96.9。