[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
14: デフォルトの名無しさん [sage] 2024/03/17(日) 22:43:10.74 ID:zgd3XX/C(1) AAS
厳密だが根拠がない等式を、厳密ではないが根拠のある不等式の集まりにすりかえる
250: デフォルトの名無しさん [sage] 2024/04/12(金) 17:35:07.74 ID:Kw0ACNUt(3/7) AAS
ど素人かよｗｗｗ
命題 + 証明 = 数学
368: デフォルトの名無しさん [] 2024/04/16(火) 21:37:39.74 ID:bezjSTs7(2/2) AAS
まくら
405(1): デフォルトの名無しさん [sage] 2024/04/17(水) 11:22:16.74 ID:QYenzWQY(2/2) AAS
任意の整数nに対し
abc+abd+acd+bcd=1
を満たす0でない整数の組(a,b,c,d)が無限に存在することを示せ
455: デフォルトの名無しさん [] 2024/04/26(金) 06:25:43.74 ID:/fL4F0G5(1) AAS
制御構文を廃止せよ
456: デフォルトの名無しさん [] 2024/04/26(金) 06:28:41.74 ID:sqJNLx+3(1) AAS
モナド
依存型
489: デフォルトの名無しさん [sage] 2024/05/02(木) 10:21:11.74 ID:6yj3jofJ(1) AAS
OEISとか数学の数列をプログラミングしてるサイトだな
project eulerを解くとき参考になった
513: デフォルトの名無しさん [] 2024/05/05(日) 00:08:02.74 ID:BDRFhWHf(3/10) AAS
ここで疑問じゃ
それが本当に正しい解釈か？
わたしたち
擬似的なストーリーに
惑わされてやしないか？
767: デフォルトの名無しさん [sage] 2024/12/12(木) 19:33:03.74 ID:rgUDNRxT(6/6) AAS
空のバケツほどよく鳴る
953(1): デフォルトの名無しさん [sage] 2025/02/07(金) 00:09:55.74 ID:hW+AbfK5(1) AAS
>>951ゲーテルの不完全性定理って知ってる？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s