LAB LOGA page on LabLog, a review site (not the lab's official page)
番原・宋研究室（Banbara/Soh Lab.）
Showing the original Japanese · View translation
知識の表現と推論を、SATや解集合プログラミングで探る研究室。
AboutAbout the lab
知識表現と推論を、基礎理論から社会実装まで。
番原・宋研究室は、
特に、
研究の
高校生・学部生向けに、
Key terms
- 解集合
プログラミング - 解きたい
問題の 条件を 論理の 形で 書き、 ソルバーに 解を 求めさせる 方法。 英語の 頭文字で ASPと 呼ばれる - SAT
- 充足
可能性判定。 論理式を 真に できる 変数の 値の 組が あるかを 調べる 問題、 または その 技術 - 組合せ最適化
- 膨大な
組合せの 中から、 条件を 満たす良い 解を 探し出す問題
NewsLab news
宋准教授開発の
ソルバーが、 XCSP3 Competition 2026 Main CSP Track で 優勝 学生らの
研究発表が、 DAシンポジウム2025で セッション特別賞を 受賞 番原教授らの
論文が、 日本ソフトウェア科学会の 第29回研究論文賞を 受賞 学生チームが、
アルゴリズム デザインコンテストで 特別賞を 受賞
ResearchResearch themes
この
*Illustrative image公倍図形パズルのWebページ
公倍図形パズルを
*Illustrative image時間割を作る最適化の探索手法
系統的な
*Illustrative image独立集合遷移問題のSATソルバー
SAT技術を
*Illustrative image文字列圧縮ツールの研究
解集合
MembersFaculty
番原・宋研究室の
- Professor番原 睦則
- Associate Professor宋 剛秀
VoicesStudent voices
Ratings and reviews reflect the experiences of individual current or former students, not the lab's official views. Whether a lab has reviews, or how many, says nothing about the lab itself.
Students who take part in an interview may receive a thank-you gift worth ¥1,000, regardless of what they say.
Student ratings (0 students)
--
--
--
--
--
--
Student voices answer questions like these
- What's great about this lab?
- What did you learn after joining?
- What's the vibe, and what is the professor like?
- Who is this lab for?
- Where do graduates go?
Your experience can help younger students choose their lab. Your name won't be shown.
Write a lab reviewAnonymous · Your draft is saved if you stopRelatedLabs similar to 番原・宋研究室（Banbara/Soh Lab.）
酒井研究室
西田研究室
結縁・中澤研究室
ソフトウェア論講座 濱口 毅情報学部 コンピュータ科学科このThe information on this page is compiled by the LabLog team from the lab's public information and interviews. For corrections or removal requests, please contact LabLog, not the lab.
Report an errorAbout the images
The top and research theme images are illustrative and were not taken at the lab. They are cropped from Wikimedia Commons images. Cropped CC BY-SA images are provided under the same CC BY-SA license as the original (version shown on each line).
- Top image: “Samurai-sudoku” „Markus Weigel“ / CC BY-SA 4.0 (cropped)
- 公倍図形パズルの
Webページ: “Jigsaw puzzle in progress” Balise42 / CC BY-SA 4.0 (cropped) - 時間割を
作る 最適化の 探索手法 : “Teaching timetable, Triam Udom Suksa School” Paul_012 / CC BY-SA 3.0 (cropped) - 独立集合遷移問題の
SATソルバー: “Network Visualization” Martin Grandjean / CC BY-SA 4.0 (cropped) - 文字列圧縮ツールの
研究: “Basilica Julia set with binary decomposition” Adam majewski / CC BY-SA 4.0 (cropped) - Related lab (酒井研究室
（Sakai Lab.） ): “Education program at Faculty of Computer Science & Engineering 3” Иван Ж / CC BY-SA 4.0 (cropped) - Related lab (西田研究室
（Nishida Lab.） ): “Skeleton programming code” Monky2020 / CC BY-SA 4.0 (cropped) - Related lab (結縁・中澤研究室
（SQLAB） ): “Coder screen shot” Wikideas1 / CC0 (cropped) - Related lab (ソフトウェア論講座 濱口 毅): “Software development methodologies” Marcel Douwe Dekker / CC BY-SA 3.0 (cropped)
About LabLog
LabLog is a lab review app for students only. Student members at each university interview students in labs and publish what they say. Student voices can only be read by students who sign up with a university email address. Operated by bestiee Inc.
Learn more about LabLog ↗Search engines and AI may reference the basic lab info and rating summaries on this page and the description of LabLog. Student voices are for student members only. Automated collection by programs (scraping, or input to or training of AI) is prohibited under Article 8 of the Terms of Service. If you need data for research or analysis, please contact us.