制約充足問題 (せいやくじゅうそくもんだい) — constraint satisfaction problem (esp. in AI) | Kumi Dictionary