副テーマ研究

1. 現代的プログラミング言語

実装を通じ言語機能とその背景理論を修得します。題材は相談して決めます。

ACL2, CafeOBJ, Coq, Isabelle/HOL 等の仕様記述言語や定理証明システムの使い方、背景理論を調査・修得します。

数学の基礎を学びます。輪講として実施するため二人以上での参加が望ましいです。石川キャンパス学生のみ選択可。以下は題材の例。