酒井 正彦
情報学研究科 情報システム学専攻 計算論講座 教授
情報学部 コンピュータ科学科 担当
English page.
専門
ソフトウェア基礎論、特に項書換え系、関数型プログラムの理論、プログラム
変換・検証法
- 項書換え系
- プログラム変換・プログラム生成
- SATソルバ
- 難解言語
項書換え系(TRS)などに関する情報
講義
その他
参考情報(他へのリンク)
古い情報
酒井研究室
情報学研究科・情報学部
情報科学研究科
工学部 電気電子情報学科 情報工学コース
名古屋大学
Last modified: Oct.23.2018 by Masahiko Sakai(mail: sakai at i.nagoya-u.ac.jp).