酒井研究室（Sakai Lab.）

About研究室について

ソフトウェアの基礎を、項書換え系などから探る。

酒井研究室は、ソフトウェア基礎論を専門とし、特に項書換え系、関数型プログラムの理論、プログラム変換・検証法を研究しています。
主な研究課題として、項書換え系、プログラム変換・プログラム生成、SATソルバ、難解言語、自動採譜などを挙げています。
研究室のプロジェクトとして、擬ブール制約ソルバ NaPS や、SQLに基づく組合せ最適化ソルバ CombSQL+ などが紹介されています。
研究室のページは、酒井研・西田研の共通のページになっています。

Research研究テーマ

酒井研究室は、ソフトウェア基礎論を専門に、項書換え系や関数型プログラムの理論、プログラム変換・検証法を研究しています。研究課題には、プログラム生成、SATソルバ、難解言語、自動採譜なども挙げられています。

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。