Last Updated:2025/11/25

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

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

deep embedding

Edit Histories(0)
Source Word

deep embedding

Noun
uncountable countable
Japanese Meaning
ある言語(通常は論理やプログラミング言語)の表現を、別の言語上でデータとしてモデル化すること、すなわちその言語の構文や意味論を対象言語に埋め込む技法。
What is this buttons?

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

plural

Dictionary quizzes to help you remember vocabulary

Edit Histories(0)

Login / Sign up

 

Download the app!
DiQt

DiQt

Free

★★★★★★★★★★