[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
1: デフォルトの名無しさん [] 2024/03/16(土) 19:41:45.98 ID:nuwGv9us たとえば、プログラミングで π/4 = 1 - 1/3 + 1/5 - 1/7 + ... を近似ではなく厳密に確かめるにはどうしたらいいの 人間が証明できるってことは、有限なアルゴリズムに書き換えられると思うんだけど http://mevius.5ch.net/test/read.cgi/tech/1710585705/1
983: デフォルトの名無しさん [sage] 2025/02/16(日) 20:09:49.33 ID:YNSNqNCo >>981 思い出した 上級生／森口博子(1991) ババアじゃねーか！（某Twitter漫画のノリで） http://mevius.5ch.net/test/read.cgi/tech/1710585705/983
984: デフォルトの名無しさん [] 2025/02/18(火) 11:15:51.69 ID:HbHlBTpR >>982 判る ●●神話とかも辞めて欲しい http://mevius.5ch.net/test/read.cgi/tech/1710585705/984
985: デフォルトの名無しさん [sage] 2025/02/18(火) 22:49:21.77 ID:elcWerWt 土地神話 http://mevius.5ch.net/test/read.cgi/tech/1710585705/985
986: デフォルトの名無しさん [sage] 2025/02/18(火) 22:49:45.71 ID:elcWerWt グノーム http://mevius.5ch.net/test/read.cgi/tech/1710585705/986
987: デフォルトの名無しさん [sage] 2025/02/19(水) 08:41:08.67 ID:I0XIk1Cj 数学やってる人間からすると、プログラミング言語はどれも抽象度が低すぎて読み書きが苦痛でしかない そりゃRustとかHaskellとかで満足してる人にとっては、他の言語とそれらの間には天と地ほどの隔たりがあるんだろうが、 一度数学を身につけてしまうと、見下ろしている位置が高すぎて、プログラミング言語なんてどれも機械語とほとんど変わらない http://mevius.5ch.net/test/read.cgi/tech/1710585705/987
988: デフォルトの名無しさん [] 2025/02/19(水) 10:15:37.60 ID:SAhYOuHj 数学やらなければ苦痛に感じないとでも言うのかね 苦痛を悦びに感じるようになればいいと思う http://mevius.5ch.net/test/read.cgi/tech/1710585705/988
989: デフォルトの名無しさん [sage] 2025/02/19(水) 10:48:29.22 ID:UfCfSE41 >>987 そうやって横着すると矛盾が混ざるから気をつけたほうが…… http://mevius.5ch.net/test/read.cgi/tech/1710585705/989
990: デフォルトの名無しさん [] 2025/02/19(水) 11:27:26.70 ID:Sqgkwi0D プログラミング言語に欠陥があるんじゃなくて 君の頭が悪いんだろう http://mevius.5ch.net/test/read.cgi/tech/1710585705/990
991: デフォルトの名無しさん [sage] 2025/02/19(水) 15:52:59.68 ID:8rlYEoii >>990 >プログラミング言語に欠陥がある という話がどこから出てきたのだろう？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/991
992: デフォルトの名無しさん [sage] 2025/02/19(水) 15:59:36.63 ID:8rlYEoii たとえばアセンブラには「欠陥がある」のか もちろん、特定のアセンブラの特定のバージョンに不具合がある可能性はある が、CPUの操作を記述するという点において、別にアセンブラに欠陥があるわけではない ただ、高レベルのプログラムを記述するには原始的すぎるだけだ >>987はそういうことを言っている 日本語を正しく読もう http://mevius.5ch.net/test/read.cgi/tech/1710585705/992
993: デフォルトの名無しさん [sage] 2025/02/19(水) 16:02:39.63 ID:94/Ld6d4 的外れな文句いうだけで何も提案できない無能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/993
994: デフォルトの名無しさん [sage] 2025/02/19(水) 16:10:22.75 ID:8rlYEoii もし、現代の比較的強力なプログラミング言語（たとえばRustやHaskell）が、数学と同じ表現力を持っていると主張しているのなら、それはあまりにも逆張りが過ぎるか、ものを知らな過ぎる 本気でそうだと思うなら、以下をやってみてくれ 任意の集合Xには、整列順序≦を入れることができる これを用いて、任意のベクトル空間Vに対して、その基底を一組作ること http://mevius.5ch.net/test/read.cgi/tech/1710585705/994
995: デフォルトの名無しさん [sage] 2025/02/19(水) 16:11:56.64 ID:8rlYEoii >>993 自分のニーズに技術が追いついていないのだから、不満が生じるのは当たり前 http://mevius.5ch.net/test/read.cgi/tech/1710585705/995
996: デフォルトの名無しさん [sage] 2025/02/19(水) 16:21:56.11 ID:8rlYEoii FORTRANやCOBOLが夢の技術だと思っている人がいた時代にも、PerlやPython、さらにはHaskellやRustの水準でものを考える人もいたわけだ 自分が原始的なコンピュータの枠組みでしか思考できないなんてことを、そんなに得意げに言うもんじゃない http://mevius.5ch.net/test/read.cgi/tech/1710585705/996
997: デフォルトの名無しさん [sage] 2025/02/19(水) 16:21:57.73 ID:94/Ld6d4 >>995 そのニーズの具体例書いてみろよ？ どうせ使うツール間違ってるのワンパン http://mevius.5ch.net/test/read.cgi/tech/1710585705/997
998: デフォルトの名無しさん [sage] 2025/02/19(水) 16:55:07.40 ID:8rlYEoii >>997 994をプログラミング言語で記述してみてね http://mevius.5ch.net/test/read.cgi/tech/1710585705/998
999: デフォルトの名無しさん [sage] 2025/02/19(水) 17:06:31.12 ID:8rlYEoii >>997 >使うツールが間違ってる 正直、こんなことを言ってる時点で程度が低すぎる 洗濯機のない時代にその出現を想像できてる人に、「お前は洗濯板の使い方が間違ってる」とか言ってるようなもん http://mevius.5ch.net/test/read.cgi/tech/1710585705/999
1000: デフォルトの名無しさん [sage] 2025/02/19(水) 17:54:51.51 ID:V/CQ4I1a 意味なし http://mevius.5ch.net/test/read.cgi/tech/1710585705/1000
1001: 1001 [] ID:Thread このスレッドは１０００を超えました。 新しいスレッドを立ててください。 life time: 339日 22時間 13分 7秒 http://mevius.5ch.net/test/read.cgi/tech/1710585705/1001
1002: 1002 [] ID:Thread 5ちゃんねるの運営はUPLIFT会員の皆さまに支えられています。 運営にご協力お願いいたします。 ─────────────────── 《UPLIFT会員の主な特典》 ★ 5ちゃんねる専用ブラウザからの広告除去 ★ 5ちゃんねるの過去ログを取得 ★ 書き込み規制の緩和 ─────────────────── 会員登録には個人情報は一切必要ありません。 4 USD/mon. から匿名でご購入いただけます。 ▼ UPLIFT会員登録はこちら ▼ https://uplift.5ch.net/ ▼ UPLIFTログインはこちら ▼ https://uplift.5ch.net/login
http://mevius.5ch.net/test/read.cgi/tech/1710585705/1002
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.180s*