Our research aims at developing integrated development environments
utilizing techniques in programming languages such as type systems and
program transformations. Up to now practical systems like Eclipse
provide basic refactoring functionalities such as renaming
identifiers. Our goal is to develop systems that provide various
useful features such as context-sensitive completion of identifiers,
expressions, keywords, and syntax, and various refactoring
functionalities such as renaming variables and extracting functions,
by reusing compiler code as much as possible.

## Research topics

- Theory and implementation of programming support
- Theory and implementation of 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