短语词组短語ideal deductive applicative language 理想縯繹應用式語言applicative language idealized computing engine 理想化計算發動機應用式語言 返回 applicative language