鵜林研究室

About关于研究室

自动修复程序错误的研究。

鵜林研究室研究软件工程。
该研究室利用AI・机器学习以及汇集众人智慧的“集体智慧”等方法，致力于打造高质量的软件。
该研究室从事自动发现并修复程序错误（bug）的研究，以及用数学方法验证软件规格的形式化方法研究。
该研究室不仅将研究成果撰写成论文，还将切实可用的开发支持工具作为开源软件公开发布。

Research研究课题

鵜林研究室研究利用AI・机器学习和集体智慧的软件工程。该研究室从事自动发现并修复程序错误的研究，以及用数学方法验证软件可靠性的研究。

※示意图

AI辅助编程↗

将编程语言理论、AI・机器学习与集体智慧相结合，研究自动修复程序错误、自动证明程序正确性的机制等。

※示意图

软件仓库挖掘↗

从全世界开发者编写的源代码和开发记录中挖掘有用知识的研究。该研究室致力于预测容易包含错误的提交（commit）等课题。

※示意图

基于形式化方法的高可靠软件↗

该研究室运用基于数学思想来描述并验证软件规格的“形式化方法”，研究如何验证高可靠性软件的设计。

Voices学长学姐的评价

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

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