いみろん – Vocabulary details

いみろん

Noun

1. 記号列が表す意味について議論する分野。

2. 解釈によって、形式的な文や理論に意味を与えることができるような構造を研究する論理学の分野。モデル理論。

3. プログラミング言語の意味に関する分野。「プログラム意味論」とも呼ばれる。

い

み

ろん

meaning; significance; sense

① 適切な順序に沿って筋道を立てながら説明される考え。または、そのように考えを述べること。② 仏教の教説を解説した書物の総称。アビダルマの漢訳語。

situation semantics

general semantics

data semantics

jpdb beta