Our research aims at developing program development system 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,
patterns for 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