番原・宋研究室（Banbara/Soh Lab.）

About关于研究室

从基础理论到社会应用落地，研究知识表示与推理

番原・宋研究室在知识表示与推理（Knowledge Representation and Reasoning）领域，从基础理论到社会应用落地开展广泛研究。
尤其关注用于声明式问题求解的通用方法，以回答集编程、SAT（可满足性判定）和约束编程为中心推进研究。
研究题材包括大学的课程时间表、字符串压缩、谜题等。
面向高中生和本科生，该研究室在名古屋大学信息学部的博客上发布了介绍SAT以及护士排班表制作的文章。

Research研究课题

该研究室在知识表示与推理领域，研究如何使用回答集编程、SAT和约束编程来求解问题。研究以大学课程时间表和字符串压缩等具体问题为对象，探索求解这些问题的方法和求解器。

※示意图

公倍图形谜题网页↗

公开了汇总公倍图形谜题的网页“名古屋大学多联骨牌的世界”。可以欣赏由多联骨牌衍生出的各种公倍图形。

※示意图

用于制作时间表的优化搜索方法↗

提出了ALNPS，这是一种面向组合优化问题、将系统性搜索与元策略相结合的搜索方法，并报告了将其应用于课程时间表问题的结果。

※示意图

独立集重构问题的SAT求解器↗

研究利用SAT技术求解独立集重构问题的求解器，特点是使用了团划分。

※示意图

字符串压缩工具的研究↗

研究使用回答集编程的字符串压缩工具。这是与研究字符串的研究者合作开展的研究。

Voices学长学姐的评价

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

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