◆7月の鉱工業生産指数(速報)は、前月比0.3％増加の95.3。