Maxima で綴る数学の旅

紙と鉛筆の代わりに、数式処理システムMaxima / Macsyma を使って、数学を楽しみましょう

2019-07-28から1日間の記事一覧

-セキュリティ-:セキュリティの形式的証明の実世界での応用(1)

ある種のセキュリティの勉強を継続しているのですが、論文を調べているとこの辺の研究を実世界で活用しよう、という実証研究も見つかります。今回はこちらの論文: Formally verified software in the real worldCommunications of the ACM, Volume 61, Issu…