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

About关于研究室

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

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

Research研究课题

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

※示意图

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

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

※示意图

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

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

※示意图

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

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

※示意图

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

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

Voices学长学姐的评价

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

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