◆7月鉱工業生産指数(速報)は、前月比0.6％の上昇の93.2。