[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)

「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/

上下前次1-新
通常表示 512ﾊﾞｲﾄ分割 ﾚｽ栞
抽出解除 ﾚｽ栞

---

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ

---

4: デフォルトの名無しさん [] 2024/03/17(日) 11:29:45.06 ID:lA2zK95Y >>3 数学できなさそう http://mevius.5ch.net/test/read.cgi/tech/1710585705/4

9: デフォルトの名無しさん [] 2024/03/17(日) 18:39:40.06 ID:zKMEHLV8 基礎論以外の命題の証明を証明支援系で一から書くのは現実的ではないから、既存の有名命題がライブラリとして使えるような処理系を使うことになるんだろう http://mevius.5ch.net/test/read.cgi/tech/1710585705/9

12: デフォルトの名無しさん [sage] 2024/03/17(日) 21:15:14.06 ID:t9G995RY Condensed Mathematics https://www.math.ku.dk/english/calendar/events/condensed-mathematics/ topologyに対するP. Scholzeの試しみ http://mevius.5ch.net/test/read.cgi/tech/1710585705/12

20: デフォルトの名無しさん [] 2024/03/18(月) 10:19:41.06 ID:HmpJvDlJ あとArctanのテイラー展開 もしくは項別積分 項別積分する場合は、べき級数の収束半径とか、境界での連続性とかも http://mevius.5ch.net/test/read.cgi/tech/1710585705/20

33: デフォルトの名無しさん [] 2024/03/19(火) 16:20:03.06 ID:Q+qUW8xc leanとかいうソフトで学部レベルの定理の証明をすべて書くとかいうプロジェクトがあるそうですが、そういう証明を見ると勉強する側として勉強になりますか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/33

90: デフォルトの名無しさん [] 2024/03/24(日) 10:28:13.06 ID:8D2Drt3S でもC言語は圏論じゃないよね http://mevius.5ch.net/test/read.cgi/tech/1710585705/90

140: デフォルトの名無しさん [sage] 2024/03/28(木) 06:44:57.06 ID:RNwVIlzh >>137 ？ ガイジか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/140

198: デフォルトの名無しさん [sage] 2024/04/02(火) 10:33:46.06 ID:2+WkGIyb 完全性、健全性の意味をしらんのだな 完全って言葉から中二妄想膨らましてしったかかましてる http://mevius.5ch.net/test/read.cgi/tech/1710585705/198

262: デフォルトの名無しさん [sage] 2024/04/13(土) 03:06:44.06 ID:wJrHPvy4 命題を実験すれば近似、証明すれば厳密 これを間違えて 命題（と証明）を明文化しなければ近似、明文化すれば厳密と思ってる人は結構いる http://mevius.5ch.net/test/read.cgi/tech/1710585705/262

266: デフォルトの名無しさん [sage] 2024/04/13(土) 12:20:47.06 ID:wJrHPvy4 現在のAIは何故か胴元になれないギャンブラーと同じ http://mevius.5ch.net/test/read.cgi/tech/1710585705/266

295: デフォルトの名無しさん [sage] 2024/04/15(月) 07:51:45.06 ID:iwi7Bhpd 値のサイズが大きかろうが無限だろうがそれを指すポインタのサイズは小さい http://mevius.5ch.net/test/read.cgi/tech/1710585705/295

353: デフォルトの名無しさん [] 2024/04/16(火) 21:09:06.06 ID:UT47qync メークインの メッカ http://mevius.5ch.net/test/read.cgi/tech/1710585705/353

430: デフォルトの名無しさん [sage] 2024/04/24(水) 17:27:54.06 ID:sd26LqbM 意味不明を繰り返す爺 http://mevius.5ch.net/test/read.cgi/tech/1710585705/430

463: デフォルトの名無しさん [sage] 2024/04/26(金) 12:23:53.06 ID:Qv/2Ju5X Use the Forth, Luke. http://mevius.5ch.net/test/read.cgi/tech/1710585705/463

510: デフォルトの名無しさん [] 2024/05/04(土) 23:36:43.06 ID:5BNMHTWk 乗法モノイド構造から、環構造を復元できるか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/510

599: デフォルトの名無しさん [sage] 2024/11/12(火) 11:09:37.06 ID:NBuxYVaH ありがちなつまらない問答 どうせなにも解を持ってない http://mevius.5ch.net/test/read.cgi/tech/1710585705/599

668: デフォルトの名無しさん [] 2024/11/18(月) 13:54:18.06 ID:fHwV6VSA >>654 全部できるな http://mevius.5ch.net/test/read.cgi/tech/1710585705/668

678: デフォルトの名無しさん [] 2024/11/18(月) 19:37:30.06 ID:uqz705Or >>676 何度同じことを言えば理解できるのだろうこの馬鹿は http://mevius.5ch.net/test/read.cgi/tech/1710585705/678

685: デフォルトの名無しさん [] 2024/11/18(月) 19:53:44.06 ID:uqz705Or s = "1."; for(int = 0; i < 100; i++) s += "1"; print(s); 以上 http://mevius.5ch.net/test/read.cgi/tech/1710585705/685

---

ﾒﾓ帳

(0/65535文字)

---

上下前次1-新書関写板覧索設栞歴

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

Google検索

Wikipedia

---

ぬこの手 ぬこTOP 0.043s