『魔法少女まどか☆マギカ』のパチンコが2種類出る模様!京楽・オッケー両方のメーカーから