文書の過去の版を表示しています。
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
Members
Role | Name (jp) | Name (en) | |
---|---|---|---|
Prof. | 中野 圭介 | NAKANO Keisuke | ksk + @riec.tohoku.ac.jp |
Assistant Prof. | 浅田 和之 | ASADA Kazuyuki | asada + @riec.tohoku.ac.jp |
Special Research Students | 阿部 和敬 | ABE Kazuhiro | kazabe + @riec.tohoku.ac.jp |
小澤 祐也 | OZAWA Yuya | yozawa + @riec.tohoku.ac.jp | |
高橋 祐多 | TAKAHASHI Yuta | tkhsh + @riec.tohoku.ac.jp |