文書の過去の版を表示しています。
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 | |
|---|---|---|
| Prof. | NAKANO Keisuke | ksk + @riec.tohoku.ac.jp |
| Assistant Prof. | ASADA Kazuyuki | asada + @riec.tohoku.ac.jp |
| KIKUCHI Kentaro | kentaro.kikuchi + riec.tohoku.ac.jp | |
| Master's Student | ITO Yo | yoito + riec.tohoku.ac.jp |
| NAKAMURA Takumu | takumu + riec.tohoku.ac.jp | |
| NOGI Chihiro | nogi + riec.tohoku.ac.jp | |
| SAITO Yuki | yuki1226 + riec.tohoku.ac.jp | |
| HUA Xiu-Heng Kevin | xhua + riec.tohoku.ac.jp | |
| SATO Ryunosuke | sato.ryunosuke.q4 + dc.tohoku.ac.jp | |
| Undergraduate Student | ONODERA Kosuke | onodera.kosuke.s5 + dc.tohoku.ac.jp |
| NAKAI Mizuki | nakai.mizuki.q8 + dc.tohoku.ac.jp | |
| NAGATA Kazuki | nagata.kazuki.s1 + dc.tohoku.ac.jp |
OB:
- 2024: UENISHI Mayu, KANNO Naotaka, HASHIBA Keishi
- 2023: HAGA Yuta, MIYASAKA Yusuke, ISHINOHACHI Kenta
- 2022: SATO Akira
- 2021: IMAZU Tetsuhiro
- 2020: NISHIYAMA Shun, SANADA Kota
- 2019: ABE Kazuhiro, OZAWA Yuya, TAKAHASHI Yuta