酒井正彦 酒井 正彦

情報学研究科 情報システム学専攻 計算論講座 教授
情報学部 コンピュータ科学科 担当

  English page.

専門

ソフトウェア基礎論、特に項書換え系、関数型プログラムの理論、プログラム 変換・検証法

主な研究課題(研究者総覧へのリンク)

主な著書・論文   (DBLP名古屋大学リポジトリ)

経歴

プロジェクト

項書換え系(TRS)などに関する情報

講義

その他

参考情報(他へのリンク)

古い情報


酒井研究室   情報学研究科・情報学部     工学部 電気電子情報学科 情報工学コース   名古屋大学
Last modified: Jul.29.2019 by Masahiko Sakai(mail: sakai at i.nagoya-u.ac.jp).