酒井研究室（Sakai Lab.）

About关于研究室

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

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

Research研究课题

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

Voices学长学姐的评价

评价基于在读（或曾在读）学生的个人经历，不代表研究室官方观点。评价的有无或数量不代表对研究室的评价。

对于接受采访的学生，无论内容如何，我们可能会赠送谢礼（价值1,000日元的礼品）。