deep embedding

Noun

uncountable countable

(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.

Japanese Meaning

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

What is this buttons?

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 Translation / DeepL Translation

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

Details

Sense（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.

Sense（2）

(logic, countable) A specific such representation.

deep embeddings

（ plural ）

Details

deep embedding

Dictionary quizzes to help you remember the meaning

Login / Sign up

Download the app!

deep embedding

Dictionary quizzes to help you remember the meaning

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!