今月の PTTは早稲田大学で開催されるそうです。タイトルを見たときは「数値計算か。。。」と参加しないつもりだったのですが、発表概要によれば数値計算に制約プログラミングを応用したということなので行ってみる気になりました。参加自由＋無料です。

制約プログラミングについてはどなたも聞いたこともないと思います。（こんなおかしなことを言い出した背景は、ぎょんさんのコメントへの返事をご参照下さい）ぼくらが日頃親しむプログラムは、命令を次々に発するスタイルですけれども、制約プログラミングはパラメター空間に対して制約を与えておくことで、プログラム実行が不適切な道を歩まないように宣言します。敢て例えるなら、鞭をあてる命令型に対して真綿で首を締める制約型となりますでそうか。まるで考え方の異なるプログラミングパラダイムです。応用例としては、図形描画システム、ウィンドウシステム、制御システム、さまざまな人工知能システムなどがあります。

-----------------------------------------------------------------
            第 362 回 PTT のお知らせ

   ---  Programming Tools and Techniques  ---
------------------------------------------------------------------
■日時: 2010年2月18日(木) 18時30分から
■場所: 情報理工学科会議室
　　　（早稲田大学西早稲田キャンパス６３号館５階０５－０６号室）
       http://www.ueda.info.waseda.ac.jp/location_j.html

＊なお、この４月から理工は「大久保キャンパス」から「西早稲田キャンパス」
　に呼称変更しています（以前は、「西早稲田キャンパス」は本部や大隈講堂な
　どのあるキャンパスを指していたのですが、副都心線の西早稲田駅が理工の
　キャンパスと直結したため）。ご注意下さい。

■話者: 石井 大輔 (早稲田大学理工学術院)
■題目: 非線形算術制約のための区間解析にもとづく求解手法
■概要:
区間に基づく数値計算手法 (精度保証付き数値計算) では、理論解を計算誤差
とともに精度のよい区間で包囲しながら計算を進めていく。
非線形算術制約で記述される問題を区間に基づき求解する手法として、区間制
約プログラミング手法が開発された。これらの手法では、制約伝播にもとづく
探索技法を用い、効率的に精度のよい区間解を求める。
本発表ではまず、区間制約プログラミングにもとづくソルバーであるElisaと、
非線形常微分方程式のためのソルバーであるVNODE-LPを紹介する。その後、代
数方程式と常微分方程式とを連立した問題 (非線形ハイブリッド制約系) を求
解するために、上記ソルバーを統合したHybridSolverについて紹介する。