文字サイズ小中大

プログラミング言語の様々な意味定義手法について学び，プログラムの仕様記述や検証，合成，変換などの原理とその実際的な応用について理解することにより，プログラミング言語の形式的な取り扱いを習得する。