| 单词 | eta |
| 释义 | eta noun[CorU] language,mathematics,scienceuk/ˈiː.tə/us/ˈeɪ.t̬ə/(symbolH,η)the seventhletterof theGreekalphabet （希腊语字母表的第七个字母）Letters of alphabets
ETA noun[S] uk/ˌiː.tiːˈeɪ/us/ˌiː.tiːˈeɪ/abbreviationforestimatedtimeofarrival: thetimeyouexpecttoarrive: 预计到达时间（estimated time of arrival的缩写）What'syourETA?你预计什么时间到达？ Arrivals and departures
ETA| Business EnglishETA noun[S] ukusabbreviationforestimatedtimeofarrival: thetimeyouexpecttoarrive: I'llcallyou when myflightlandsand give you an ETA. Examplesofetaeta In order to describe the magnitude of effect for findings,eta-squared effect sizes are presented. From theCambridge English Corpus The introduction of recursively defined types requires some care because the combination of fixed points and theetaaxiom for sum types is inconsistent. From theCambridge English Corpus Furthermore, the coercions themselves only produce terms that, after type erasure, areeta-expansions of the identity function. From theCambridge English Corpus However, we cannot prove k:t-yt without rule (eta), as explained at the end of this paragraph. From theCambridge English Corpus The canonical form of f is itsetaexpanded form, as described previously. From theCambridge English Corpus The optimization passes are preceded by a single round ofeta-expansion to improve opportunities for inlining. From theCambridge English Corpus Therefore, we will adopt (eta) as an additional inference rule. From theCambridge English Corpus Thus,etais never used in the source programs, but is only required internally, for equational reasoning. From theCambridge English Corpus As customary, beta equality is used as a reduction, andetaequality as an expansion. From theCambridge English Corpus Section 3 discusses steady flows in a perfect conductor caused by external influences such as gravity, energy release,eta. From theCambridge English Corpus Constructors are always saturated; unsaturated constructors can always be saturated byetaexpansion. From theCambridge English Corpus To indicate effect sizes,etasquared7 was used. From theCambridge English Corpus Nevertheless, even the non-linear association between left-right ideology and constitutional ideology is weak among both nationalist (eta0.16) and unionist (eta0.13) party supporters. From theCambridge English Corpus It admits the usual term equations of beta reduction andetaexpansion. From theCambridge English Corpus It is important to emphasize that (eta) trick is merely a technical device for analyzing typing derivations, and is not a sound typing rule with respect to arbitrary equational theories. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
| 随便看 |
英汉词典包含213609条英汉翻译词条，涵盖了常用英语单词及词组短语的翻译及用法，是英语学习的必备工具。