en:start

差分

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

この比較画面へのリンク

両方とも前のリビジョン 前のリビジョン
次のリビジョン		 前のリビジョン
最新のリビジョン両方とも次のリビジョン
en:start [2018/11/19 20:36] – [Members] asadaen:start [2019/10/09 22:08] – add nishiyama kazabe
行 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 ====== ====== 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   * Functional Programming
   * Program Verification   * Program Verification
   * Program Transformation   * Program Transformation
-  * Formal Language Theory+  * Formal Language
   * Bidirectional Transformation   * Bidirectional Transformation
-  * Program Semantics+  * Semantics of Programming Languages
  
 ===== Members ===== ===== Members =====
  
-^ Role ^ 名前 ^ Name ^ Email ^ +^ Position                  ^ Name (jp)                                       ^ Name (en)        ^ 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 | +| Special Research Student  | 西山 舜                                            | NISHIYAMA Shun   | snishiya + @riec.tohoku.ac.jp    | 
-| ::: | 小澤 祐也 | OZAWA Yuya | yozawa + @riec.tohoku.ac.jp | +| Master's Student          | 今津 徹大                                           | IMAZU Tetsuhiro  | t-imazu + @riec.tohoku.ac.jp     | 
-| ::: | 高橋 祐多 | TAKAHASHI Yuta | tkhsh + @riec.tohoku.ac.jp |+| Undergrad Student         | 佐藤 光                                            | SATOU Akira      | akira_sato + @riec.tohoku.ac.jp  | 
 +| :::                       | 眞田 耕太                                           | SANADA Kota      | kotas + @riec.tohoku.ac.jp       |
  
 +OB:
 +  * 2019: ABE Kazuhiro, OZAWA Yuya, TAKAHASHI Yuta
  
 ===== Links ===== ===== Links =====
  • en/start.txt
  • 最終更新: 2021/09/06 16:47
  • by asada