鵜林研究室

About研究室について

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

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

Research研究テーマ

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

※イメージ画像

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

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

※イメージ画像

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

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

※イメージ画像

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

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

Voices先輩の声

評価・クチコミは、在籍している（していた）学生個人の経験に基づくもので、研究室の公式見解ではありません。クチコミの有無や件数は、研究室の評価を表すものではありません。

インタビューに協力いただいた学生に、内容にかかわらず謝礼（1,000円分のギフト）をお渡しすることがあります。