上 形式语言 的时候就够苦逼了，可想而知，专业分流以后会更加痛苦的