知ってるとプログラミングに役立つ数学知識 (276ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
169(1): デフォルトの名無しさん [sage] 2020/04/15(水) 00:25:12.38 ID:Kr8T+Y3l(1/3) AAS
>>161
代数学がオブジェクト指向というのはよくわからない。
単純に俺がオブジェクト指向を知らないだけかもしれないけど。
オブジェクト指向のクラスポリモーフィズムの根底にあるのは存在量化型だと思うけど、
存在量化型は数学というより型理論だから、そのさらに背後にある数学とかはもっと詳しい人に譲る。
173: デフォルトの名無しさん [] 2020/04/15(水) 10:17:16.31 ID:Kr8T+Y3l(2/3) AAS
>>170
(圏論的)積
184: デフォルトの名無しさん [] 2020/04/15(水) 19:28:25.26 ID:Kr8T+Y3l(3/3) AAS
>>174
だからどのへんがめちゃくちゃなのか言ってみろやｗ
圏論的積の意味もわからない自称専門家くんｗｗ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.658s*