文書の過去の版を表示しています。
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