Nakano Laboratory [中野研究室]

この文書は読取専用です。文書のソースを閲覧することは可能ですが、変更はできません。もし変更したい場合は管理者に連絡してください。
Computing Information Theory Laboratory <<
[[http://www.riec.tohoku.ac.jp/|Research Institute of Electrical Communication]] <<
[[https://www.tohoku.ac.jp/|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                                                     ^ Email                                        |   |
| Prof.                  | [[http://www.riec.tohoku.ac.jp/~ksk/|NAKANO Keisuke]]    | ksk + @riec.tohoku.ac.jp                     |   |
| Assistant Prof.        | [[http://www.riec.tohoku.ac.jp/~asada/|ASADA Kazuyuki]]  | asada + @riec.tohoku.ac.jp                   |   |
| :::                    | [[https://kentaro-kikuchi.github.io/|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  | TAKASUGI Jotaro                                          | 
| :::                    | YAMADA Ryunosuke                                          | 



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



===== Links =====
  * [[https://www.tohoku.ac.jp/|Tohoku University]]
  * [[http://www.riec.tohoku.ac.jp/|Research Institute of Electrical Communication (Tohoku University)]]
  * [[https://ipl.cs.uec.ac.jp/|Iwasaki Lab. (The University of Electro-Communications)]]
  * [[http://research.nii.ac.jp/~hu/|Hu Lab. (National Institute of Informatics)]]
  * [[http://takeichi.ipl-lab.org/|The site of Takeichi Lab. (University of Tokyo)]]
  * [[internal:start|Members Only]]