酒井正彦 酒井 正彦

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

  English page.

専門

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

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

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

経歴

難読言語Malbolge

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

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

講義

その他

他へのリンク

古い情報


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