[ English | Japanese ]

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: