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