差分
このページの2つのバージョン間の差分を表示します。
両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン | ||
en:start [2018/11/19 20:22] – kazabe | en: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 |
- | + | [[http:// | |
- | + | [[https:// | |
- | Computing | + | |
- | Research Institute of Electrical Communication\\ | + | |
- | Tohoku University | + | |
====== Nakano Laboratory ====== | ====== Nakano Laboratory ====== | ||
- | We research | + | The central topic of our research |
- | 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 | + | * Formal Language |
* Bidirectional Transformation | * Bidirectional Transformation | ||
- | * Program | + | * Semantics |
===== Members ===== | ===== Members ===== | ||
- | ^ Role ^ 名前 | + | ^ Position |
- | | Prof. | [[http:// | + | | Prof. |
- | | Assoc. | + | | Assistant |
- | | Special Research Students | + | | Master' |
- | | ::: | 小澤 祐也 | + | | ::: | HAGA Yuta | hayu1176 |
- | | ::: | 高橋 祐多 | + | | ::: |
+ | | Undergraduate Student | ||
+ | | ::: | ||
+ | |||
+ | |||
+ | OB: | ||
+ | * 2021: IMAZU Tetsuhiro | ||
+ | * 2020: NISHIYAMA Shun, SANADA Kota | ||
+ | * 2019: ABE Kazuhiro, OZAWA Yuya, TAKAHASHI Yuta | ||