[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
886: デフォルトの名無しさん [sage] 2025/01/23(木) 23:15:16.69 ID:gkeqtoks(1) AAS
Rustの型はトレイト属性があって
マルチスレッドでも同期が保証される型など
抽象度の高い表現が型システムで扱えるようになってるね
それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った
887(1): デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:03.61 ID:xJrwwu40(1) AAS
その代わりにmany shared XOR one mutableのキツいルールがあるけどな。
888: デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:50.30 ID:wJVzGCxN(1/2) AAS
自力で証明するよりも他者の言質を取るというか契約が成立することにより安全が保証される
という思考に人類は依存しすぎている
半導体は自作できないかもしれないが数学は紙媒体でもできる
889: デフォルトの名無しさん [] 2025/01/24(金) 10:45:51.66 ID:QSEbyU6x(1/2) AAS
正直、Rustに心酔してる奴って、程度が低すぎ・・・
PythonやC#みたいなオモチャと比べたら、たしかにRustはマトモだ
だが、しょせんはまだ従来型のプログラミング言語
人間の思考ほどの表現力は無い
890: デフォルトの名無しさん [] 2025/01/24(金) 10:51:55.41 ID:QSEbyU6x(2/2) AAS
言っちゃ悪いが、人間の知能は平等ではない
ある人にとってはRustは自分の思考よりも高機能だから、Rustに引き上げてもらえる
しかし、ある人にとってはRustを書くことは、Rustの書き方に思考を制限することになる
891(1): デフォルトの名無しさん [] 2025/01/24(金) 11:18:52.70 ID:YFrK1zgU(1) AAS
ある人は数論幾何学や場の量子論などがわかるが、ある人は中学校の連立方程式くらいしかわからない
連立方程式が世界で一番高度な学問と感じる人にとって、プログラミン言語はまるで魔法のようなのかも知れない
が、数論幾何の水準の人にはプログラミング言語は耐え難いほど低水準だ
892: デフォルトの名無しさん [sage] 2025/01/24(金) 11:22:58.16 ID:wJVzGCxN(2/2) AAS
振舞いを自動化しろと言われるのと判断は人間の責任っていうのは
振舞いと判断を区別すれば矛盾しないんだけど
「証明する」というのは振舞いか判断かさっぱり分からんから矛盾だという批判がある
893: デフォルトの名無しさん [sage] 2025/01/24(金) 22:28:54.69 ID:TVTggs3s(1) AAS
>>887
single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール
これを守ると参照競合によるバグを防げるだけでなく
プログラムのスパゲッティ化を防ぐ効果も高い
さらにRustではそこに内部可変性が用意されているため
そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能
894: デフォルトの名無しさん [sage] 2025/01/25(土) 03:45:14.01 ID:LC7IJQQw(1) AAS
構ってもらえる相手を探し求めさまよう某
895(1): デフォルトの名無しさん [sage] 2025/01/25(土) 10:55:48.38 ID:iLzbIZXE(1/3) AAS
>>891 その数論幾何の人にプログラミング言語を作ってもらえばいいんでね
896: デフォルトの名無しさん [sage] 2025/01/25(土) 11:31:31.34 ID:wB2yLAW7(1) AAS
新商品を作ることにより今後の支障がなくなるといつから錯覚していた
897(1): デフォルトの名無しさん [] 2025/01/25(土) 15:36:14.98 ID:OwaQndIK(1) AAS
>>895
すでに表記の体系はある
CS畑のやつが処理系を作ればいい
898: デフォルトの名無しさん [sage] 2025/01/25(土) 17:09:03.97 ID:JNkrrIX3(1) AAS
ここまでWolframの話題なし
899: デフォルトの名無しさん [sage] 2025/01/25(土) 17:25:15.44 ID:W3I6NstP(1) AAS
rustがどうのとかいってるレベルだからね
900(2): デフォルトの名無しさん [sage] 2025/01/25(土) 20:44:31.67 ID:iLzbIZXE(2/3) AAS
>>897 それはMathematicaじゃダメなん？
表記の体系って、プログラミングするには演算子の優先順位を決めないといけないがそれも決まってるの？
CSやってて数学のわからないところは記号の優先順位がわからなくて読み解けないことがある点
901: デフォルトの名無しさん [] 2025/01/25(土) 22:15:16.23 ID:wEoGbTgh(1) AAS
>>900
だめに決まってるじゃん
902: デフォルトの名無しさん [] 2025/01/25(土) 22:33:12.05 ID:LqupDpHB(1) AAS
>>900
Mathematicaは数式処理システムだ
903(1): デフォルトの名無しさん [sage] 2025/01/25(土) 22:57:41.30 ID:iLzbIZXE(3/3) AAS
数論幾何用のソフトウェアがないってことかね、表記の体系はどこでみれるの
グレブナー基底とかならRisa/Asirとか群論ならgapとか
多分数学の分野ごとにソフトウェアがあるのが現状だと思う
904: デフォルトの名無しさん [] 2025/01/25(土) 23:20:00.08 ID:T4wakzBv(1) AAS
内容がわからないなら無理に書き込まなくていいのに
905: デフォルトの名無しさん [sage] 2025/01/26(日) 01:21:09.90 ID:RxnNQ4s+(1/3) AAS
必要なのはドリルではなく穴
記号ではなく意味
と思うじゃん？
906: デフォルトの名無しさん [] 2025/01/26(日) 07:09:22.82 ID:8U3hDZ20(1) AAS
>>903
アホすぎて返す言葉もない
907: デフォルトの名無しさん [] 2025/01/26(日) 07:29:10.83 ID:xKZhC4SH(1) AAS
ID:iLzbIZXE こういう現代文なら零点のレス返してくる人って、日々の生活相当苦労してそうだな
908: デフォルトの名無しさん [sage] 2025/01/26(日) 15:13:07.48 ID:RxnNQ4s+(2/3) AAS
試験はギリギリ解けないレベルまで難化する
トーナメントは敗者で埋め尽くされる
909: デフォルトの名無しさん [] 2025/01/26(日) 20:27:15.66 ID:m+VDOodg(1) AAS
レベル、経験値、ポイント、HP、通貨、メッセージ数、フレンド数
4（死）、13（キリスト教における忌み数字）
18（嫌）、24（〜に死）、34（〜さん死）
40、42、44
56（殺）、64（無視）
71（無い）、74（無し）、79（無く、亡く）
84（〜は死）、94（〜君死）、96（黒）
このような数字と名前や生年月日、IDなどを組み合わせて執拗に強調することで、精神攻撃をする業者やストーカー、嫌がらせ組織がキモい。
910: デフォルトの名無しさん [] 2025/01/26(日) 20:55:22.65 ID:BcwcPe/+(1) AAS
ドリル優子が大臣に
上下前次1-新書関写板覧索設栞歴
あと 92 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.021s