つまり九工大いらないと?