小窓モード

プレミアム

ログイン
設定

設定

Weblio 辞書 > 英和辞典・和英辞典 > computableの意味・解説 > computableに関連した共起表現

「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会員(無料)になると

会員登録のメリット検索履歴を保存できる!

会員登録のメリット語彙力診断の実施回数増加!

無料会員に登録する

©2026 GRAS Group, Inc.RSS