[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
225: デフォルトの名無しさん [sage] 2024/04/08(月) 13:34:46.46 ID:26k+W4+v イマジンだけに http://mevius.5ch.net/test/read.cgi/tech/1710585705/225
226: デフォルトの名無しさん [sage] 2024/04/11(木) 12:56:39.43 ID:m6RJM+fq All the People http://mevius.5ch.net/test/read.cgi/tech/1710585705/226
227: デフォルトの名無しさん [sage] 2024/04/11(木) 12:59:29.40 ID:M3s07OXs 暇人 http://mevius.5ch.net/test/read.cgi/tech/1710585705/227
228: デフォルトの名無しさん [] 2024/04/11(木) 19:06:27.60 ID:SHJQNyIp 不完全性定理は公理的集合論から証明できないならPythonとかJavaには欠陥があるってことじゃん てことは今後はnginxとPostgreSQLが無きゃ食っていけなくなる？SQLは三値だから完全だろ？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/228
229: デフォルトの名無しさん [sage] 2024/04/12(金) 06:59:53.66 ID:gi41fiD0 30点 もっとサイコ感ださないと http://mevius.5ch.net/test/read.cgi/tech/1710585705/229
230: デフォルトの名無しさん [sage] 2024/04/12(金) 11:00:23.24 ID:n/WEiCkF 厳密に求められないからπという記号を用いたわけで コンピュータで扱う場合はπという記号定数を使えばいいだけ 無限に続くので3.14...を厳密に求めることはできないのは数学もコンピュータも一緒 1がしたいことが何なのかよくわからん http://mevius.5ch.net/test/read.cgi/tech/1710585705/230
231: デフォルトの名無しさん [] 2024/04/12(金) 11:40:05.15 ID:bVCDZJf2 >>230 「数学をプログラミングするには」って書いてあるじゃん http://mevius.5ch.net/test/read.cgi/tech/1710585705/231
232: デフォルトの名無しさん [sage] 2024/04/12(金) 11:41:10.44 ID:Kw0ACNUt #define final constant π; http://mevius.5ch.net/test/read.cgi/tech/1710585705/232
233: デフォルトの名無しさん [] 2024/04/12(金) 11:44:24.99 ID:Hn7My37C >>230 > 厳密に求められないから πは厳密に求まるが 1/3 = 0.33... は割り切れないから求まらないとか思ってる文系くんかな？（笑） http://mevius.5ch.net/test/read.cgi/tech/1710585705/233
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
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 753 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.028s