[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
182(2): 2024/04/01(月)10:16:20.76 ID:BJXCW8/H(1/2) AAS
計算機科学的には背理法はプログラミングでの継続に相当するものだと判明している
プログラム=証明 型=命題という対応がある
命題としてはあるが証明ができない型としてa -> b -> a -> aがある
224: 2024/04/08(月)10:39:11.76 ID:x8JElEGO(1) AAS
ポエム
499: 2024/05/03(金)16:51:49.76 ID:VWU4jyai(4/6) AAS
ボウフラを食べる雑魚
503(1): 2024/05/03(金)20:26:19.76 ID:x0ve7rFX(3/4) AAS
モンスターの位数は10^52ぐらいだから256ビット(10^77ぐらい)あれば表現できる
535: 2024/05/06(月)21:50:56.76 ID:2UIG7pZN(1) AAS
>>529
っ ネーターの定理
574: 2024/10/20(日)21:09:32.76 ID:hJ3wIO0s(2/2) AAS
>>571
それたんにNNのこと言ってだけで
language modelでやる説明になってない
611: 2024/11/12(火)21:00:48.76 ID:CKJ1cusC(5/7) AAS
>>609
お前は>>596か？
652(1): 2024/11/18(月)01:35:40.76 ID:XvHL8b4e(1) AAS
>>651
何を言ってんだお前は
854: 01/16(木)21:51:56.76 ID:zFtBKiS0(1) AAS
処理系がcall/ccをサポートすることは、直観主義論理に背理法を加えることに相当する
880: 01/19(日)12:35:56.76 ID:fNMlPpUq(1) AAS
Felleisen 30年研究して「プログラミングには型が必要なことがわかった」←これ好き
946: 02/06(木)21:00:15.76 ID:75UI+75Y(1) AAS
コンパイラを書け
978(1): 02/15(土)20:08:47.76 ID:HVOvloyf(1) AAS
>>975
自分で考えろ
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s