検索結果- 英語 - 多言語
検索内容:
decides
decider
(of a controversy, question, etc) A person, divinity, or authoritative text which decides. / (chiefly Britain, Australia, sports) An event or action which decides the outcome of a contested matter.
（論争や問題などにおいて）決定を下す人物、神、または権威ある文書としての決定者 / （主に英国、オーストラリア、スポーツなどで）争いの結果を左右する決定的な出来事または行動
decidable
capable of being decided. / (computer science) describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.
判断または決定が可能な / 計算機科学の文脈では、ある集合に対して、任意の要素がその集合に属するかどうかを有限時間でアルゴリズムにより判定できることを示す
deciders
decide
to make a choice about something or choose after thinking
決める / 決定する / 判断する / 選ぶ / 決心する
træffe en beslutning / bestemme sig for noget / afgøre efter overvejelse
semi-decidable
(computing theory) Of a set, such that there is a deterministic algorithm such that (a) if an element is a member of the set, the algorithm halts with the result "positive", and (b) if an element is not a member of the set, (i) the algorithm does not halt, or (ii) if it does, then with the result "negative".
(計算理論において) ある集合に対して、要素がその集合に属する場合、決定的なアルゴリズムが停止して肯定的な結果（positive）を返す一方、要素が属さない場合はアルゴリズムが停止しないか、停止した場合でも否定的な結果（negative）を返す性質を持つことを意味する。
