プログラミング言語処理系

学部（3回生） 工学部情報学科計算機科学コース

プログラミング言語の実装に関する基本的な概念と技術を扱い、構文解析、型システム、コード生成を含みます。

授業資料

計算機科学実験及演習4

学部（3回生） 工学部情報学科計算機科学コース

実践的な実装を通じてコンピュータサイエンスの概念を強化するためのハンズオンプログラミング実験と演習。

授業ポータル

プログラム意味論

大学院 情報学研究科

プログラミング言語の形式的意味論の高度な研究。操作的意味論、表示的意味論、公理的意味論を含みます。

システム検証論

大学院 情報学研究科

システム検証の理論と実践。モデル検査、定理証明、実用的な検証ツールをカバーします。