最終更新日：2025/11/25

Dictionary quizzes to help you remember vocabulary

(logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.

音声機能が動作しない場合はこちらをご確認ください

正解を見る

deep embedding

編集履歴（0）

元となった辞書の項目

deep embedding

名詞

不可算名詞可算名詞

(logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.

日本語の意味

ある言語（通常は論理やプログラミング言語）の表現を、別の言語上でデータとしてモデル化すること、すなわちその言語の構文や意味論を対象言語に埋め込む技法。

このボタンはなに？

To ensure formal correctness we chose a deep embedding of the specification language inside the proof assistant, so each construct became explicit data we could reason about.

Google翻訳 / DeepL翻訳

形式的な正確さを確保するために、定義言語を証明支援系の内部で各構成要素をデータとしてモデル化する形で表現し、各構成を明示的に扱えるようにしました。

詳細

意味（1）

(logic, uncountable) The act of representing one language, typically a logic or programming language, with another by modeling expressions in the former as data in the latter.

意味（2）

(logic, countable) A specific such representation.

deep embeddings

（ plural ）

詳細

deep embedding

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

アプリをダウンロード！

deep embedding

Dictionary quizzes to help you remember vocabulary

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！