2019-05-01から1ヶ月間の記事一覧

サイバーセキュリティの講義と演習を行った

5月25〜26日にかけて大阪大学で高度サイバーセキュリティPBL Iという講義を行った(これも例のごとくProSecというコースの一環である)。講義と言っても講義が6割で演習が4割と言った配分である。この講義は自分以外に、情報通信研究機構から明石邦夫先生を…

不完全性定理の理解不完全性

大阪大学に赴任してから半年たったぐらいの2019年2月頃に、離散数学と計算の理論という題目の講義を4月から担当することに決まった。その理由は、その講義を元々担当していた当時研究室の准教授だった先生が、他大学の教授へとご栄転されることが決まったか…