[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
234: デフォルトの名無しさん [] 2024/04/12(金) 11:50:12.54 ID:Hn7My37C > πという記号定数を使えばいいだけ 馬鹿かな πって置いただけで、どうやってこれが無理数であることや、4arctan(1)と等しいことが確定するんだ？（笑） http://mevius.5ch.net/test/read.cgi/tech/1710585705/234
235: デフォルトの名無しさん [] 2024/04/12(金) 11:52:19.14 ID:Hn7My37C >>230 君、国語力が低すぎて文章を理解できないから、 数学の教科書もなんとなくで読んで来たんでしょ？ 学問に向いてないよ、君（笑） http://mevius.5ch.net/test/read.cgi/tech/1710585705/235
236: デフォルトの名無しさん [] 2024/04/12(金) 11:56:22.19 ID:Hn7My37C >>230 で、こいつ次は、 「厳密にもとまらないというのは、10進数で有限桁で表せないという意味で言った」 とか言い訳するんだろうなあｗｗｗｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/236
237: デフォルトの名無しさん [] 2024/04/12(金) 12:03:07.54 ID:Hn7My37C >>230 > 1がしたいことが何なのかよくわからん 問題意識を理解できないなら、わざわざいっちょかみすんな わざわざいらんことして、おまけに無知まで晒してる 究極に恥ずかしいよお前（笑） http://mevius.5ch.net/test/read.cgi/tech/1710585705/237
238: デフォルトの名無しさん [sage] 2024/04/12(金) 12:29:39.85 ID:Kw0ACNUt スレタイが読めないなら小学校の国語からやり直しｗｗｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/238
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
240: デフォルトの名無しさん [sage] 2024/04/12(金) 12:47:02.55 ID:gi41fiD0 26点 長い上に一本調子 デタラメに書いたらいいわけじゃない http://mevius.5ch.net/test/read.cgi/tech/1710585705/240
241: デフォルトの名無しさん [] 2024/04/12(金) 15:24:27.17 ID:IPp6LTyR アセンブラは数学か？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/241
242: デフォルトの名無しさん [sage] 2024/04/12(金) 15:32:45.75 ID:n/WEiCkF そういや誰かがすべての言語はチューリング完全とか適当なことかいてたけど 一昔前のcobolはチューリング完全じゃないぞ チューリング完全は数学をプログラムするための必要条件ではないかな アセンブラはその意味で資格はあると思われる http://mevius.5ch.net/test/read.cgi/tech/1710585705/242
243: デフォルトの名無しさん [] 2024/04/12(金) 16:34:45.55 ID:vfJZ59zy fortranは数学？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/243
244: デフォルトの名無しさん [sage] 2024/04/12(金) 16:40:24.86 ID:gi41fiD0 チューリング完全は算法に関する性質 数学そのものではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/244
245: デフォルトの名無しさん [sage] 2024/04/12(金) 16:41:43.65 ID:gi41fiD0 数学は計算だけの学問ではない http://mevius.5ch.net/test/read.cgi/tech/1710585705/245
246: デフォルトの名無しさん [] 2024/04/12(金) 17:04:34.02 ID:HdjWwBoE 計算 + 証明 = 数学 これは データ構造 + アルゴリズム = プログラミング に対応する http://mevius.5ch.net/test/read.cgi/tech/1710585705/246
247: デフォルトの名無しさん [] 2024/04/12(金) 17:09:52.20 ID:Vyts8CQV 命題 + 証明 = 数学 ↑↓ 型 + アルゴリズム = プログラミング http://mevius.5ch.net/test/read.cgi/tech/1710585705/247
248: デフォルトの名無しさん [sage] 2024/04/12(金) 17:20:27.68 ID:n/WEiCkF 命題 + 証明 ↑↓ 型 + プログラム これはカリーハワード同型対応として知られている このセットで数学といえるかは俺にはわからない 計算だけが数学ではなくとも計算以外の部分も大体は計算に埋め込めるのではないか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/248
249: デフォルトの名無しさん [sage] 2024/04/12(金) 17:25:59.28 ID:gi41fiD0 カリー・ハワードだろ 構成論理が前提なのわかってるか？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/249
250: デフォルトの名無しさん [sage] 2024/04/12(金) 17:35:07.74 ID:Kw0ACNUt ど素人かよｗｗｗ 命題 + 証明 = 数学 http://mevius.5ch.net/test/read.cgi/tech/1710585705/250
251: デフォルトの名無しさん [sage] 2024/04/12(金) 17:35:49.67 ID:Kw0ACNUt 糞論しかやってない素人の戯言 http://mevius.5ch.net/test/read.cgi/tech/1710585705/251
252: デフォルトの名無しさん [sage] 2024/04/12(金) 17:40:09.52 ID:n/WEiCkF 直観主義論理ってやつでしょ http://mevius.5ch.net/test/read.cgi/tech/1710585705/252
253: デフォルトの名無しさん [sage] 2024/04/12(金) 17:44:03.87 ID:Kw0ACNUt 40年ぐらい遅れてるｗ http://mevius.5ch.net/test/read.cgi/tech/1710585705/253
254: デフォルトの名無しさん [sage] 2024/04/12(金) 17:56:16.32 ID:n/WEiCkF 構成的論理ならきいたことはあるが構成論理ってなんだよ http://mevius.5ch.net/test/read.cgi/tech/1710585705/254
255: デフォルトの名無しさん [sage] 2024/04/12(金) 18:32:46.75 ID:Kw0ACNUt 糞論しかやってない奴は数学の素人、悲惨 http://mevius.5ch.net/test/read.cgi/tech/1710585705/255
256: デフォルトの名無しさん [] 2024/04/12(金) 19:48:14.69 ID:BGlMGmgy ラッセルは数学者？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/256
257: デフォルトの名無しさん [sage] 2024/04/12(金) 20:28:26.43 ID:7CYa1WNP 数学は構造の科学、とエロいひとが言ってた。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/257
258: デフォルトの名無しさん [] 2024/04/12(金) 20:41:54.23 ID:HS/aYR/B レヴィ・ストロース？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/258
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 744 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.020s