Naoyuki Tamura, Information Science and Technology Center, Kobe University
2012年の年賀状 ニコリ：美術館	[ English Page ]   田村直之 (たむらなおゆき) 教授 (学術博士) 〒657-8501 兵庫県 神戸市 灘区六甲台町1-1 神戸大学 情報基盤センター 工学部 情報知能工学科， システム情報学研究科 兼任 電話: 078-803-5364 E-mail: tamura @ kobe-u.ac.jp 研究室: 情報基盤センター 本館3階 研究室2 地図: Goole Maps APIを用いた地図 論文等: 業績リスト, DBLP, CiNii, ACM Digital Library, Google Scholar, Microsoft Academic Search, 科研費DB

最新情報

[2011年09月12日]

Eleventh International Symposium on Functional and Logic Programming (FLOPS 2012) will be held in May 23-25, 2012 at Kobe University.
See First Call For Papers

[2011年09月09日]

前川禎男先生におかれましては，平成23年春の叙勲に際し瑞宝中綬章を受章されました． つきましては，11月20日(日)に神戸ポートピアホテルにおいて， 前川禎男先生 叙勲祝賀会および前川研究室 研究交流会を開催いたします． 皆様の参加をお待ちしています．

[August 5, 2011]

Prolog Cafe is used as a tool within Gerrit. Gerrit is a web based code review system, and it is used in many software development projects, such as Android.

[July 1, 2011]

glueminisat solver by Hidetomo Nabeshima (Yamanashi University) became the winner in UNSAT Application category at SAT competition 2011, and was ranked second in SAT+UNSAT Application category and UNSAT Application category (multicore track). Hidetomo Nabeshima is a memeber of CSPSAT project.

[July 1, 2011]

QMaxSAT solver by Miyuki Koshimura (Hasegawa Laboratory, Kyushu University) became the winner in Partial Max-SAT Industrial category at Sixth Max-SAT Evaluation, and was ranked second in Crafted category. Miyuki Koshimura is a memeber of CSPSAT project.

[2010年11月26日]

Sugarについて，以下の招待講演を行うことになりました．

• 人工知能学会 第81回 人工知能基本問題研究会 (SIG-FPAI) (2011年1月31日--2月1日, 山梨大学)

[2010年7月16日]

CSPSATプロジェクト メンバーの越村先生(九州大学，長谷川研究室)のQMaxSATソルバーが， 2010年の第5回Max-SAT競技会 Partial Max-SAT Industrial部門で優勝， Crafted部門で第二位という素晴らしい成績をおさめました． 越村先生おめでとうございます．

[2010年2月27日]

Sugarについて，以下の2件の招待講演を行うことになりました．

• FLOPS 2010 (Apr. 19--21, 2010 at Sendai)
• CICLOPS-WLPE 2010 (July 15, 2010 at Edinburgh)

[2010年1月]

CSPSATプロジェクト (基盤A) のグループで 人工知能学会に 特集：「最近のSAT技術の発展」を分担執筆しました (特集「最近のSAT技術の発展」にあたって)．

[2009年10月2日]

第4回International CSP Solver Competitionで， 本研究室で開発しているソフトウェアであるSugarが， 全7部門中 3つの部門で優勝しました．
本年度のCSP Solver Competition (全7部門)には 各国から9チーム14ソルバーが参加し， SugarはAlldiff, Alldiff+Elt+Wsum, Alldiff+Cumul+Elt+Wsumの3部門で第1位となりました． これらは前回のGLOBAL部門が3つに分かれたものです． 詳しい結果はこちらをご覧ください． なおMax-CSP Solver Competitionは，参加ソルバーがSugarのみだったため 残念ながら開催されませんでした．

[2008年9月14日]

第3回International CSP Solver Competitionで， 本研究室で開発しているソフトウェアであるSugarが， CSP Solverの5部門およびMax-CSP Solverの5部門の全10部門中， 4つの部門で優勝しました．
このCompetitionは， スケジューリング問題や長方形パッキング問題等， 解くのが非常に難しい制約充足問題(CSP)を対象として， 解を探索するプログラムの性能を競うものです． 本年度のCSP Solver Competition (全5部門)には 各国から14チーム，24ソルバーが参加し， SugarはGLOBAL部門で第1位となりました． Max-CSP Solver Competition (全5部門)には 4チーム，8ソルバーが参加し， Sugarは2-ARY-INT, N-ARY-INT, GLOBALの3部門で第1位となりました． 詳しい結果はこちらをご覧ください．

Last modified: Thu Jan 5 01:52:50 2012 JST

This page has been accessed since Jan 1 1999.