DiQt
団体様向け
ログイン
編集を行うために、ログインしてください。
ホーム
辞書
英語 - 英語
type.]
検索結果- 英語 - 英語
検索内容:
type.]
audio typing
noun
The
work
of
an
audio
typist,
listening
to
a
sound
recording
and
transcribing
it
into
text
by
typing.
意味を覚える
単語を覚える
She
is
skilled
in
audio
typing.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
cell types
noun
plural
of
cell
type
意味を覚える
単語を覚える
There
are
many
different
cell
types
in
the
human
body.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
existential types
noun
plural
of
existential
type
意味を覚える
単語を覚える
Existential
types
are
an
important
concept
in
programming
languages.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
mis-typings
noun
plural
of
mis-typing
意味を覚える
単語を覚える
I
often
make
mis-typings
when
I'm
in
a
hurry.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
oblique types
noun
plural
of
oblique
type
意味を覚える
単語を覚える
There
are
various
oblique
types
of
buildings
in
the
city.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
typing paper
noun
Non-glossy
photographic
paper.
意味を覚える
単語を覚える
I
need
to
buy
some
typing
paper
for
my
printer.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
name-based type systems
noun
plural
of
name-based
type
system
意味を覚える
単語を覚える
Name-based
type
systems
provide
flexibility
and
ease
of
use.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
name-based type system
noun
(software)
Synonym
of
nominative
type
system
意味を覚える
単語を覚える
A
name-based
type
system
is
a
type
system
where
types
are
associated
with
values
and
variables
are
bound
to
names.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
Hindley-Milner type systems
noun
plural
of
Hindley-Milner
type
system
意味を覚える
単語を覚える
Hindley-Milner
type
systems
are
widely
used
in
programming
languages.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
Hindley-Milner type system
noun
(computing
theory)
A
classical
type
system
for
the
lambda
calculus
with
parametric
polymorphism,
notable
for
its
completeness
and
its
ability
to
infer
the
most
general
type
of
a
given
program
without
programmer-supplied
type
annotations
or
other
hints.
意味を覚える
単語を覚える
The
Hindley-Milner
type
system
is
a
type
inference
algorithm
used
in
programming
languages.
Google翻訳
/
DeepL翻訳
聞き取れるようになる
詳細
意味の詳細を表示する
詳細
loading!
Loading...
...
18
19
20
21
22
23
24
25
26
...
全て読み込みました。
Error
Webで検索する
英語 - 英語
項目
項目（1182732）
項目を追加する
項目の編集履歴（12）
項目の審査中の編集(1)
例文
例文 （1692487）
例文を追加する
例文の編集履歴（19）
その他
編集者 （21）
編集ガイドライン
クレジット
ログイン / 新規登録
ログイン
ログイン
メールアドレス
パスワード
ログイン情報を記憶する
パスワードを忘れましたか？
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていませんか？
新規登録
新規登録
新規登録
名前
メールアドレス
パスワード
────
or
────
Googleで続ける
Appleで続ける
アカウントを持っていますか？
ログイン
アプリをダウンロード！
DiQt（ディクト）
無料
★★★★★
★★★★★
