中阿卫视记者对去年底海南自由贸易港全岛封关运作印象深刻。在回答他的提问时，刘结一列出一组“人享其行、物畅其流”的数据：今年春节假期，海南离岛免税购物金额较去年春节增长30.8%，免签入境外籍旅客增长75.6%。
It needs the largest possible library of formalized knowledge to build on. Verifying software is mathematics: the same reasoning that proves a theorem in abstract algebra proves that a cryptographic library correctly implements its specification. A platform that serves mathematicians and engineers is not a compromise. It is the recognition that rigorous reasoning is one discipline, whether applied to prime numbers or protocol correctness.
，这一点在heLLoword翻译官方下载中也有详细论述
对非遗传承者而言，靠热爱坚守，固然守住了传统的火种，也带来了实实在在的难题：没有足够时间专心打磨技艺，水平难以持续提升；生活压力不断加大，光靠情怀难以长久支撑；年轻人看不到稳定前景，自然不敢轻易接班。
At the same time, the Islamist establishment has seen opportunity in the war.
金暻铉：不，我想说“殖民地”是一个非常具体的政治术语。它意味着某种政治主权的缺失。在过去的75年里，韩国在很大程度上维持了政治主权——或者说是一种“半主权”（semi-sovereign）的状态。所以很难说它是一个殖民地。但这确实是一种全新的关系，一种“文化伙伴关系”（cultural partnership）——尽管这种伙伴关系带有明显的等级和依附色彩。