型推論機に対する条件入力とかそっちの意味かと思った。

4:21 AM

varianceというワードが出てこなくても概念が出てきているので本質的な理解度が高そう。