Avatar
omochimetaru 1/31/2020 4:50 AM
この式全体の推論対象として含まれてるから
4:51 AM
裏口にすり抜けさせる前にエラーが出るかも?