文書の過去の版を表示しています。
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: Mayu Uenishi, Naotaka Kanno, Keishi Hashiba, Julia Plotnikova（COLABS）
- 2023: Yuta Haga, Yusuke Miyasaka, Kenta Ishinohachi
- 2022: Akira Sato
- 2021: Tetsuhiro Imazu, Altermatt Jean-Marc Bastien（JYPE）
- 2020: Shun Nishiyama, Kota Sanada
- 2019: Kazuhiro Abe, Yuya Ozawa, Yuta Takahashi