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