「computable」の共起表現一覧(1語右で並び替え)
該当件数 : 36件
| ll periods is countable, and all periods are | computable, and in particular definable. |
| Given some p and any | computable but unknown probability distribution from wh |
| ition that involves large amounts of curated | computable data in addition to semantic indexing of tex |
| Computable Foundations for Economics, Routledge, Februa | |
| Recursive function, a total | computable function |
| hich there exists a Turing machine (or other | computable function) which will enumerate all valid str |
| A total | computable function, a function which is defined for al |
| nts but the invariants and guards can be any | computable function. |
| and iteration-are sufficient to express any | computable function. |
| See also: Logic of | Computable Functions |
| Programming | Computable Functions (PCF), small theoretical programmi |
| Logic for | Computable Functions (LCF), theorem proving logic by Ro |
| That means that there are | computable functions that cannot be defined in the simp |
| Logic for | Computable Functions (LCF) is an interactive automated |
| out that restricting ourselves to the set of | computable functions is not sufficient either if the pr |
| ons are learnable while the class REC of all | computable functions is not learnable. |
| 1977, Gordon Plotkin introduces Programming | Computable Functions, an abstract typed functional lang |
| ed in summability theory, infinite games and | computable functions. |
| d to denote the Turing degree of the partial | computable functions. |
| ries that are strong enough to represent all | computable functions. |
| ainly used for solving (ie, simulating with) | computable general equilibrium (CGE) models. |
| His thesis title was An inter-industry | computable general equilibrium model with dynamic inves |
| nik's proof showed c and L to be effectively | computable, he provided no numerical values for them. |
| Since h is | computable in polynomial time, we have thus shown L ∈ Σ |
| del which assumes that the floor function is | computable in constant time the problem can be solved i |
| tions of this: the simplest is to say that a | computable ordinal is the order-type of some recursive |
| Recursive ordinals (or | computable ordinals) are certain countable ordinals: lo |
| also locatable (or partially locatable) in a | computable sense. |
| ersal prior probability of any prefix p of a | computable sequence x is the sum of the probabilities o |
| orems apply to infinite, computably bounded, | computable subtrees of . |
| for the implementation of certain non-Turing | computable tasks (hypercomputation). |
| cam's razor: shorter (Kolmogorov complexity) | computable theories have more weight when calculating t |
| ll the algebraic numbers and all effectively | computable transcendental numbers, as well as many othe |
| crete, precise information is in general not | computable within finite time and memory (see Rice's th |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|