差分
このページの2つのバージョン間の差分を表示します。
両方とも前のリビジョン 前のリビジョン 次のリビジョン | 前のリビジョン最新のリビジョン両方とも次のリビジョン | ||
en:start [2018/11/19 20:56] – [Nakano Laboratory] asada | en: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:// | |
- | + | [[https:// | |
- | Computing | + | |
- | Research Institute of Electrical Communication << | + | |
- | Tohoku University | + | |
====== Nakano Laboratory ====== | ====== Nakano Laboratory ====== | ||
行 11: | 行 8: | ||
Research interests: | Research interests: | ||
- | * Programming Language Processors | ||
* Functional Programming | * Functional Programming | ||
* Program Verification | * Program Verification | ||
行 21: | 行 17: | ||
===== Members ===== | ===== Members ===== | ||
- | ^ Position ^ Name (jp) ^ Name (en) ^ Email ^ | + | ^ Position |
- | | Prof. | [[http:// | + | | Prof. |
- | | Assistant Prof. | [[http:// | + | | Assistant Prof. |
- | | Special Research | + | | Special Research |
- | | ::: | 小澤 祐也 | + | | Master' |
- | | ::: | 高橋 祐多 | + | | Undergrad Student |
+ | | ::: | ||
+ | OB: | ||
+ | * 2019: ABE Kazuhiro, OZAWA Yuya, TAKAHASHI Yuta | ||
===== Links ===== | ===== Links ===== |