元の文字起こし · 英語

Derek Dreyer: Proving the Safety of Rust with RustBelt and Iris

DDDerek Dreyer登壇者 · Max Planck Institute for Software Systems
チャンネル
Jane Street
動画
1:05:59
文字起こしの言語
英語
出典
YouTube 自動字幕・未校正

動画の元の文字起こしを、編集せずにそのまま表示しています。整えた全文、要約、各言語の翻訳は記事ページにあります。

記事に戻るYouTube で開く

文字起こしを読み込み中…