検索結果- 英語 - 多言語
検索内容:
halts
halts
grind to a halt
(intransitive, of an activity) To come to a standstill, or cease to be productive or make progress, due to an obstacle.
活動が障害によって徐々に減速し、最終的に完全に停止すること。 / 生産性が急激に失われ、全体として進行が止まる状態を示す。
( present singular third-person )
( participle present )
( participle past )
( past )
call a halt
(transitive with to) Force (something) to stop.
(何かを)強制的に停止させる、または中断させる
( present singular third-person )
( participle present )
( participle past )
( past )
half-halt
A specific riding aid given by an equestrian to his/her horse, in which the driving aids and restraining aids are applied in quick succession, used as a warning signal or to rebalance the horse.
乗馬における技法の一つで、馬に対して運転(推進)の合図と制止の合図をすばやく連続して与え、警告や馬のバランス調整を行うためのもの
halting problems
plural of halting problem
「halting problems」は「halting problem」の複数形であり、単語自体の意味ではなく、単一の『停止問題』の複数形を示しています。
halting sites
plural of halting site
"halting site" の複数形 (すなわち、複数の halting site を指す表現です)
halting site
(Ireland) A council-sponsored campsite for members of the Travelling Community.
移動民(トラベリングコミュニティ)のメンバー向けに、自治体が支援・運営するキャンプサイト。
half-halts
halting problem
(computer science) The problem of deciding in finite time whether a given program will finish running in finite time, when given a certain finite input.
与えられた有限の入力に対して、プログラムが有限時間内に停止するかどうかを決定する計算理論上の問題 / コンピュータサイエンスにおいて、あるプログラムが特定の入力下で必ず終了するか否かを判定する問題