差分
このページの2つのバージョン間の差分を表示します。
両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン | ||
en:start [2018/11/19 20:55] – [Nakano Laboratory] asada | en:start [2024/10/01 14:53] (現在) – [テーブル] asada | ||
---|---|---|---|
行 1: | 行 1: | ||
- | FIXME **This page is not fully translated, yet. Please help completing the translation.** | + | Computing Information Theory Laboratory << |
- | + | [[http:// | |
- | + | [[https:// | |
- | Computing | + | |
- | Research Institute of Electrical Communication << | + | |
- | Tohoku University | + | |
====== Nakano Laboratory ====== | ====== Nakano Laboratory ====== | ||
The central topic of our research is // | The central topic of our research is // | ||
- | Main topics: | + | Research interests: |
- | * Programming Language Processors | ||
* Functional Programming | * Functional Programming | ||
* Program Verification | * Program Verification | ||
行 21: | 行 17: | ||
===== Members ===== | ===== Members ===== | ||
- | ^ Position ^ Name (jp) ^ Name (en) ^ Email ^ | + | ^ Position |
- | | Prof. | [[http:// | + | | Prof. | [[http:// |
- | | Assistant Prof. | [[http:// | + | | Assistant Prof. | [[http:// |
- | | Special Research Students | + | | ::: |
- | | ::: | 小澤 祐也 | + | | Master' |
- | | ::: | 高橋 祐多 | + | | ::: | NAKAMURA Takumu |
+ | | ::: | NOGI Chihiro | ||
+ | | ::: | SAITO Yuki | yuki1226 + riec.tohoku.ac.jp | ||
+ | | ::: | HUA Xiu-Heng Kevin | xhua + riec.tohoku.ac.jp | ||
+ | | ::: | SATO Ryunosuke | ||
+ | | COLABS | ||
+ | | Undergraduate Student | ||
+ | | ::: | NAKAI Mizuki | ||
+ | | ::: | NAGATA Kazuki | ||
+ | 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 | ||
===== Links ===== | ===== Links ===== |