文書の過去の版を表示しています。
This page is not fully translated, yet. Please help completing the translation.
Computing and Information Theory Laboratory
Research Institute of Electrical Communication
Tohoku University
Nakano Laboratory
We research in the field of programming. Main research topics are as follows.
- Programming Language Processors
- Functional Programming
- Program Verification
- Program Transformation
- Formal Language Theory
- Bidirectional Transformation
- Program Semantics