대전에는 한국정보통신대학교(이/가) 있다