en:start

差分

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

この比較画面へのリンク

両方とも前のリビジョン 前のリビジョン
次のリビジョン		 前のリビジョン
en:start [2018/11/19 21:03] – asadaen:start [2021/09/06 16:47] (現在) – [Members] asada
行 1: 行 1:
-FIXME **This page is not fully translated, yet. Please help completing the translation.** 
- 
 Computing Information Theory Laboratory << Computing Information Theory Laboratory <<
-Research Institute of Electrical Communication << +[[http://www.riec.tohoku.ac.jp/|Research Institute of Electrical Communication]] << 
-Tohoku University+[[https://www.tohoku.ac.jp/|Tohoku University]]
  
 ====== Nakano Laboratory ====== ====== Nakano Laboratory ======
行 10: 行 8:
 Research interests: Research interests:
  
-  * Programming Language Processors 
   * Functional Programming   * Functional Programming
   * Program Verification   * Program Verification
行 20: 行 17:
 ===== Members ===== ===== 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 | +| 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.1542629017.txt.gz
  • 最終更新: 2018/11/19 21:03
  • by asada