検索結果- 英語 - 多言語
検索内容:
deciding
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.
(論争や問題などにおいて)決定を下す人物、神、または権威ある文書としての決定者 / (主に英国、オーストラリア、スポーツなどで)争いの結果を左右する決定的な出来事または行動
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)を返す性質を持つことを意味する。