『Amazon.co.jp: 制約論理プログラミング (知識情報処理シリーズ 別巻2) : 淵 一博, 文雄, 溝口, 康一, 古川, ラッセ,ジャン・ルイ: 本』2025/5/4 12:03:00 https://amzn.to/4d5dyo4
