知ってるとプログラミングに役立つ数学知識 (276ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
137: デフォルトの名無しさん [sage] 2020/04/10(金) 21:28:57.38 ID:13na47P+(1) AAS
逆にプログラミングで書かれたものを数式に出来るの？
例えばテトリスとか
169(1): デフォルトの名無しさん [sage] 2020/04/15(水) 00:25:12.38 ID:Kr8T+Y3l(1/3) AAS
>>161
代数学がオブジェクト指向というのはよくわからない。
単純に俺がオブジェクト指向を知らないだけかもしれないけど。
オブジェクト指向のクラスポリモーフィズムの根底にあるのは存在量化型だと思うけど、
存在量化型は数学というより型理論だから、そのさらに背後にある数学とかはもっと詳しい人に譲る。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.016s