プログラム意味論
概要
プログラム意味論はプログラムの意味を論理と数学的知識をもって研究する分野である。
解説
たとえば、walkという英語の意味を人に伝えるときにはいろんなやり方があります。
実際に歩いて見せてもいいし、日本語で「歩く」と翻訳することもできます。
これをプログラミング言語で行うのが意味論です。
実際に実行してみせて意味を示すのが操作的意味論、
別のプログラミング言語や数学上の記法に翻訳するのが表示的意味論と呼ばれています。
意味論班でやったこと
ペアノ自然数の定義
四則演算とブール演算の意味論
上記に加え変数を定義できる疑似言語の意味論
さらに関数と再帰を加えた言語の意味論
以上でやった内容の言語インタプリタをOCamlで実装