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