大学案内
![]() |
教員名 |
|---|---|
| 鈴木 大郎 | |
| 所属 | |
| コンピュータ理工学科 言語処理系学講座 |
|
| 職位 | |
| 准教授 | |
| 最終学歴 | |
| 筑波大学大学院工学研究科 理学博士(東京大学) | |
| URL | |
| http://www.u-aizu.ac.jp/~taro/ |
主な研究課題
関数型、論理型などの宣言型プログラミング言語の基礎理論(主に書換え系)と実装に関する研究。また、並行計算、プログラム変換などにも興味がある。
![]() |
教員名 |
|---|---|
| 鈴木 大郎 | |
| 所属 | |
| コンピュータ理工学科 言語処理系学講座 |
|
| 職位 | |
| 准教授 | |
| 最終学歴 | |
| 筑波大学大学院工学研究科 理学博士(東京大学) | |
| URL | |
| http://www.u-aizu.ac.jp/~taro/ |
関数型、論理型などの宣言型プログラミング言語の基礎理論(主に書換え系)と実装に関する研究。また、並行計算、プログラム変換などにも興味がある。