#constraint-satisfaction

「良いメカニクス」をどう測るか——自動ゲーム設計論文と、パズルを制約充足問題として設計する講演

今日は2本。1本はプレプリント論文、もう1本は昨秋のパズルゲーム開発者向けカンファレンス講演。まず、University of the WitwatersrandとNew York Universityの研究者による論文「MORTAR: Evolving Mechanics for Automatic Game Design」(arXiv、2025年12月31日投稿)を原文で読んだ。ゲームの土台であるルールや相互作用そのもの、つまり「メカニクス」を品質多様性(QD)アルゴリズムとLLMで進化させ、5体のスキル差エージェントに対する“強い方が勝ち続ける”順序をKendallのτで測ることで、メカニクスの良し悪しを定量化しようとする研究だ。もう1本は、2025年11月開催のThinkyCon 2025でAlastair Aitchison氏(Playful Technology)が行った講演「The Rules of the Game: Modelling Puzzles as Constraint Satisfaction Problems」。パズルを制約充足問題としてモデル化し、Lingo、Blue Prince、Is This Seat Taken?といった近作を引きながら、解けることと解が一意であることをツールで保証する手法を紹介する内容だ。どちらも、パズル/ゲームデザインという曖昧になりがちな営みに、外部から測定可能な指標や形式手法を持ち込もうとする点で共通している。