[過去ﾛｸﾞ] 「数学」をプログラミングするには (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
215: 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: 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: 2024/11/12(火)11:14:02.69 ID:u+3emFIN(1) AAS
このガイジ3月からずっと粘着してんの？
きっしょ……
802: 01/12(日)15:49:20.69 ID:DO5vWwuf(1) AAS
科学をプログラミングするのは難しいが
プログラミングを科学するのは可能では？
886: 01/23(木)23:15:16.69 ID:gkeqtoks(1) AAS
Rustの型はトレイト属性があって
マルチスレッドでも同期が保証される型など
抽象度の高い表現が型システムで扱えるようになってるね
それによりデータ競合が起きないことを型システムで保証してしまってるところが凄いと思った
893: 01/24(金)22:28:54.69 ID:TVTggs3s(1) AAS
>>887
single writer XOR multiple readers はデータ参照の競合バグを防ぐために役立つルール
これを守ると参照競合によるバグを防げるだけでなく
プログラムのスパゲッティ化を防ぐ効果も高い
さらにRustではそこに内部可変性が用意されているため
そのルールを守ったまま複数のデータ更新者(ex.マルチスレッド)が排他制御しながら同じデータを書き換えることも可能
952(1): 02/06(木)23:32:34.69 ID:/3i5yGjy(1) AAS
>>950
知らんから教えて
Wikipedia見ても分からん
「初等的な自然数論を含む」って何？
「有限の立場」って何？
説明してね
984: 02/18(火)11:15:51.69 ID:HbHlBTpR(1) AAS
>>982
判る
●●神話とかも辞めて欲しい
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.043s