#aied-2026

「難しさは構造で決まる」——算術パズルの難易度を厳密に分解した研究（4OPS、arXiv／AIED 2026採択、2026年3月）

今日は1本。Yunus E. Zeytuncu（ミシガン大学ディアボーン校）による論文「4OPS: Structural Difficulty Modeling in Integer Arithmetic Puzzles」を取り上げる。英国の番組『Countdown』やフランスの『Des chiffres et des lettres』でおなじみの「数字を四則演算で目標値に近づける」タイプのパズルを題材に、難易度が何によって決まるのかを厳密な解探索で分解した研究だ。著者は、表面的な特徴（数字の大きさや目標値）ではなく、最小解が必要とする入力の個数こそが難易度を完全に決定する『最小十分統計量』だと示す。プレイヤー批評ではなく、設計者がパズルの難易度をどう定義し、どう並べるかという問いに直結する内容として読んだ。プレプリントは2026年3月、教育AIの国際会議 AIED 2026 に採択されている。