en:start

差分

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

この比較画面へのリンク

次のリビジョン		 前のリビジョン
en:start [2018/11/19 20:22] – created kazabeen:start [2021/09/06 16:47] (現在) – [Members] asada
行 1: 行 1:
-FIXME **This page is not fully translated, yet. Please help completing the translation.**\\ //(remove this paragraph once the translation is finished)// +Computing Information Theory Laboratory << 
-FIXME: こんなかんじ +[[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        ^ 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         | 
-| Assoc. 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 | +| Master's Student  | SATO Akira         | akira_sato + riec.tohoku.ac.jp       | 
-| ::: | 小澤 祐也 | OZAWA Yuya | yozawa + @riec.tohoku.ac.jp | +| :::   | HAGA Yuta          | hayu1176 + riec.tohoku.ac.jp         | 
-| ::: | 高橋 祐多 | TAKAHASHI Yuta | tkhsh + @riec.tohoku.ac.jp |+| :::   | MIYASAKA Yusuke    | miya4423 + riec.tohoku.ac.jp         | 
 +| Undergraduate Student  | ISHINOHACHI Kenta  | pacifica + riec.tohoku.ac.jp  | 
 +| :::   | UENISHI Mayu       | mayu0802 + riec.tohoku.ac.jp       | 
 + 
 + 
 +OB: 
 +  * 2021: IMAZU Tetsuhiro 
 +  * 2020: NISHIYAMA Shun, SANADA Kota 
 +  * 2019: ABE Kazuhiro, OZAWA Yuya, TAKAHASHI Yuta
  
  
  • en/start.1542626536.txt.gz
  • 最終更新: 2018/11/19 20:22
  • by kazabe