短語詞組短語ideal deductive applicative language 理想縯繹應(yīng)用式語言applicative language idealized computing engine 理想化計算發(fā)動機應(yīng)用式語言 返回 applicative language