Our research aims at developing programming tools which utilize some
research results in programming languages such as parsing, type
systems, and program transformations. We develop tools for
completion of syntax, identifiers, and expressions and detecting
code clones in functional languages.

## Research topics

- Theory and implementation of programming tools
- Theory and implementation of tools for programming learning support
- Sudoku (puzzle filling numbers, also called Number place)
- Estimating the difficulty of Sudoku problems
- Generating Sudoku problems supporting designation of initial placement

- Fusion of recursive functions
- Derivation of graph algorithms

## Some materials