特別研究^※（ゼミ）テーマ・内容

プログラミング言語及びシステムの数学的モデル

特別研究では、プログラミング言語やシステムの数理的・論理学的モデルに関する文献を読むことを予定しています。これにより、プログラムやシステムの挙動の正しさを数学的に確立できることを見ていきます。また、こうしたモデルの構成に用いられる数学（領域理論、圏論、余代数など）についても学びます。

^※特別研究とは、4年間の学びをもとに各自が研究テーマを設定し、教員の指導を受けて研究を深め、卒業研究としてまとめるもので、理学部での4年間の集大成となる重要な授業です。