◆5月鉱工業生産指数(速報)は、前月比5.7％の上昇の88.8。