[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
874: デフォルトの名無しさん [sage] 2025/01/18(土) 12:14:10.21 ID:pstj5VhN >>873 一筆書きして最初の場所に戻ってこられるか、は複雑な問題 グラフのすべての頂点から出ている辺の数が偶数、というのは単純な問題 グラフ理論を持ち込んで問題が複雑になったというのは、 頂点・辺・偶数・奇数などの概念が理解できないから それは数学に対するコンプレックスにほかならない http://mevius.5ch.net/test/read.cgi/tech/1710585705/874
875: デフォルトの名無しさん [sage] 2025/01/18(土) 12:39:38.25 ID:84F6tYk8 >>871 P=NP予想とかCSの問題も数学で扱われてるんだから知らんがな状態ではないと思う http://mevius.5ch.net/test/read.cgi/tech/1710585705/875
876: デフォルトの名無しさん [sage] 2025/01/18(土) 15:06:03.89 ID:2/LPmLwt プログラミングに必要な数学は数値計算で使う数学くらいか？ 微積と線形 圏論がプログラミングで無意味なのは誰でもわかるか http://mevius.5ch.net/test/read.cgi/tech/1710585705/876
877: デフォルトの名無しさん [sage] 2025/01/18(土) 15:34:34.81 ID:28NAL8Fg >>876 プログラミングと数学を分けてる時点で、Qiitaのブログのサンプルコピペしてる雑魚と同レベル http://mevius.5ch.net/test/read.cgi/tech/1710585705/877
878: デフォルトの名無しさん [sage] 2025/01/18(土) 15:41:30.33 ID:Zj1ghav+ 反論になってないなぁ http://mevius.5ch.net/test/read.cgi/tech/1710585705/878
879: デフォルトの名無しさん [sage] 2025/01/18(土) 16:26:51.31 ID:xuSYONRy プログラミングに数学はいくらでも使うことができる プログラミングに使う数学とか言ってんのは、ただ単に自分が数学を学びたくないだけ http://mevius.5ch.net/test/read.cgi/tech/1710585705/879
880: デフォルトの名無しさん [sage] 2025/01/19(日) 12:35:56.76 ID:fNMlPpUq Felleisen 30年研究して「プログラミングには型が必要なことがわかった」←これ好き http://mevius.5ch.net/test/read.cgi/tech/1710585705/880
881: デフォルトの名無しさん [sage] 2025/01/20(月) 01:24:19.62 ID:8nHIoBfi 型＝命題 項＝証明 この対応は、通常のプログラミングでも同様 そう思えないってことは、型の使い方が大雑把すぎるってこと http://mevius.5ch.net/test/read.cgi/tech/1710585705/881
882: デフォルトの名無しさん [sage] 2025/01/20(月) 06:41:50.30 ID:qtJTpWnY >>881 お前のソースコード見せてくれよ どんだけ立派なのか拝ませてくれ http://mevius.5ch.net/test/read.cgi/tech/1710585705/882
883: デフォルトの名無しさん [sage] 2025/01/20(月) 08:41:47.10 ID:jEcxLOMX 立派とは？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/883
884: デフォルトの名無しさん [sage] 2025/01/20(月) 08:45:50.71 ID:VdwKz6kz int i=10; char c='a'; printf("%d\n",i+c); こんなのがかけるC++ではカリーハワード同型対応なりたたなさそう http://mevius.5ch.net/test/read.cgi/tech/1710585705/884
885: デフォルトの名無しさん [sage] 2025/01/20(月) 09:06:44.29 ID:3GFrNXKp C/C++の型付けは、メモリをなんぼ確保するかの目印でしかないからな http://mevius.5ch.net/test/read.cgi/tech/1710585705/885
886: デフォルトの名無しさん [sage] 2025/01/23(木) 23:15:16.69 ID:gkeqtoks Rustの型はトレイト属性があって マルチスレッドでも同期が保証される型など 抽象度の高い表現が型システムで扱えるようになってるね それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った http://mevius.5ch.net/test/read.cgi/tech/1710585705/886
887: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:03.61 ID:xJrwwu40 その代わりにmany shared XOR one mutableのキツいルールがあるけどな。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/887
888: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:50.30 ID:wJVzGCxN 自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される という思考に人類は依存しすぎている 半導体は自作できないかもしれないが数学は紙媒体でもできる http://mevius.5ch.net/test/read.cgi/tech/1710585705/888
889: デフォルトの名無しさん [] 2025/01/24(金) 10:45:51.66 ID:QSEbyU6x 正直、Rustに心酔してる奴って、程度が低すぎ・・・ PythonやC#みたいなオモチャと比べたら、たしかにRustはマトモだ だが、しょせんはまだ従来型のプログラミング言語 人間の思考ほどの表現力は無い http://mevius.5ch.net/test/read.cgi/tech/1710585705/889
890: デフォルトの名無しさん [] 2025/01/24(金) 10:51:55.41 ID:QSEbyU6x 言っちゃ悪いが、人間の知能は平等ではない ある人にとってはRustは自分の思考よりも高機能だから、Rustに引き上げてもらえる しかし、ある人にとってはRustを書くことは、Rustの書き方に思考を制限することになる http://mevius.5ch.net/test/read.cgi/tech/1710585705/890
891: デフォルトの名無しさん [] 2025/01/24(金) 11:18:52.70 ID:YFrK1zgU ある人は数論幾何学や場の量子論などがわかるが、ある人は中学校の連立方程式くらいしかわからない 連立方程式が世界で一番高度な学問と感じる人にとって、プログラミン言語はまるで魔法のようなのかも知れない が、数論幾何の水準の人にはプログラミング言語は耐え難いほど低水準だ http://mevius.5ch.net/test/read.cgi/tech/1710585705/891
892: デフォルトの名無しさん [sage] 2025/01/24(金) 11:22:58.16 ID:wJVzGCxN 振舞いを自動化しろと言われるのと判断は人間の責任っていうのは 振舞いと判断を区別すれば矛盾しないんだけど 「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある http://mevius.5ch.net/test/read.cgi/tech/1710585705/892
893: デフォルトの名無しさん [sage] 2025/01/24(金) 22:28:54.69 ID:TVTggs3s >>887 single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール これを守ると参照競合によるバグを防げるだけでなく プログラムのスパゲッティ化を防ぐ効果も高い さらにRustではそこに内部可変性が用意されているため そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能 http://mevius.5ch.net/test/read.cgi/tech/1710585705/893
894: デフォルトの名無しさん [sage] 2025/01/25(土) 03:45:14.01 ID:LC7IJQQw 構ってもらえる相手を探し求めさまよう某 http://mevius.5ch.net/test/read.cgi/tech/1710585705/894
895: デフォルトの名無しさん [sage] 2025/01/25(土) 10:55:48.38 ID:iLzbIZXE >>891 その数論幾何の人にプログラミング言語を作ってもらえばいいんでね http://mevius.5ch.net/test/read.cgi/tech/1710585705/895
896: デフォルトの名無しさん [sage] 2025/01/25(土) 11:31:31.34 ID:wB2yLAW7 新商品を作ることにより今後の支障がなくなるといつから錯覚していた http://mevius.5ch.net/test/read.cgi/tech/1710585705/896
897: デフォルトの名無しさん [] 2025/01/25(土) 15:36:14.98 ID:OwaQndIK >>895 すでに表記の体系はある CS畑のやつが処理系を作ればいい http://mevius.5ch.net/test/read.cgi/tech/1710585705/897
898: デフォルトの名無しさん [sage] 2025/01/25(土) 17:09:03.97 ID:JNkrrIX3 ここまでWolframの話題なし http://mevius.5ch.net/test/read.cgi/tech/1710585705/898
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 104 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.015s