sorted,（「多ソート論理」の複数形（すなわ）とは - 英語 - 英語 | ディクト

ログインすると広告が減り、学習に集中できます。

検索結果- 英語 - 英語

検索内容:

sorted,

many-sorted logics

活用形複数形

plural of many-sorted logic

原形: many-sorted logic

日本語の意味

「多ソート論理」の複数形（すなわち、複数の種類の対象を区別する論理体系であることを示す表現）

このボタンはなに？

Many-sorted logics provide a robust framework for representing and reasoning about systems containing several different types of entities.

複数のソートを持つ論理体系は、いくつかの異なる種類の要素を含むシステムを表現し推論するための堅牢な枠組みを提供する。

sorted oneself out

活用形分詞過去

simple past tense and past participle of sort oneself out

原形: sort oneself out

日本語の意味

「sort oneself out」の単純過去形および過去分詞形です。

このボタンはなに？

Years ago, one sorted oneself out and finally found a direction in life.

数年前、誰かが自分の生活を整え、ようやく人生の方向性を見つけた。

many-sorted logic

(logic) A logic that directly supports classification of entities into disjunct sorts.

日本語の意味

複数の不連続な種類（ソート）に対象を直接分類することをサポートする論理体系（多ソート論理）

このボタンはなに？

Researchers often use many-sorted logic to simplify formal specifications by assigning each variable to a specific sort.

研究者はしばしば、対象を互いに排反する複数のソートに直接分類できる論理を用いて、各変数を特定のソートに割り当てることで形式仕様を簡素化する。

関連語

many-sorted logics

（ plural ）

good sort

くだけた表現オーストラリア英語

(informal) Someone who is likeable and dependable. / (Australia, informal) A desirable woman.

日本語の意味

好感が持てる人、頼りになる人 / 魅力的な女性

このボタンはなに？

When the community needed someone to organize the fundraiser, they turned to Tom because he's a good sort.

コミュニティが募金活動を取りまとめる人を必要としたとき、彼らは人柄が良く頼りになるトムに頼みました。

関連語

good sorts

（ plural ）

sort codes

活用形複数形

plural of sort code

原形: sort code

日本語の意味

"sort codes"は「sort code」の複数形です。

このボタンはなに？

Please double-check the sort codes on your bank statements before you submit the payment.

支払いを提出する前に、銀行の取引明細に記載された銀行支店コードを必ず再確認してください。

insertion sorts

活用形複数形

plural of insertion sort

原形: insertion sort

日本語の意味

「挿入ソート」アルゴリズムの複数形、すなわち「挿入ソート」という単数形の名詞が複数を示す表現となったものである

このボタンはなに？

During the lab, we compared the performance of several insertion sorts on nearly sorted arrays.

実験では、ほぼ整列された配列に対するいくつかの挿入ソートアルゴリズムの性能を比較しました。

insertion sort

可算名詞不可算名詞

(computer science) A sorting algorithm that performs its task by inserting new items into a pre-existing sorted data structure.

日本語の意味

（コンピュータ科学）既に整列されたデータ構造に新たな要素を適切な位置に挿入することで、全体の並び順を整えるソートアルゴリズム

このボタンはなに？

When learning algorithms, many students find insertion sort easier to understand than quicksort because it's conceptually simple.

アルゴリズムを学ぶ際、多くの学生は、既に整列された構造に要素を挿入していくことで整列を行うアルゴリズムの方が、クイックソートより概念的に単純で理解しやすいと感じる。

関連語

insertion sorts

（ plural ）

edge sorting

不可算名詞

A gambling technique by which a player determines whether a face-down playing card is likely to be low or high, by observing and exploiting subtle unintentional differences on the backs of some types of card, after arranging for the croupier to cooperate by unwittingly sorting the cards into low and high.

日本語の意味

ギャンブルにおいて、プレイヤーがカードの裏面に見られる微妙な無意識の差異を利用し、ディーラーの協力を得てカードが低いか高いかを判断する技法。

このボタンはなに？

He was accused of using edge sorting to gain an unfair advantage at the blackjack table.

彼は、カードの背面にある微妙な違いを利用し、ディーラーに低いカードと高いカードを無意識に並べさせることでブラックジャックのテーブルで不当な優位を得たとして非難された。

library sort

(computing theory) A form of insertion sort that leaves gaps between elements to accelerate subsequent insertions.

日本語の意味

計算機理論における挿入ソートの一種。後続の挿入操作を高速化するため、要素間に隙間を設けながらソートを行うアルゴリズム。

このボタンはなに？

大きな配列への頻繁な挿入を扱う場合、ギャップ付き挿入ソートは要素間に隙間を維持することで移動回数を大幅に減らすことができます。

関連語

library sorts

（ plural ）

sorting tables

活用形複数形

plural of sorting table

原形: sorting table

日本語の意味

「sorting table」の複数形

このボタンはなに？

The warehouse manager rearranged the sorting tables to improve the flow of packages.

倉庫の管理者は荷物の流れを改善するために仕分け台を再配置した。

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

ログイン

新規登録

　

アプリをダウンロード！

DiQt（ディクト）

無料

★★★★★★★★★★