词汇 | eta |
释义 | eta noun[ C or U ] language, mathematics, scienceuk /ˈiː.tə/ us /ˈeɪ.t̬ə/(symbolH, η) the seventh letter of the Greek alphabet(希腊语字母表的第七个字母) Letters of alphabets aitch alphabet alphabetic alphabetical alphabetically alphabetization alphanumeric alphanumerically B, b iota J, j K, k kappa L, l Q, q rho S, s sigma T, t zeta ETA noun[ S ] uk /ˌiː.tiːˈeɪ/ us /ˌiː.tiːˈeɪ/ abbreviation for estimated time of arrival: the time you expect to arrive: 预计到达时间(estimated time of arrival的缩写) What's your ETA?你预计什么时间到达? Arrivals and departures admittance advent approach arr. arrival bourne check connection departure departure for somewhere descent destination entry gain admittance going influx invasion misconnect misconnection outflow ETA | Business EnglishETA noun[ S ] ukus abbreviation for estimated time of arrival: the time you expect to arrive: I'll call you when my flight lands and give you an ETA. Examples of etaeta In order to describe the magnitude of effect for findings, eta-squared effect sizes are presented. The introduction of recursively defined types requires some care because the combination of fixed points and the eta axiom for sum types is inconsistent. Furthermore, the coercions themselves only produce terms that, after type erasure, are eta-expansions of the identity function. However, we cannot prove k:t-yt without rule (eta), as explained at the end of this paragraph. The canonical form of f is its eta expanded form, as described previously. The optimization passes are preceded by a single round of eta-expansion to improve opportunities for inlining. Therefore, we will adopt (eta) as an additional inference rule. Thus, eta is never used in the source programs, but is only required internally, for equational reasoning. As customary, beta equality is used as a reduction, and eta equality as an expansion. Section 3 discusses steady flows in a perfect conductor caused by external influences such as gravity, energy release, eta. Constructors are always saturated; unsaturated constructors can always be saturated by eta expansion. To indicate effect sizes, eta squared7 was used. Nevertheless, even the non-linear association between left-right ideology and constitutional ideology is weak among both nationalist (eta 0.16) and unionist (eta 0.13) party supporters. It admits the usual term equations of beta reduction and eta expansion. 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. 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. |
随便看 |
|
反思网英语在线翻译词典收录了377474条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。