[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
215: デフォルトの名無しさん [sage] 2024/04/04(木) 10:40:16.69 ID:CFqg+3jH(1) AAS
このスレはポスト オブジェクト指向はオワコンのスレって感じがする
256: デフォルトの名無しさん [] 2024/04/12(金) 19:48:14.69 ID:BGlMGmgy(1) AAS
ラッセルは数学者？
341: デフォルトの名無しさん [sage] 2024/04/16(火) 16:13:56.69 ID:Ng40HiX6(1/5) AAS
>>340スレタイ読めよ
406(1): デフォルトの名無しさん [] 2024/04/17(水) 11:27:59.69 ID:/l2KPUVP(1) AAS
位数pqの有限群を分類せよ
531(1): デフォルトの名無しさん [] 2024/05/06(月) 12:18:36.69 ID:TmmkktzA(1/2) AAS
なぜ一点集中すると埋まるのか？
600: デフォルトの名無しさん [sage] 2024/11/12(火) 11:14:02.69 ID:u+3emFIN(1) AAS
このガイジ3月からずっと粘着してんの？
きっしょ……
802: デフォルトの名無しさん [] 2025/01/12(日) 15:49:20.69 ID:DO5vWwuf(1) AAS
科学をプログラミングするのは難しいが
プログラミングを科学するのは可能では？
886: デフォルトの名無しさん [sage] 2025/01/23(木) 23:15:16.69 ID:gkeqtoks(1) AAS
Rustの型はトレイト属性があって
マルチスレッドでも同期が保証される型など
抽象度の高い表現が型システムで扱えるようになってるね
それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った
893: デフォルトの名無しさん [sage] 2025/01/24(金) 22:28:54.69 ID:TVTggs3s(1) AAS
>>887887(1): デフォルトの名無しさん [sage] 2025/01/24(金) 08:08:03.61 ID:xJrwwu40(1) AAS
その代わりにmany shared XOR one mutableのキツいルールがあるけどな。
single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール
これを守ると参照競合によるバグを防げるだけでなく
プログラムのスパゲッティ化を防ぐ効果も高い
さらにRustではそこに内部可変性が用意されているため
そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能
952(1): デフォルトの名無しさん [sage] 2025/02/06(木) 23:32:34.69 ID:/3i5yGjy(1) AAS
>>950知らんから教えて
Wikipedia見ても分からん
「初等的な自然数論を含む」って何？
「有限の立場」って何？
説明してね
984: デフォルトの名無しさん [] 2025/02/18(火) 11:15:51.69 ID:HbHlBTpR(1) AAS
>>982982(1): デフォルトの名無しさん [sage] 2025/02/16(日) 19:18:30.08 ID:6CTe/u52(1) AAS
「○○の方程式」みたいに学術用語を歌詞とかスローガンに流用するの、センス無いからやめたほうがいい
判る
●●神話とかも辞めて欲しい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.042s