iPadOS 16ではウィンドウサイズを自由に変えられるようになるかも