[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
91: デフォルトの名無しさん [sage] 2024/03/24(日) 10:35:26.13 ID:GMGvnUD/(1/3) AAS
20年前の議論草
146(1): デフォルトの名無しさん [] 2024/03/28(木) 19:38:54.13 ID:IFE49MQl(1) AAS
>>126小学校からやり直せ
184: 182 [sage] 2024/04/01(月) 11:10:53.13 ID:BJXCW8/H(2/2) AAS
訂正((A->B)->A)->A)だった
記号処理はmaxima/mathematicaみたいなのでできるね
284: デフォルトの名無しさん [sage] 2024/04/14(日) 21:43:21.13 ID:CaUwpcFN(10/12) AAS
順序集合とは半順序が定義された集合である
322: デフォルトの名無しさん [] 2024/04/15(月) 19:39:48.13 ID:NsRnPyj0(3/6) AAS
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とする
331: デフォルトの名無しさん [sage] 2024/04/15(月) 20:55:50.13 ID:scEUff9F(13/17) AAS
>>325ご苦労さん、実数の公理があるだけなんで証明するものではない
488: デフォルトの名無しさん [] 2024/04/30(火) 15:21:29.13 ID:3Q7tAM30(1) AAS
モナドは副作用の繋げ方を定義しているだけで、副作用を起こしているわけではない
558: 警備員[Lv.5][新芽] [sage] 2024/07/10(水) 23:19:12.13 ID:oFRVSf47(1) AAS
勉強になりました
570: デフォルトの名無しさん [] 2024/10/20(日) 19:53:15.13 ID:Xkf3xe26(1) AAS
こういうのはLLMでどうにかならんの？
o1で推論能力かなり上がったらしいけど
727(1): デフォルトの名無しさん [sage] 2024/12/05(木) 12:44:08.13 ID:tdblRVHA(1) AAS
じゃあ実装スキップできないじゃん(笑)
850: デフォルトの名無しさん [sage] 2025/01/16(木) 08:27:28.13 ID:L1OHI3Vu(1) AAS
実は当たり前にやっていること。関数適用はmodus ponensに相当する
934: デフォルトの名無しさん [sage] 2025/02/04(火) 03:58:03.13 ID:Mw0YRrvx(1) AAS
モナド
再帰と不動点コンビネータ
継続と背理法
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.036s