- 重点词汇
- Japanesen.日本人,日本国民;日语;
- surveyn.调查,勘测;概述;
- toprep. 向,朝着;到;关于;属于;
- arevi.(用于第二人称单复数现在时,第一、三人称复数现在时)是;
- halfn.一半;半;(比赛、音乐会等的)半场,半局;(啤酒等饮料的)半品脱
- thatdet. 那个,那;
- dailyadv.每天;;
- theart.这个;指已提到或易领会到的人或事物;指独一无二的、正常的或不言而喻的人或事物;用以泛指;与形容词连用,指事物或统称的人;用于姓氏的复数形式前,指家庭或夫妇;(指特定用途的事物)足够,恰好;每,一;当前的,本,此;(重读,表示所指的为知名或重要的人或事物)
- kanjin.日本汉字;(日语中的)汉字体系
- childrenn.孩子们(child的复数);儿童;膝下;孥;
- more than不只是;很;超过;在…次以上;多余;
- learnv.学;获悉;学会;吸取教训;熟记;
- 相关例句
年度汉字评选活动由京都的一个日语汉字推广团体举办,今年共收到了来自公众的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模态逻辑的子集给出了一个模型验证的算法,证明了验证算法的可判定性。
互联网摘选
The Decidability of Regular Problems for Monoids Presented by Church-Rosser Systems
Church-Rosser系统表现&么半群中正则问题的可判定性
互联网摘选
Description of parallel algorithms by FP and Decidability of its systolic implementation
并行算法的FP描述及其脉动化的判定
互联网摘选
