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

About研究室について

知識表現と推論を、基礎理論から社会実装まで。

番原・宋研究室は、知識表現と推論（Knowledge Representation and Reasoning）の分野で、基礎理論から社会実装まで幅広く研究しています。
特に、宣言的問題解決のための汎用的なアプローチに注目し、解集合プログラミング、SAT（充足可能性判定）、制約プログラミングを中心に研究を進めています。
研究の題材には、大学のコース時間割、文字列の圧縮、パズルなどがあります。
高校生・学部生向けに、SATの紹介や看護師の勤務表作成の記事を、名古屋大学情報学部のブログで公開しています。

Research研究テーマ

この研究室は、知識表現と推論の分野で、解集合プログラミング、SAT、制約プログラミングを使った問題解決を研究しています。大学のコース時間割や文字列の圧縮などの具体的な問題を取り上げ、解くための手法やソルバーを研究しています。

※イメージ画像

公倍図形パズルのWebページ↗

公倍図形パズルをまとめたWebページ「名古屋大学ポリオミノの世界」を公開しています。ポリオミノから生まれるさまざまな公倍図形を楽しめます。

※イメージ画像

時間割を作る最適化の探索手法↗

系統的な探索とメタ戦略を組み合わせた、組合せ最適化問題のための探索手法 ALNPS を提案しています。コース時間割問題に適用した結果を報告しています。

※イメージ画像

独立集合遷移問題のSATソルバー↗

SAT技術を使って、独立集合遷移問題を解くソルバーを研究しています。クリーク分割を使う点が特長です。

※イメージ画像

文字列圧縮ツールの研究↗

解集合プログラミングを使った文字列圧縮ツールを研究しています。文字列を研究する研究者と協力した研究です。

Voices先輩の声

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

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