酒井正彦 酒井 正彦

情報科学研究科 計算機数理科学専攻 計算論講座 教授  (2017年4月より情報学研究科に移ります)
工学部 電気電子・情報工学科 情報工学コース担当  (2017年4月より情報学部に移ります)

  English page.

専門

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

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

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

経歴

難読言語Malbolge

擬ブール制約ソルバ NaPS (the Nagoya pseudo-Boolean constraint solver)

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

講義

その他

他へのリンク

古い情報


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