HOME
|
English Version
last update: 26 October 2007
制約プログラミング入門
制約処理入門用の資料を紹介します。少しずつ内容を充実させていく予定です。
リンク・日本語で読めるもの
制約処理入門(NTTデータセキスイシステムズ)
ユーザーインターフェースにおける制約解消法の研究動向
(国立情報学研究所 細部 博史先生)
リンク・英語で読めるもの
Guide to Constraint Programming
-- チェコ・カレル大学のBartak先生のページ。
Constraint Logic Programming
(Byteの記事。1995年。制約論理プログラミングについての紹介)
Course Material
of "Programming with Constraints: an Introduction" --
"Programming with Constraints: an Introduction"(MIT Press)
の著者 Kim Marriott と Peter J. Stuckey による講義用スライド。
トロント大学 Fahiem Bacchus 先生の講義資料
HOME
|
TOP
Copyright(C) 2001-2007 by
NTT DATA SEKISUI SYSTEMS CORPORATION
All rights reserved.