omochimetaru 1/31/2020 4:50 AM

この式全体の推論対象として含まれてるから

4:51 AM

裏口にすり抜けさせる前にエラーが出るかも？