知ってるとプログラミングに役立つ数学知識

169 ：デフォルトの名無しさん：2020/04/15(水) 00:25:12.38 ID:Kr8T+Y3l.net

>>161
代数学がオブジェクト指向というのはよくわからない。
単純に俺がオブジェクト指向を知らないだけかもしれないけど。

オブジェクト指向のクラスポリモーフィズムの根底にあるのは存在量化型だと思うけど、
存在量化型は数学というより型理論だから、そのさらに背後にある数学とかはもっと詳しい人に譲る。