# Minor Research Projects

## 1. Modern programming languages

We learn features of modern programming languages and their underlying theories, implementing a small program.

## 2. Interactive theorem proving

We learn the usage and background theory of algebraic specification languages and/or interactive theorem provers, such as ACL2, CafeOBJ, Coq, Isabelle/HOL.

## 3. Math exercises

Organizing reading groups, we study basic/advanced topics in mathematics. This is only available for students at the Ishikawa campus. Here is the list of topics:

- The fundamental theorem of algebra.
- Gödel's incompleteness theorem.
- Banach-Tarski's theorem.
- Galois theory (completed).
- The four color theorem (completed).
- Zermelo's well-ordering theorem (completed).