文書の過去の版を表示しています。
This page is not fully translated, yet. Please help completing the translation.
(remove this paragraph once the translation is finished)
: こんなかんじ
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