制約プログラミングに関する日本・フランス間の研究交流 Franco-Japanese research collaboration on constraint programming

制約プログラミングは,人工知能,コンピュータプログラミング,コンピュータ支援設計,コンピュータグラフィクス,ユーザインタフェース等における多様な問題のモデル化と解決を可能にする発展途上の技術である。本レポートでは,著者らと日本・フランスの他の研究者らが行った,制約プログラミングに関する最近の研究交流活動について述べる。最初に,制約プログラミングに関する著者らの共同研究プロジェクトについて概説した後,それらのプロジェクトで扱っている一部の研究テーマについて,その背景,目標,アプローチを述べる。次に,著者らが2004 年10 月に日本で,2005 年11 月にフランスで,2 回にわたって開催した,制約プログラミングに関する日仏ワークショップ(FJCP) について述べる。最後に,本分野の日本とフランスの研究者らの交流に関する今後の展望を述べる。

Constraint programming is an emergent technology that allows modeling and solving various problems in many areas such as artificial intelligence, computer programming, computer-aided design, computer graphics, and user interfaces. In this report, we recount the recent activities of research collaboration on constraint programming conducted by the authors and other researchers in France and Japan. First, we outline our joint research projects on constraint programming and then present the backgrounds, goals, and approaches of several research topics treated in the projects. Second, we describe the two Franco-Japanese Workshops on Constraint Programming (FJCP), which we held in Japan in October 2004 and in France in November 2005. We conclude with future prospects for collaboration between French and Japanese researchers in this area.