文書の過去の版を表示しています。
Computing Information Theory Laboratory « Research Institute of Electrical Communication « Tohoku University
Nakano Laboratory
The central topic of our research is programming.
Research interests:
- 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 Student | 西山 舜 | NISHIYAMA Shun | snishiya + @riec.tohoku.ac.jp |
Master's Student | 今津 徹大 | IMAZU Tetsuhiro | t-imazu + @riec.tohoku.ac.jp |
Undergrad Student | 佐藤 光 | SATOU Akira | akira_sato + @riec.tohoku.ac.jp |
眞田 耕太 | SANADA Kota | kotas + @riec.tohoku.ac.jp |
OB:
- 2019: ABE Kazuhiro, OZAWA Yuya, TAKAHASHI Yuta