鵜林研究室

About关于研究室

プログラムのバグを自動で直す研究。

鵜林研究室は、ソフトウェア工学を研究しています。
AI・機械学習や、多くの人の知恵を集めた「集合知」などを使い、高品質なソフトウェアづくりを目指しています。
プログラムのバグを自動で見つけて直す研究や、ソフトウェアの仕様を数学的に検証する形式手法の研究に取り組んでいます。
研究成果を論文にするだけでなく、実際に使える開発支援ツールをオープンソースソフトウェアとして公開しています。

Research研究课题

鵜林研究室では、AI・機械学習や集合知を活用したソフトウェア工学について研究しています。プログラムのバグを自動で見つけて直す研究や、ソフトウェアの信頼性を数学的に検証する研究に取り組んでいます。

※示意图

AIによるプログラミング支援↗

プログラミング言語理論やAI・機械学習、集合知を組み合わせ、バグの自動修正や、プログラムの正しさを自動で証明する仕組みなどを研究しています。

※示意图

ソフトウェアリポジトリマイニング↗

世界中の開発者が作ったソースコードや開発の記録から、役立つ知識を見つけ出す研究です。バグを含みやすいコミットの予測などに取り組んでいます。

※示意图

形式手法による高信頼ソフトウェア↗

ソフトウェアの仕様を、数学の考え方に基づいて記述し検証する「形式手法」を使い、信頼性の高いソフトウェアの設計を検証する研究をしています。

Voices学长学姐的评价

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

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