これ二つ同じことだと思うんだけど、どうなってるんだろう？

6:37 AM

contravariant の contravariant を考えるところとかでうまくスコア計算できてないのかな？