「大学でRustを教えた話 - 未完成な論を綴るブログ」

このブログ記事は、Advent Calender 2020, Rust 3、23日目の記事となります。自分は現在大学で教員をしていまして、セキュリティ系の研究室に所属しています。現在はセキュリティの講義を担当しており、そこでRust言語を教えているため、その内容を紹介しようと思います。 はじめに 皆さんご存知のようにソフトウェアの脆弱性は今でも大きな問題となっていますが、それを完全ではないにしろ根本から解決するための技術的手法として型システムが注目されています。型システムの考え自体は古くからありますが、最近ではRust言語が登場し、OSなどいわゆる低レイヤーなソフトウェアも型システムの恩恵を預…

はじめに 皆さんご存知のようにソフトウェアの脆弱性は今でも大きな問題となっていますが、それを完全ではないにしろ根本から解決するための技術的手法として型システムが注目されています

ytakano.hatenablog.com

Webページ

コンテンツ文字数:7,714 文字

見出し数(H2/H3タグ):0 個

閲覧数:107 件

2020-12-24 08:19:29

オリジナルページを開く

画像一覧
※読み込みに時間がかかることがあります