C - T - ABS abstractive algorithm transforms � � - expression to SKI - expression, which is the theoretical foundation of functional programming language implementation.ABSTRACT,C-T-ABS是把λ表达式转换成SKI表达式的抽象算法, 是函数式语言实现的理论基础...
定律是一条把规则或事实说清楚的短句.A formula is a short statement of a rule or general fact.应得到奖赏或惩罚的状态或事实.The state or fact of deserving reward or punishment.这些名词意思是某人相信或接受已成的声音或事实.These nouns signify something a person believes or acce...
随后的报道称，海上的石油大火已经熄灭。A later report said the oil fire on the sea was out.这幅画描绘的是海上的暴风雨.The painting is a representation of a storm at sea.海上的空气是大自然赋予的对人们身心的最佳补品.Sea air is Nature's best tonic for mind and body....
That one splIt'second of proximity seems instead like an unbridgeable gap.这一刹那的撙近,反见得暌隔的渺茫.The gap between the President and his opponents is unbridgeable.总统和反对派之间的嫌隙是不可弥合的。The similarity in psychological makeup was...
Today its executive committee voted unanimously to reject the proposals.今天执行委员会投票一致否决了这些提案。Its members had come out virtually unanimously against the tests.会员们几乎一致表示反对这些测试。The Board of Directors has approved the decision...