Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
酒井正彦 ホームページ
[go: Go Back, main page]

酒井正彦 酒井 正彦

情報科学研究科 計算機数理科学専攻 計算論講座 教授
工学部 電気電子・情報工学科 情報工学コース担当

  English page.

専門

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

主な研究課題

主な著書・論文

経歴

項書換え系(TRS, Term Rewriting Systems)に関するもろもろ

講義

その他

他へのリンク

古い情報

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