文書の過去の版を表示しています。
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 | ||
| NAKAMURA Takumu | |||
| SAITO Yuki | |||
| HUA Xiu-Heng Kevin | |||
| SATO Ryunosuke | |||
| ONODERA Kosuke | |||
| NAGATA Kazuki | |||
| JYPE | Kevin Gustavo Flores | ||
| Undergraduate Student | 高杉 丈太郎 | ||
| 山田 龍之介 |
OB:
- 2025: Chihiro Nogi, Mizuki Nakai, Marie Marken（COLABS）
- 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