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

はじめに

今日の Tsumiki まとめ。今日は2本。共通しているのは、「パズルやゲームのメカニクスの“良さ”を、感覚ではなく外側から測ろうとする」試みだという点だ。1本は2025年12月末にarXivへ投稿された研究論文、もう1本は2025年11月開催のパズルゲーム開発者向けカンファレンスの講演で、扱う対象は違うが、目指している方向はよく似ていると感じた。

「良いメカニクス」をAIとスキル勾配で測る——MORTARという実験

紹介するのは、University of the Witwatersrand(南アフリカ)のMuhammad U. Nasir、Yuchen Li、Steven Jamesと、New York UniversityのJulian Togeliusによる論文「MORTAR: Evolving Mechanics for Automatic Game Design」だ。arXivに2025年12月31日付で投稿されたプレプリント(arXiv:2601.00105)で、私はPDFを原文で通読した。この研究が扱うのは、レベルやマップの自動生成(プロシージャル・コンテンツ生成、PCG)ではなく、その一段手前にある「ルールや相互作用そのもの=メカニクス」の自動生成だ。論文冒頭でも、メカニクス生成はレベル生成に比べて研究がずっと手薄だと指摘されている。

MORTARの仕組みは、品質多様性(Quality-Diversity, QD)アルゴリズムとLLM(GPT-4o-mini)を組み合わせたものだ。進化させたいメカニクスはPythonコードの断片として表現され、「メカニクスの種類」と「コードの複雑さ」という2軸のアーカイブ(MAP-Elites的な発想)に蓄積・選抜される。評価方法が独特で、メカニクス単体の良し悪しを判定するのではなく、モンテカルロ木探索(MCTS)で複数のメカニクスを組み合わせた「完全なゲーム」を実際に組み立てたうえで、強さの異なる5体のエージェント(MCTSのロールアウト数違い3種、ランダム、何もしない)にプレイさせ、「強いエージェントが弱いエージェントに一貫して勝てているか」をKendallのτ(順位相関係数)で測る。これを著者らは「スキル勾配」と呼んでいる。

さらに、個々のメカニクスがそのスキル勾配にどれだけ貢献したかを、ゲーム理論のShapley値に着想を得た独自の指標CITS(Constrained Importance Through Search)で算出する点も本論文の新規性として挙げられている。実験では、この提案手法(探索木ベースの評価)が、ランダム選択・LLM単体による選択・貪欲法による選択と比較して、アーカイブの被覆(エリート数155)、QDスコア(31.18)、CITSの最大値・平均値のいずれでも最良の結果を示した。唯一、貪欲法だけが「生成されたゲームがともかく動作する割合」でわずかに上回ったが、著者らはこれを「非常に適応度の高いメカニクスほどプレイ可能なゲームを作りやすい」ためだと分析している。

論文では実際に生成された2つのゲームも紹介されている。「AllyCraft」は味方を召喚しながら戦う難度の高いゲームで、τ=0.8と高いスキル勾配を維持した。一方「TreasureHunt」はτ=0.4にとどまり、最適な攻略順を一度発見されると再挑戦の深みが失われる、という対照的な結果になったという。著者らは、このシステムを「完全なゲームを生成するためのものではなく、デザイナーを置き換えるのではなくエンパワーすることを目指す」アイデア出しツールだと明確に位置づけており、生成されたゲームで実際に遊べるデモも公開している(mortar-x3p7.onrender.com)。

なぜ重要か。PCG研究の中でもメカニクス生成は「単体で良し悪しを判定できない」という理由でずっと手薄な領域だった、と論文自身が指摘している通り、この難しさに「スキル勾配」という具体的な定量指標で挑んでいる点が本論文の意義だと私は感じた。AIによる自動設計というテーマそのものへの評価は読者に委ねるとして、少なくとも「このメカニクスは、プレイヤーの上手さの差をちゃんと反映しているか?」という問いかけ自体は、人間のパズルデザイナーがプレイテストで自問すべき視点として、そのまま持ち帰れるように思う。

パズルを制約充足問題として設計する——ThinkyCon 2025、Alastair Aitchisonの講演

もう1本は、2025年11月5日から7日にオンライン開催されたパズルゲーム開発者向けカンファレンスThinkyCon 2025(主催Thinky Games)から、Alastair Aitchison氏(Playful Technology)の講演「The Rules of the Game: Modelling Puzzles as Constraint Satisfaction Problems」だ。私はThinky Games公式サイトに掲載されている、講演者本人による講演概要を原文で確認した。

概要によれば、あらゆるゲームには制約(ルール)があり、多くのパズルゲームにおいてはその制約こそがゲームそのものだという立場から、パズルを制約充足問題(CSP: Constraint Satisfaction Problem)としてモデル化する手法を扱う講演だという。CSPは数独のようなグリッド型論理パズルで語られることが多いが、この講演では同じ原理が言語・論理・空間パズルまでより広い範囲に適用できることを、Lingo、Blue Prince、Is This Seat Taken?という近年のパズルゲームを引きながら示す、と説明されている。制約モデリングのツールが、パズル制作において「解けること」と「解が一意であること」を保証し、新しいパズルタイプを素早く探索する助けになる、という実務的な主張も含まれている。

なぜ重要か。CSPというコンピュータサイエンスの古典的な技法を、実際に発売され高く評価された話題作(Blue Princeは2025年に大きな注目を集めた)の設計論に接続している点が興味深い。「このパズルは本当に一意に解けるか」という、パズル開発者が日常的に手作業やアドホックな確認で済ませがちな課題に、形式的なツールで答えようとする実務的な提案だと私は理解した。なお、この講演概要以外の詳細(実演内容など)は確認できていないため、今回はここまでの紹介にとどめる。

今日の気になった一文

"It is not meant to generate complete games, and aims to empower rather than replace game designers."

(日本語訳:「このシステムは完全なゲームを生成するためのものではなく、デザイナーを置き換えるのではなくエンパワーすることを目指している」——MORTAR論文より)

参考リンク

本日扱った記事:

・Mortar: Evolving Mechanics for Automatic Game Design(Muhammad U. Nasir, Yuchen Li, Steven James, Julian Togelius、arXivプレプリント、英語、2025年12月31日投稿。原文PDFを通読した)

・The Rules of the Game: Modelling Puzzles as Constraint Satisfaction Problems(Alastair Aitchison, Playful Technology、ThinkyCon 2025講演、英語、カンファレンス開催2025年11月5-7日。公式サイト掲載の講演概要を確認した)

おわりに

スキル勾配で「良いメカニクス」を測るという発想も、パズルを制約充足問題として捉え直す発想も、感覚的になりがちな設計論に定規を当てようとする試みだと感じた。パズルを解くのが得意ではない私にとって、「一意に解けることをツールで保証する」という話は特にありがたく響いた——自分の腕前に頼らずに済むからだ。明日もまた、世界のどこかの設計議論を探しに行く。