0065デフォルトの名無しさん
2023/04/03(月) 15:53:08.55ID:ZjD7pm8vunsafeを使ってsafeなインタフェースを作っている部分、すなわち人間が安全性を保証しなければならなかった部分を、数学的に保証する試みがあるのか
探検
結局C++とRustってどっちが良いの？ 2traits
■ このスレッドは過去ログ倉庫に格納されています
unsafeを使ってsafeなインタフェースを作っている部分、すなわち人間が安全性を保証しなければならなかった部分を、数学的に保証する試みがあるのか
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】声優の古谷徹、『コナン』安室透役＆『ONE PEACE』サボ役を降板 ★2 [爆笑ゴリラ★]
- 「処女だから5万円にして」パパ活で80回処女になった22歳。相手を騙すことに「罪悪感は全然ない」 [煮卵★]
- 【経済】「日本の貧困化はアベノミクスに責任」有識者が怒り告発 年収500万円世帯は実質60万円の収入減に ★5 [ぐれ★]
- 古谷徹70歳、このまま声優引退か？ 公式Xアカウント削除 『ガンダム』アムロ役など動向に注目「どうすんだろうな」 [muffin★]
- KADOKAWA サイバー攻撃に関する一部報道に抗議、法的措置の検討も ★2 [Hitzeschleier★]
- 【経済】「日本の貧困化はアベノミクスに責任」有識者が怒り告発 年収500万円世帯は実質60万円の収入減に ★6 [ぐれ★]
- 【速報】古谷徹、安室透とサボ降板 [933662325]
- 【悲報】東京の賃貸（１ＬＤＫ９．８万円）、さすがに一線を越える [397658815]
- 反ヴィーガンさん、妊婦を斬り殺して胎児を煮込んで食べてそうなFFの魔法
- 🏡ウンチーぶりぶりゆめ降臨🤥🎶ケツを吹けばこの通り🤥💩ﾍｲ!
- NHKから国民を守るお🏡
- 【画像】蓮舫候補「渋谷で演説をしました」めちゃくちゃ人が集まってしまう！😲 [931948549]