実質応用数学科だよな工学部情報系って