リゼロの上位互換がまどマギ