informal name翻译

informal name的基本解释

读音: 美: 英:

非正式名称：一个人或事物的非正式或俚语化的名称，通常是由人们自己或周围的人创造的。

例句

But now people take it the informal name of a SHA-0 in order to avoid confusion of its successor.然而现在的人们给它取了一个非正式的名称SHA - 0以避免与它的后继者混淆。
Name: Sometimes, an antipattern will already have one or more informal names, given from a development community.名称：有时候反模式可能已经有一个或多个非正式的名称，这是由开发社区给出的。
Since we are doing an informal proof, I will not name the axioms we are using nor will I attempt to prove the intermediate theorems used to make the proof work.由于我们在进行不正式的证明，所以我不会为所使用的公理命名，也不会尝试去证明那些用来令证明有效的中间定理。

短语

big name noun informal 要人
big g name noun informal 要人
0
纠错

相关推荐：