酒井 正彦

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

専門

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

• 項書換え系
• プログラム変換・プログラム生成
• 仕様の検証・定理自動証明

主な著書・論文   (DBLP)

• オーム社「プログラムの設計」　 練習問題解答例
• 論文誌等・ 国際会議・ その他

経歴

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

• RTA2012 - 23rd International Conference on Rewriting Techniques and Applications (2011.5.28-6.2 at Nagoya Univ.)
  
  
• TRSコンパイラ cdimple
• TRS合流性検査ツール
  
  
• TRS研究者へのリンクリスト(Aart Middeldorpさんのページ)
• TRSミーティングのページ
• Rewritng Home Page へのリンク
• Termination Competition.
• Tyrolean Termination Tool
• The Quantified Boolean Formula Satisfiability Library
  
  
• Scientific Literature Digital Library

講義

• オートマトン・形式言語特論(前期)
• 基礎セミナーA(前期)
• オートマトン理論及び演習(後期)(2011年度の情報)
• 非手続き型言語及び演習(後期)(2011年度の情報)
• 計算機数理科学特論(1/3)(2008年の情報)
• 計算機科学論理特論(2005年の情報)
• プログラム理論特論(2002年の情報)

その他

• 椎間板ヘルニアに関する話題(多少脚色あり)

他へのリンク

• RTA 2012 - 23rd International Conference on Rewriting Techniques and Applications (2011.5.28-6.2 at Nagoya Univ.)
• SchemeやHaskellの情報(プログラミング「大好き」のページ)
• LAシンポジュウム
• 電子情報通信学会コンピュテーション研究会
• 電子情報通信学会ソフトウェアサイエンス研究会
• 情報処理学会・プログラミング研究会

古い情報

• 第35回TRSミーティング (2011.9.12-14 at Nagoya Univ.)
• 2nd Mini-Workshop on Rewriting Techniques (2009.10.14 at Nagoya Univ.)
• 第23回TRSミーティング (2003.9.24-26 at Nagoya Univ.)
• 第12回TRSミーティング (1997.11.4-5 at Nagoya Univ.)