ラテ:ラテ:Javaリファレンスの簡略化るための新しいシステム。Javaオブジェクト参照を効果的に管理すプログラミング言語Javaでのオブジェクト参照管理を簡素化するラテはオブジェクト参照の追跡を簡素化して、開発者の負担を減らすよ。2025-09-28T06:32:48+00:00 ― 1 分で読む
Rustの安全でないコードRustの安全でないコード。安全でないコードの複雑な使い方を検証するソフトウェア工学Rust開発での安全でないコードの扱い方Rustにおける開発者の危険なコード使用に関する研究。2025-08-23T10:30:00+00:00 ― 1 分で読む
Rustと外国関数のリスクRustと外国関数のリスクて対処する。Rustライブラリの未定義の動作を特定しソフトウェア工学Rustライブラリにおける未定義動作の理解未定義の動作が外部関数を使ったRustライブラリにどんな影響を与えるか学ぼう。2025-08-18T20:49:18+00:00 ― 1 分で読む