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

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

[ytakano]

書いた

[koba789]

偉大だ

[kirakking]

セキュリティを主題としたRustの講義とは面白そうだ。メモリ安全はいままで開発効率を上げるものとのしか考えていなかったけど、セキュアなプログラミングとして捉えるのがいいのか。

[YaSuYuKi]

安全性を数学的に証明するのはいいな

[MASSI]

“ソフトウェアが我々の命までも支えるようになってきた昨今では、C、C++をRust等のメモリ安全な言語での置き換えることは、ソフトウェア業界の最重要課題と言っても過言ではありません。”

[j5ik2o]

"C、C++をRust等のメモリ安全な言語での置き換えることは、ソフトウェア業界の最重要課題と言っても過言ではありません"

[kamocyc]

線形型システムの実装までするのはすごい。 / Rustの一番の特徴はGCなしでメモリ安全性を実現したことなので、そこにも触れた方がいい気がする

[nobububu]

いまどき Hello, world! をRust でもやるのかと思って開いたら違った。受けたい

[khwarizmi]

すごいな。受けてみたい。ただ、ついていくにはかなりの自習時間が必要そうで、こんな気合いの入った講義ばかりだと胸焼けしそう

[ming_mina]

コンピュータの学問的・理論的なところ全然知らんからこういうの勉強してればよかったな…と思う

[hylom]

めちゃくちゃ良さそう。自分も線形型システムについてちゃんと系統立てて学びたい。

[Nyoho]

線形型システムのところ「線形型言語の型検査アルゴリズムを、Rustを用いて実装してもらいました」とのこと。いい課題が出ていて受講者は勉強になっただろうなあ。

[topiyama]

新規にはC/C++覚えさせないで先にRust習わせよう

[masa8aurum]

“Rust言語の理論的背景的にある線形型システムについて（実際はアフィン型ですが）” 気になる

[sadness_ojisan]

これやってみたいな。どこかに資料ないかしら。

[nicht-sein]

浅学なのでCやC++にも型システムはあるじゃんとか思ってしまった。型安全性がないって話なのかなぁ……

[herikutu]

受けたい

[saiyu99sp]

他の言語で危険な状況の再現とRustとの比較はしないの？

[programmablekinoko]

型証明が良い / 内容とは関係ないが、「トヨタなどで使われている最新鋭の技術を教えるべきだ」という要望が大学に寄せられているという話でお茶吹きそうになった

[sharaku3eyes]

深い

[hitotakuchan]

非常にいい講義内容だと思う