なるほど！目標サイズがピクセル単位で選べるというわけですね！ （倍率指定と目標サイズ指定の両方を実装するか）