- 重点词汇
- stroken.中风;(铅笔等的)笔画;划水动作;游法;钟声;击球;一件(幸运的)事;(灵感)突发;
- kanjin.日本汉字;(日语中的)汉字体系
- recognitionn.认识,识别;承认;赞赏;
- reliesv.信任( rely的第三人称单数 );信赖;依赖;依靠;
- onprep. (覆盖、附着)在…上;由…支撑着;在(运输工具)上;在(某一天);就在…之后;关于(事或人);(身上)带着;为(某团体或组织)的一员;吃;(表示方向)在,向,对;在,接近(某地);根据;以…支付;通过;与…相比
- heavilyadv.在很大程度上;沉重地;魁梧地;缓慢而忧郁地;重载地;
- systemn. 体系,系统;制度;身体;方法;
- 相关例句
中日两国都属于汉字、儒教文化圈,共同享有悠久的历史文化遗产并具有漫长的文化交流经历。
互联网摘选
年度汉字评选活动由京都的一个日语汉字推广团体举办,今年共收到了来自公众的11.12万份提名。
互联网摘选
Because of this, Modern English includes many Latin and Greek words.
由于这个原因, 近代英语中包含了许多拉丁词汇和希腊词汇.
互联网摘选
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
互联网摘选
Logical Structure, Decidability and Use of Hypothetical plus Disjunctive Inference
假言+选言推理的逻辑构造、判定和使用
互联网摘选
The concept of algorithm is also used to define the notion of decidability.
算法的概念,也用来界定概念的决定性。
互联网摘选
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法,证明了验证算法的可判定性。
互联网摘选
