[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
抽出解除
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制
です｡10分ほどで解除するので､
他のﾌﾞﾗｳｻﾞ
へ避難してください｡
135: デフォルトの名無しさん [sage] 2024/03/27(水) 20:27:56.36 ID:NpBSIV2x >>126 ガイジか？ プログラマ→職業 数学→学問分野 日本語勉強し直すか死ねよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/135
239: デフォルトの名無しさん [] 2024/04/12(金) 12:33:44.36 ID:l6eD/H9+ モピロン、地球人の開発したAIには、無理 霊的な霊感がないからだ。 Arctan(x) のマクローリン展開式の xに１を 代入して証明するような閃きは、 AIには無理なのである。 その訳は、閃き💡といった宇宙からの霊的な電波を 受信するのは、論理的考えて、 地球のAIには、ソレは、実装されてない。 モピロン、イカの視覚野に電極を、差し込んで 宇宙から霊的波動を受信できるようにすれば 話しは、別だが、シリコンウェーハに その様な回路はナイだろうから、 それは、証明は、無理だろう。 ていうか、ゲーデルの不完全性定理により 証明問題の全ては証明不可能ぢゃーーー BY 今日もテキトーな事を呟いてみたー http://mevius.5ch.net/test/read.cgi/tech/1710585705/239
427: デフォルトの名無しさん [sage] 2024/04/24(水) 16:28:57.36 ID:sd26LqbM https://leanprover-community.github.io/ こういう話をしてるんだよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/427
496: デフォルトの名無しさん [sage] 2024/05/03(金) 15:22:02.36 ID:ctk/xevC 対象と関手を同一視したいな？ はい対角関手 http://mevius.5ch.net/test/read.cgi/tech/1710585705/496
866: デフォルトの名無しさん [sage] 2025/01/17(金) 18:01:24.36 ID:7aS9Z/2O 学問にコンプレックス持ってる人って、みっともないね。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/866
ﾒﾓ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.045s