差分

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

--- en:start [2018/11/19 20:37] – [Members] 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://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 ======
-We research in the field of 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 =====
-^ Role ^ 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                                                   | yoito + riec.tohoku.ac.jp                    |   |
-| ::: | 高橋 祐多 | TAKAHASHI Yuta | tkhsh + @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          |   |
+| COLABS                 | Marie Marken                                             | marken.marie.magdalena.q6 + 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
 ===== Links =====