誰かが層の数とか変数の数の下界とか求めてくれれば苦労しないのに