English Dictionary

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.

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

意味（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 ）