検索結果- 英語 - 英語

検索内容:

many-sorted logic

名詞
日本語の意味
複数の不連続な種類(ソート)に対象を直接分類することをサポートする論理体系(多ソート論理)
このボタンはなに?

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

関連語

plural

sorted oneself out

動詞
活用形 分詞 過去
日本語の意味
「sort oneself out」の単純過去形および過去分詞形です。
このボタンはなに?

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

many-sorted logics

名詞
活用形 複数形
日本語の意味
「多ソート論理」の複数形(すなわち、複数の種類の対象を区別する論理体系であることを示す表現)
このボタンはなに?

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

that's your sort

フレーズ
廃用 俗語
日本語の意味
その調子、いいね。 / そういう精神でいこう。 / そのままで十分だ。
このボタンはなに?

cycle sorts

名詞
活用形 複数形
日本語の意味
「cycle sort」の複数形。英語で「cycle sort」が単数形の名詞であるのに対し、複数の対象を示す場合に用いられる表現です。
このボタンはなに?

cycle sort

名詞
日本語の意味
サイクルソート:置換の各サイクル(循環構造)を個別に回転操作することで配列を整列させるソートアルゴリズム。
このボタンはなに?
関連語

plural

counting sorts

名詞
活用形 複数形
日本語の意味
カウントソートの複数形、すなわち複数のカウントソートアルゴリズムを指す
このボタンはなに?

counting sort

名詞
日本語の意味
計数ソート:整数キーの出現回数を数え、その頻度に基づいて配列の要素を再配置するソートアルゴリズム
このボタンはなに?
関連語

plural

waste sortings

名詞
活用形 複数形
日本語の意味
「waste sortings」は「waste sorting」の複数形です。つまり、名詞「waste sorting」(廃棄物の分別)の複数形であり、文脈に応じて「複数の廃棄物分別」を意味します。
このボタンはなに?

sort through

動詞
日本語の意味
(書類や資料などの複数の情報を)調べ、意味を把握しながら整理する / (混ざっている物の中から必要なものを)選別する
このボタンはなに?
関連語

present singular third-person

participle present

participle past

past

loading!

Loading...

全て読み込みました。

Error

Webで検索する

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★