自動運転車の安全性の数学的証明について，岩波書店 科学 2023年3月号に掲載された解説記事を公開しています．数理論理学の（超高速）入門も兼ねています．
蓮尾 一郎 「自動運転車の安全性の数学的証明――論理学の社会応用の一例として」科学 2023年3月号，岩波書店
自動運転車の安全性の数学的証明について，岩波書店 科学 2023年3月号に掲載された解説記事を公開しています．数理論理学の（超高速）入門も兼ねています．
蓮尾 一郎 「自動運転車の安全性の数学的証明――論理学の社会応用の一例として」科学 2023年3月号，岩波書店