◆10月の鉱工業生産指数(速報)は、前月比0.2％上昇の98.2。