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