酒井研究室（Sakai Lab.）

About关于研究室

从项重写系统等出发，探究软件的基础。

酒井研究室专攻软件基础理论，尤其研究项重写系统、函数式程序的理论以及程序变换与验证方法。
该研究室列举的主要研究课题有项重写系统、程序变换与程序生成、SAT求解器、深奥编程语言、自动记谱等。
作为该研究室的项目，介绍了伪布尔约束求解器 NaPS 以及基于SQL的组合优化求解器 CombSQL+ 等。
该研究室的页面由酒井研究室和西田研究室共用。

Research研究课题

酒井研究室专攻软件基础理论，研究项重写系统、函数式程序的理论以及程序变换与验证方法。所列举的研究课题还包括程序生成、SAT求解器、深奥编程语言、自动记谱等。

Voices学长学姐的评价

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

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