[過去ﾛｸﾞ]
「数学」をプログラミングするには (1002ﾚｽ)
「数学」をプログラミングするには http://mevius.5ch.net/test/read.cgi/tech/1710585705/
上
下
前
次
1-
新
通常表示
512ﾊﾞｲﾄ分割
ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索
歴削→次ｽﾚ
栞削→次ｽﾚ
過去ﾛｸﾞﾒﾆｭｰ
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
899: デフォルトの名無しさん [sage] 2025/01/25(土) 17:25:15.44 ID:W3I6NstP rustがどうのとかいってるレベルだからね http://mevius.5ch.net/test/read.cgi/tech/1710585705/899
900: デフォルトの名無しさん [sage] 2025/01/25(土) 20:44:31.67 ID:iLzbIZXE >>897 それはMathematicaじゃダメなん？ 表記の体系って、プログラミングするには演算子の優先順位を決めないといけないがそれも決まってるの？ CSやってて数学のわからないところは記号の優先順位がわからなくて読み解けないことがある点 http://mevius.5ch.net/test/read.cgi/tech/1710585705/900
901: デフォルトの名無しさん [] 2025/01/25(土) 22:15:16.23 ID:wEoGbTgh >>900 だめに決まってるじゃん http://mevius.5ch.net/test/read.cgi/tech/1710585705/901
902: デフォルトの名無しさん [] 2025/01/25(土) 22:33:12.05 ID:LqupDpHB >>900 Mathematicaは数式処理システムだ http://mevius.5ch.net/test/read.cgi/tech/1710585705/902
903: デフォルトの名無しさん [sage] 2025/01/25(土) 22:57:41.30 ID:iLzbIZXE 数論幾何用のソフトウェアがないってことかね、表記の体系はどこでみれるの グレブナー基底とかならRisa/Asirとか群論ならgapとか 多分数学の分野ごとにソフトウェアがあるのが現状だと思う http://mevius.5ch.net/test/read.cgi/tech/1710585705/903
904: デフォルトの名無しさん [] 2025/01/25(土) 23:20:00.08 ID:T4wakzBv 内容がわからないなら無理に書き込まなくていいのに http://mevius.5ch.net/test/read.cgi/tech/1710585705/904
905: デフォルトの名無しさん [sage] 2025/01/26(日) 01:21:09.90 ID:RxnNQ4s+ 必要なのはドリルではなく穴 記号ではなく意味 と思うじゃん？ http://mevius.5ch.net/test/read.cgi/tech/1710585705/905
906: デフォルトの名無しさん [] 2025/01/26(日) 07:09:22.82 ID:8U3hDZ20 >>903 アホすぎて返す言葉もない http://mevius.5ch.net/test/read.cgi/tech/1710585705/906
907: デフォルトの名無しさん [] 2025/01/26(日) 07:29:10.83 ID:xKZhC4SH ID:iLzbIZXE こういう現代文なら零点のレス返してくる人って、日々の生活相当苦労してそうだな http://mevius.5ch.net/test/read.cgi/tech/1710585705/907
908: デフォルトの名無しさん [sage] 2025/01/26(日) 15:13:07.48 ID:RxnNQ4s+ 試験はギリギリ解けないレベルまで難化する トーナメントは敗者で埋め尽くされる http://mevius.5ch.net/test/read.cgi/tech/1710585705/908
909: デフォルトの名無しさん [] 2025/01/26(日) 20:27:15.66 ID:m+VDOodg レベル、経験値、ポイント、HP、通貨、メッセージ数、フレンド数 4（死）、13（キリスト教における忌み数字） 18（嫌）、24（〜に死）、34（〜さん死） 40、42、44 56（殺）、64（無視） 71（無い）、74（無し）、79（無く、亡く） 84（〜は死）、94（〜君死）、96（黒） このような数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。 http://mevius.5ch.net/test/read.cgi/tech/1710585705/909
910: デフォルトの名無しさん [] 2025/01/26(日) 20:55:22.65 ID:BcwcPe/+ ドリル優子が大臣に http://mevius.5ch.net/test/read.cgi/tech/1710585705/910
ﾒﾓ帳
(0/65535文字)
上
下
前
次
1-
新
書
関
写
板
覧
索
設
栞
歴
あと 92 ﾚｽあります
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.025s