差分

このページの2つのバージョン間の差分を表示します。

--- en:start [2018/11/19 20:49] – [Nakano Laboratory] asada
+++ en:start [2025/06/05 14:07] (現在) – [Members] asada
@@ 行 1: / 行 1: @@
-FIXME **This page is not fully translated, yet. Please help completing the translation.**
+Computing Information Theory Laboratory <<
+[[http://www.riec.tohoku.ac.jp/|Research Institute of Electrical Communication]] <<
+[[https://www.tohoku.ac.jp/|Tohoku University]]
-Computing and Information Theory Laboratory <<
-Research Institute of Electrical Communication <<
-Tohoku University
 ====== Nakano Laboratory ======
-Our research field is around //programming//.
+The central topic of our research is //programming//.\\
-Main research topics are as follows:
+Research interests:
-  * Programming Language Processors
   * Functional Programming
   * Program Verification
   * Program Transformation
-  * Formal Language Theory
+  * Formal Language
   * Bidirectional Transformation
-  * Program Semantics
+  * Semantics of Programming Languages
 ===== Members =====
-^ Position ^ Name (jp) ^ Name (en) ^ Email ^
+^ Position               ^ Name                                                     ^ Email                                        |   |
-| Prof. | [[http://www.riec.tohoku.ac.jp/~ksk/|中野 圭介]] | NAKANO Keisuke | ksk + @riec.tohoku.ac.jp |
+| 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 |
+| Assistant Prof.        | [[http://www.riec.tohoku.ac.jp/~asada/|ASADA Kazuyuki]]  | asada + @riec.tohoku.ac.jp                   |   |
-| Special Research Students | 阿部 和敬 | ABE Kazuhiro | kazabe + @riec.tohoku.ac.jp |
+| :::                    | [[https://kentaro-kikuchi.github.io/|KIKUCHI Kentaro]]   | kentaro.kikuchi + riec.tohoku.ac.jp          |   |
-| ::: | 小澤 祐也 | OZAWA Yuya | yozawa + @riec.tohoku.ac.jp |
+| Master's Student       | ITO Yo                                                   |
-| ::: | 高橋 祐多 | TAKAHASHI Yuta | tkhsh + @riec.tohoku.ac.jp |
+| :::                    | 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