酒井 正彦

情報学研究科 情報システム学専攻 計算論講座 教授
情報学部 コンピュータ科学科 担当
研究室のページ

専門

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

　項書換え系、プログラム変換・プログラム生成、SATソルバ、難解言語、自動採譜など

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

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

経歴

プロジェクトとソフトウェア

• 難解言語Malbolge
• 擬ブール制約ソルバ NaPS (the Nagoya pseudo-Boolean constraint solver)
• SQLに基づく組合せ最適化ソルバ CombSQL+
• 自動採譜プロジェクト qparse
• 音声つきスライド支援 show-pdf-slides  デモ  関連記事（情報玉手箱）

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

• TRS研究者へのリンクリスト(Aart Middeldorpさんのページ)
• TRSミーティングのページ
• Rewritng Home Page へのリンク
• Termination Competition.
• Tyrolean Termination Tool
• The Quantified Boolean Formula Satisfiability Library
  

講義

• オートマトン・形式言語及び演習 (情報学部コンピュータ科学科、春II期)
• 非手続き型言語及び演習 (情報学部コンピュータ科学科、春I期)
• 計算論基礎特論A（情報学研究科、春I期、2020年度は西田准教授が担当します）
• オートマトン・形式言語特論 (大学院、秋I期、2019年の情報)
• 基礎セミナーB (全学講義、秋期、2019年の情報)
• 非手続き型言語及び演習 (工学部情報工学コース、2018年の情報)
• 計算論基礎特論 (2/2) (情報科学研究科、2015年前期の情報)
• 計算機数理科学特論 (1/3) (情報科学研究科、2008年の情報)
• プログラム理論特論 (情報科学研究科、2002年の情報)

その他

• 椎間板ヘルニアに関する話題（2000年頃に書いたもの。多少脚色あり）
• ヤマハ音楽振興会から支援を受けて行った研究が同財団のページで紹介されました。
    リズム表記の数学的モデルとその自動採譜への応用

参考情報（他へのリンク）

• SchemeやHaskellの情報(プログラミング「大好き」のページ)
• 電子情報通信学会ソフトウェアサイエンス研究会
• 情報処理学会・プログラミング研究会
• 組合せゲーム・パズル プロジェクト　研究会

古い情報

https://www.uc.pt/en/congressos/ijcar2016
• LOPSTR 2020 - 30th International Symposium on Logic-Based Program Synthesis and Transformation
• WPTE 2017 - 4th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
• 第46回TRSミーティング (2017.2.27-3.1 at Shinojima)
• IJCAR 2016
• WPTE 2016
• RTA 2015
• WPTE 2015
• WPTE 2014
• 第38回TRSミーティング (2013.4.2-4 at Kofu)
• RTA 2012 - 23rd International Conference on Rewriting Techniques and Applications (2012.5.28-6.2 at Nagoya Univ.)
• 第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.)
• TRSコンパイラ cdimple
• TRS合流性検査ツール