jpdb beta

① 記号列が表す意味について議論する分野。② 解釈によって、形式的な文や理論に意味を与えることができるような構造を研究する論理学の分野。モデル理論。③ プログラミング言語の意味に関する分野。「プログラム意味論」とも呼ばれる。