DiQt
団体様向け
ログイン
ホーム
辞書
英語 - 英語
sorted
検索結果- 英語 - 英語
検索内容:
sorted
many-sorted logics
noun
plural
of
many-sorted
logic
意味を覚える
単語を覚える
Many-sorted
logics
provide
a
framework
for
reasoning
about
complex
systems.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
many-sorted logic
noun
(logic)
A
logic
that
directly
supports
classification
of
entities
into
disjunct
sorts.
意味を覚える
単語を覚える
Many-sorted
logic
is
a
formal
framework
that
extends
classical
first-order
logic
to
allow
for
multiple
sorts
or
types
of
objects.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
sorted oneself out
verb
simple
past
tense
and
past
participle
of
sort
oneself
out
意味を覚える
単語を覚える
I
finally
sorted
myself
out
and
got
my
life
back
on
track.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
gnome sort
noun
(computing
theory)
A
variation
of
the
insertion
sort
that
does
not
use
nested
loops.
意味を覚える
単語を覚える
The
gnome
sort
algorithm
is
a
simple
sorting
algorithm.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
gnome sorts
noun
plural
of
gnome
sort
意味を覚える
単語を覚える
The
gnomes
sort
the
garden
ornaments
by
size.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
cycle sorts
noun
plural
of
cycle
sort
意味を覚える
単語を覚える
Cycle
sorts
are
efficient
sorting
algorithms.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
cycle sort
noun
(computing
theory)
A
sorting
algorithm
based
on
the
idea
that
the
permutation
to
be
sorted
can
be
factored
into
cycles
that
can
be
rotated
individually
to
give
a
sorted
result.
意味を覚える
単語を覚える
Cycle
sort
is
an
efficient
in-place
sorting
algorithm.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
counting sorts
noun
plural
of
counting
sort
意味を覚える
単語を覚える
Counting
sorts
are
efficient
algorithms
for
sorting
integers.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
that's your sort
phrase
(slang,
obsolete)
That's
it;
that's
the
spirit;
expressing
approval
or
encouragement.
意味を覚える
単語を覚える
That's
your
sort
of
thing.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
counting sort
noun
(computing)
A
sorting
algorithm
that
counts
how
many
times
each
integer
key
appears
in
an
array
and
then
reorders
the
array
based
on
those
counts.
意味を覚える
単語を覚える
Counting
sort
is
an
efficient
sorting
algorithm.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
loading!
Loading...
1
2
3
4
5
6
7
...
全て読み込みました。
Error
Webで検索する
英語 - 英語
項目
項目(1182733)
項目を追加する
項目の編集履歴(11)
例文
例文 (1692485)
例文を追加する
例文の編集履歴(17)
その他
編集者 (20)
編集ガイドライン
クレジット
ログイン / 新規登録
ログイン
ログイン
メールアドレス
パスワード
ログイン情報を記憶する
パスワードを忘れましたか?
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていませんか?
新規登録
新規登録
新規登録
名前
メールアドレス
パスワード
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていますか?
ログイン
アプリをダウンロード!
DiQt(ディクト)
無料
★★★★★
★★★★★