ひろき「集合論やらないと双対性や共変性、反変性といった概念を理解できないので線形代数やっても意味ないです(笑)」