文書の過去の版を表示しています。
This page is not fully translated, yet. Please help completing the translation.
Computing Information Theory Laboratory « Research Institute of Electrical Communication « Tohoku University
Nakano Laboratory
The central topic of our research is programming.
Research interests:
- Programming Language Processors
- Functional Programming
- Program Verification
- Program Transformation
- Formal Language
- Bidirectional Transformation
- Semantics of Programming Languages
Members
Position | 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 |