[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
91: デフォルトの名無しさん [sage] 2024/03/24(日) 10:35:26.13 ID:GMGvnUD/ 20年前の議論草 http://mevius.5ch.net/test/read.cgi/tech/1710585705/91
146: デフォルトの名無しさん [] 2024/03/28(木) 19:38:54.13 ID:IFE49MQl >>126 小学校からやり直せ http://mevius.5ch.net/test/read.cgi/tech/1710585705/146
184: 182 [sage] 2024/04/01(月) 11:10:53.13 ID:BJXCW8/H 訂正((A->B)->A)->A)だった 記号処理はmaxima/mathematicaみたいなのでできるね http://mevius.5ch.net/test/read.cgi/tech/1710585705/184
284: デフォルトの名無しさん [sage] 2024/04/14(日) 21:43:21.13 ID:CaUwpcFN 順序集合とは半順序が定義された集合である http://mevius.5ch.net/test/read.cgi/tech/1710585705/284
322: デフォルトの名無しさん [] 2024/04/15(月) 19:39:48.13 ID:NsRnPyj0 Qの切断C = (A, B)に対して、論理的には次の4つの可能性がある (1) Aは最大元をもち、Bも最小元をもつ (2) Aは最大元をもつが、Bは最小元をもたない (3) Aは最大元をもたないが、Bは最小元をもつ (4) Aは最大元をもたず、Bも最小元をもたない この内、(1)はありえない なぜならば、Aの最大元をm、Bの最小元をMとすると、(m + M)/2は有理数でA, Bのどちらにも属さないから (2), (3)の場合は、有理数と対応する (2)と(3)で境界の数が同じものは同一視すれば、 (2)(3)型の切断全体と有理数全体が1対1対応する これと(4)型の切断の合併をRとする http://mevius.5ch.net/test/read.cgi/tech/1710585705/322
331: デフォルトの名無しさん [sage] 2024/04/15(月) 20:55:50.13 ID:scEUff9F >>325 ご苦労さん、実数の公理があるだけなんで証明するものではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/331
488: デフォルトの名無しさん [] 2024/04/30(火) 15:21:29.13 ID:3Q7tAM30 モナドは副作用の繋げ方を定義しているだけで、副作用を起こしているわけではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/488
558: 警備員[Lv.5][新芽] [sage] 2024/07/10(水) 23:19:12.13 ID:oFRVSf47 勉強になりました http://mevius.5ch.net/test/read.cgi/tech/1710585705/558
570: デフォルトの名無しさん [] 2024/10/20(日) 19:53:15.13 ID:Xkf3xe26 こういうのはLLMでどうにかならんの？ o1で推論能力かなり上がったらしいけど http://mevius.5ch.net/test/read.cgi/tech/1710585705/570
727: デフォルトの名無しさん [sage] 2024/12/05(木) 12:44:08.13 ID:tdblRVHA じゃあ実装スキップできないじゃん(笑) http://mevius.5ch.net/test/read.cgi/tech/1710585705/727
850: デフォルトの名無しさん [sage] 2025/01/16(木) 08:27:28.13 ID:L1OHI3Vu 実は当たり前にやっていること。関数適用はmodus ponensに相当する http://mevius.5ch.net/test/read.cgi/tech/1710585705/850
934: デフォルトの名無しさん [sage] 2025/02/04(火) 03:58:03.13 ID:Mw0YRrvx モナド 再帰と不動点コンビネータ 継続と背理法 http://mevius.5ch.net/test/read.cgi/tech/1710585705/934
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s