ERATO MMSD
ERATO Metamathematics for Systems Design Project
最近のプロジェクト研究と成果について,研究総括の蓮尾がチュートリアル講演を行いました(JSSST PPL, 2021年3月).動画 スライド