伊豆急の8000もデジタル工事するのかな?