Diclib.com
Λεξικό ChatGPT

Αναζήτηση λεξικού Προσαρμοσμένες λύσεις

Εισάγετε μια λέξη ή φράση σε οποιαδήποτε γλώσσα 👆

Γλώσσα:

Μετάφραση και ανάλυση λέξεων από την τεχνητή νοημοσύνη ChatGPT

Σε αυτήν τη σελίδα μπορείτε να λάβετε μια λεπτομερή ανάλυση μιας λέξης ή μιας φράσης, η οποία δημιουργήθηκε χρησιμοποιώντας το ChatGPT, την καλύτερη τεχνολογία τεχνητής νοημοσύνης μέχρι σήμερα:

πώς χρησιμοποιείται η λέξη
συχνότητα χρήσης
χρησιμοποιείται πιο συχνά στον προφορικό ή γραπτό λόγο
επιλογές μετάφρασης λέξεων
παραδείγματα χρήσης (πολλές φράσεις με μετάφραση)
ετυμολογία

inferred reserves - translation to ρωσικά

Clergy reserves; Clergy Reserves

inferred reserves

нефтегазовая промышленность

предварительно оценённые запасы

probable reserves

MEASURE OF FOSSIL FUEL ENERGY RESERVES

Proved reserves; Producible fraction; Proven reserve; 2P reserves; 1P reserves; 3P reserves; Probable reserves; Fossil fuel reserves

нефтегазовая промышленность

вероятные запасы

прогнозные запасы

proved reserves

MEASURE OF FOSSIL FUEL ENERGY RESERVES

Proved reserves; Producible fraction; Proven reserve; 2P reserves; 1P reserves; 3P reserves; Probable reserves; Fossil fuel reserves

нефтегазовая промышленность

доказанные запасы

достоверные запасы

Ορισμός

type inference

<programming> An algorithm for ascribing types to expressions in some language, based on the types of the constants of the language and a set of type inference rules such as f :: A -> B, x :: A --------------------- (App) f x :: B This rule, called "App" for application, says that if expression f has type A -> B and expression x has type A then we can deduce that expression (f x) has type B. The expressions above the line are the premises and below, the conclusion. An alternative notation often used is: G |- x : A where "|-" is the turnstile symbol (LaTeX vdash) and G is a type assignment for the free variables of expression x. The above can be read "under assumptions G, expression x has type A". (As in Haskell, we use a double "::" for type declarations and a single ":" for the infix list constructor, cons). Given an expression plus (head l) 1 we can label each subexpression with a type, using type variables X, Y, etc. for unknown types: (plus :: Int -> Int -> Int) (((head :: [a] -> a) (l :: Y)) :: X) (1 :: Int) We then use unification on type variables to match the partial application of plus to its first argument against the App rule, yielding a type (Int -> Int) and a substitution X = Int. Re-using App for the application to the second argument gives an overall type Int and no further substitutions. Similarly, matching App against the application (head l) we get Y = [X]. We already know X = Int so therefore Y = [Int]. This process is used both to infer types for expressions and to check that any types given by the user are consistent. See also generic type variable, principal type. (1995-02-03)

Εμφάνιση περισσότερων ορισμών

Βικιπαίδεια

Clergy reserve

Clergy reserves were tracts of land in Upper Canada and Lower Canada reserved for the support of "Protestant clergy" by the Constitutional Act of 1791. One-seventh of all surveyed Crown lands were set aside, totaling 2,395,687 acres (9,695 km²) and 934,052 acres (3,780 km²) respectively for each Province, and provision was made to dedicate some of those reserved lands as glebe land in support of any parsonage or rectory that may be established by the Church of England. The provincial legislatures could vary or repeal these provisions, but royal assent could not be given before such passed bills having been laid before both houses of the British Parliament for at least thirty days.

https://en.wikipedia.org/wiki/Clergy reserve

Μετάφραση του &#39inferred reserves&#39 σε Ρωσικά