[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
34: デフォルトの名無しさん [] 2024/03/19(火) 16:58:20.60 ID:WY0TXEXb(1/3) AAS
>>3333(2): デフォルトの名無しさん [] 2024/03/19(火) 16:20:03.06 ID:Q+qUW8xc(1) AAS
leanとかいうソフトで学部レベルの定理の証明をすべて書くとかいうプロジェクトがあるそうですが、そういう証明を見ると勉強する側として勉強になりますか？
勉強にはなるんじゃない？
35: デフォルトの名無しさん [] 2024/03/19(火) 16:59:03.63 ID:WY0TXEXb(2/3) AAS
ほんとうに教科書に載ってる定理の証明がぜんぶ正しく書かれてるなら、それは教科書読んでるのと同じわけだし
36(2): デフォルトの名無しさん [] 2024/03/19(火) 17:00:04.15 ID:WY0TXEXb(3/3) AAS
lean4はプログラミング言語としても、haskellやrustくらいパワフルな言語なので、cだのfortranだの勉強するよりプログラミングの勉強にもなる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s