Dictionary: “単一化に基づく形式化”