semiformalization

[网络] 半形式化

热门查询

transposable　　adj. 转座的；可换位的；有换位可能的
spenser　　n. 斯宾塞（男子名）
timpani　　n. 定音鼓 n. (Timpani)人名；(意)廷帕尼
diminished　　v. 减少；削弱（diminish的过去分词） adj. 减弱的；减退了的
processing　　v. 加工；[自] 处理；对…起诉（process的ing形式）
bootstrap　　n. [计] 引导程序，辅助程序；解靴带
premise　　n. 前提；上述各项；房屋连地基 vt. 引出，预先提出；作为…的前提 vi. 作出前提
manipulative　　adj. 巧妙处理的；操纵的，用手控制的
solute　　n. [化学] 溶质；[化学] 溶解物 adj. 溶解的
Ayres　　[人名] [英格兰人姓氏] 艾尔斯取自父名，来源于Ayre,含义是“艾尔之子”(son of Ayre)
Kelvin　　n. 开尔文（英国物理学家，数学家）；凯尔文（男子名）；绝对温标 adj. 开氏度的（常作K-）
hussy　　n. 贱妇；粗野女子；轻佻的女子 n. (Hussy)人名；(匈)胡希
hippocampus　　n. [解剖][脊椎] 海马；马头鱼尾怪兽（神话中的一个形象）
pickerel　　n. 梭鱼子；小梭鱼
siemens　　n. 西门子是全球领先的技术企业，专注于电气化、自动化和数字化领域 n. 西门子公司将其品牌宣言“Ingenuity for life” 诠释为“博大精深同心致远” n. 维尔纳·冯·西门子（Werner von Siemens）（1816—1892）世界著名的德国发明家、企业家，西门子公司创始人
creationism　　n. 特别创造说；创造宇宙说
shell　　n. 壳，贝壳；炮弹；外形 vt. 剥皮；炮轰 vi. 剥落；设定命令行解释器的位置
fortyish　　adj. 四十几岁的；年近四十岁的
paleontology　　n. 古生物学
shitter　　n. 厕所；坐桶；[美国英语]马