「数学」をプログラミングするには

[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

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

14: 2024/03/17(日)22:43:10.74 ID:zgd3XX/C(1) AAS
厳密だが根拠がない等式を、厳密ではないが根拠のある不等式の集まりにすりかえる

250: 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): 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: 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: 2024/12/12(木)19:33:03.74 ID:rgUDNRxT(6/6) AAS
空のバケツほどよく鳴る

953(1): 02/07(金)00:09:55.74 ID:hW+AbfK5(1) AAS
>>951
ゲーテルの不完全性定理って知ってる？