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

検索結果- 英語 - 英語

検索内容:

typing'.

find as you type

名詞
 不可算名詞
Synonym of autocomplete (when used to search for something)
日本語の意味
入力中の文字に基づき、リアルタイムで検索候補を提示する機能 / オートコンプリート、すなわち文字を入力する際に自動で補完候補を表示する機能
このボタンはなに？
翻訳する

私たちの新しいテキストエディタには入力補完機能があり、該当箇所を瞬時にハイライトします。

詳細
詳細

name-based type systems

名詞
 活用形 複数形
plural of name-based type system
日本語の意味
名前に基づく型システムの複数形。すなわち、名前を基準として型を識別する方式のシステム群を指す。
このボタンはなに？
翻訳する

コンパイラの講義で、学生たちは名前に基づく型システムと構造的な型システムの間の性能と使いやすさのトレードオフを比較しました。

詳細
詳細

name-based type system

名詞
(software) Synonym of nominative type system
日本語の意味
名称に基づく型システム。すなわち、型の同一性や互換性が型の名称（名前）によって判断されるシステム（ソフトウェアにおける用語）
このボタンはなに？
翻訳する

コンパイラは無関係な構造体間で偶発的な型の等価性が生じることを防ぐために名前に基づく型システムを採用している。

詳細
関連語

name-based type systems
（ plural ）

詳細

Hindley-Milner type systems

名詞
 活用形 複数形
plural of Hindley-Milner type system
日本語の意味
ヒンドリー・ミルナー型システムの複数形
このボタンはなに？
翻訳する

ヒンドリーとマイナーによって考案された多相型の型システムは、多くの関数型プログラミング言語で簡潔な型推論を可能にします。

詳細
詳細

Hindley-Milner type system

名詞
(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.
日本語の意味
計算理論におけるラムダ計算のための伝統的な型システムで、パラメトリック多相性を備えています。プログラマが型注釈などを明示的に与えなくても、プログラムの最も一般的な型（最も広い型）を自動的に推論できることが特徴です。
このボタンはなに？
翻訳する

関数型プログラミングを学ぶ学生は、型推論を学ぶ際に、ラムダ計算のための古典的な型システムでパラメトリック多相性を備え、完全性で知られ、プログラマが型注釈を与えなくても与えられたプログラムの最も一般的な型を推論できるものによく出会います。

詳細
関連語

Hindley-Milner type systems
（ plural ）

詳細
Webで検索する

ログイン / 新規登録

ログイン

パスワードを忘れましたか？
──── or ────

アカウントを持っていませんか？ 新規登録

新規登録

──── or ────

アカウントを持っていますか？ ログイン

　

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

DiQt（ディクト）

無料

★★★★★★★★★★