抽象的语言←→具体的语言