意味論
semantics
記号にどの様な解釈を割り当てるかが問題
言葉と言葉の関係に関する学問
具象的記号がその抽象的意味や抽象的意味の基本的性質とどの様に関係しているかなどに関心がある
項がどの様に評価されるかの定義
数学では、中身に関与せず記号の操作によって対照を扱う証明論に対置される分野で、意味について扱う分野
意味論に属する概念の例
様々な意味論
プログラムの実際の挙動も関係ある
割と具体的な印象
一つの規則が変わるだけで、全体のプログラムの意味が変わってしまう
プログラムの実際の挙動は関係ない
めっちゃ抽象的な印象
一つの結果が多くのプログラミング言語に対して当てはまる
参考