- 重点词汇
- textn.文本，原文;课文，教科书;主题;版本;
- retrievaln.收回，挽回;检索;
- onprep. (覆盖、附着)在…上;由…支撑着;在(运输工具)上;在（某一天）;就在…之后;关于（事或人）;（身上）带着;为（某团体或组织）的一员;吃;（表示方向）在，向，对;在，接近（某地）;根据;以…支付;通过;与…相比
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用，指事物或统称的人;用于姓氏的复数形式前，指家庭或夫妇;（指特定用途的事物）足够，恰好;每，一;当前的，本，此;（重读，表示所指的为知名或重要的人或事物）
- techniquen.技术;技能;
- techniquesn.技巧( technique的名词复数 );手法;技术;技能;
- forconj.因为，由于;
- in. （第一人称单数代词，用作动词的主语）我;英文字母中的第九个字母;虚数的单位
- kanjin.日本汉字;(日语中的)汉字体系
- processingn.（数据）处理;整理;配置;工艺（生产方法）设计;
- fulladj.满的;完全的;满是…的;充满的;(有)许多的;丰富的;(有)大量的;（强调数量）足足的，整整的;丰满的;圆的;吃饱了的;忙的;宽松的;最高级的;圆浑的;(关于某事物)想得很多，谈得很多
- 相关例句
1、
2、
3、
中日两国都属于汉字、儒教文化圈，共同享有悠久的历史文化遗产并具有漫长的文化交流经历。
互联网摘选
4、
5、
年度汉字评选活动由京都的一个日语汉字推广团体举办，今年共收到了来自公众的11.12万份提名。
互联网摘选
6、
7、
8、
9、
10、
Because of this, Modern English includes many Latin and Greek words.
由于这个原因, 近代英语中包含了许多拉丁词汇和希腊词汇.
互联网摘选
11、
12、
13、
14、
15、
16、
本文致力于相容结构的可判定性的证明并给出了一个快速的判定算法。
互联网摘选
17、
Logical Structure, Decidability and Use of Hypothetical plus Disjunctive Inference
假言+选言推理的逻辑构造、判定和使用
互联网摘选
18、
The concept of algorithm is also used to define the notion of decidability.
算法的概念，也用来界定概念的决定性。
互联网摘选
19、
对于DTMA与DTMA模态逻辑的子集给出了一个模型验证的算法，证明了验证算法的可判定性。
互联网摘选
20、
