大学案内

taro 教員名
鈴木 大郎
所属
コンピュータ理工学科
言語処理系学講座
職位
准教授
最終学歴
筑波大学大学院工学研究科 理学博士(東京大学)
URL
http://www.u-aizu.ac.jp/~taro/

主な研究課題

関数型、論理型などの宣言型プログラミング言語の基礎理論(主に書換え系)と実装に関する研究。また、並行計算、プログラム変換などにも興味がある。