推导 英语是什么意思 - 英语翻译

• derivation
• deduce
• derive
• derived
• comprehensions
• reason
• deriving
• deducing
• derivations
• deduces

在 中文 中使用 推导 的示例及其翻译为 英语

然后询问它的推导。
Ask for Their Guidance.

你能以不同的方式推导这个结果吗？?
Can you derive the result differently?

哲学中没有推导:它是纯粹描述性的。
In philosophy there are no deductions: it is purely descriptive.

一些原生编译器推导膨胀的例子包括：.
Some examples of native compiler derived bloat include:.

否则，编译器会将返回类型推导为void。
Otherwise the compiler deduces the return type as void.

当然类型自动推导也是非常必要的新鲜空气。
Automatic type deduction is a much needed breath of fresh air.

为此我们需要假言推导的更一般的概念。
For these, we need a more general notion of hypothetical derivation.

然而，对于存在类型的类型推导是一个难点。
However, type inference for existential types is a difficult problem.

推导信通技术预算所采用的办法.
Methodology for deriving information and communications technology budgets.

引用透明的函数更易于被推导和测试。
Referentially transparent functions are easier to reason about and test.

列表推导可以包含复杂表达式和嵌套函数:.
List comprehensions can contain complex expressions and nested functions:.

也可以简单地使用列表推导，而不是写一个函数。
Also you can simply use list comprehension instead of writing a function.

Pi等于3.14159,然后会被Swift推导为Double类型.
When you declare pi as 3.14159, Swift infers the type as Double.

复杂的列表推导或者生成器表达式可能难以阅读。
Complicated list comprehensions or generator expressions can be hard to read.

科学界花了几十年时间才发展出归类和推导新解的技术。
It took decades to develop techniques to classify and derive new solutions.

我们必须通过推导输入数据中存在的结构来准备模型。
We have to prepare model by deducing structures present in the input data.

并推导建模技术，以实现更坚固的PCB设计。
And derive modeling techniques to enable more robust package designs for PCB assembly.

先前我们推导过的Adagrad的参数更新向量是：.
The parameter update vector of Adagrad that we derived previously thus takes the form:.

推导有效参数采用的原始数据卫星资料检索方法37－388.
Satellite information retrieval from raw data to derivation of useful parameters.

科学的基本基础，利用证据来支持逻辑推导的结论。
The fundamental basis of science using evidence to support logically derived conclusions.

个正多面体的分析，给出了这些精确值的逐步推导.
Analysis of the 5 Regular Polyhedra gives a step-by-step derivation of these exact values.

任何推导都只有一个最终结论，它是要证明或推导的陈述。
Any derivation has only one final conclusion, which is the statement proved or derived.

使用返回类型推导的函数可以前向声明，但在定义之前不可以使用。
Functions that deduce their return types can be forward declared, but they cannot be used until they have been defined.

推导开始于初始树，通过要么“代换”要么“附加”来结合。
A derivation starts with an initial tree, combining via either substitution or adjunction.

Tetragrammaton推导口头根也具有一定的困难所困扰。
The derivation of the tetragrammaton from a verbal root is also beset with certain difficulties.

无论从任何学校有可能已被逻辑推导，该教派，作为一个教派，是摇篮和阴谋熏陶。
From whatever school it may have been logically derived, the sect, as a sect, was cradled and nurtured in intrigue.

年左右，爱因斯坦自己推导，因为它通过太阳的引力场是如何光偏转的数学。
Around 1912, Einstein himself derived the math for how light is deflected as it passes through the Sun's gravitational field.

Wolfram'smathworld:SphericalTrigonometry更多的公式列表与一些推导.
Wolfram's mathworld: Spherical Trigonometry a more thorough list of identities, with some derivation.

为支持推导排放因子而开展的进一步研究和数据生成工作应关注已查明的关键来源。
Further research and generation of data to support derivation of emission factors should focus on the identified key sources.

它将和卫星推导的风力数据以及当地实测风力数据相结合，生成一个该区域高分辨风图。
This will be combined with satellite derived wind data and local wind measurements to produce a high resolution wind map of the area.