[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
17: 2024/03/18(月)09:53:36.41 ID:dVjvry4m(1/2) AAS
読まなくても分かることをほぼ知り尽くしてから読めば楽に読める
例えば書いた者に悪意があるのかないのかを事前に知らないより知っている方が楽
正義とか悪とかが苦手な人にはこれができない
213: 2024/04/04(木)06:21:32.41 ID:FZ/wPqxv(1) AAS
数学をプログラミングと聞いて電卓が頭に浮かぶのか
このあたりがCSを勉強したかどうかの違いだよな
221: 2024/04/07(日)13:41:15.41 ID:7AYZfZ1d(1) AAS
C++の具体的な問題を目で盗めばRustを作れるが
オブジェクト指向のアイデアを広く浅くコピーしても負け癖が複製されるだけだ
486: 2024/04/28(日)13:34:31.41 ID:451AX1n4(1) AAS
モナドはListとMaybeをベースに理解しろとあれほど言ったのに
511: 2024/05/05(日)00:03:10.41 ID:BDRFhWHf(1/10) AAS
はじめに空間と場としよう
エレメンタリーには場ありきだ
結論から言ってqは最大公約数的
620: 2024/11/14(木)12:02:25.41 ID:OQvPqcBY(1) AAS
人間が証明する場合だって地道に微積分とか勉強しなきゃいけないんだから、プログラミングでやる場合でも、前提となる命題を地道にライブラリとして実装するしかないんじゃないの？
621: 2024/11/14(木)13:14:43.41 ID:ner7v2hh(2/4) AAS
人間の証明
653: 2024/11/18(月)01:57:22.41 ID:cmnYUiAb(1/8) AAS
>>652
>644を数学にしかできない方法として極限を出したらイプシロン-デルタ論法出してきたでしょ？
プログラミングでイプシロン-デルタ論法使えば、数学と同じことができるって主張じゃないの？
723: 2024/12/04(水)23:53:24.41 ID:zvOMcMQ4(2/2) AAS
>>722
は？自動証明機の原理と同じって習ってないの？
学がないね
890: 01/24(金)10:51:55.41 ID:QSEbyU6x(2/2) AAS
言っちゃ悪いが、人間の知能は平等ではない
ある人にとってはRustは自分の思考よりも高機能だから、Rustに引き上げてもらえる
しかし、ある人にとってはRustを書くことは、Rustの書き方に思考を制限することになる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s