2023.10.31

土岡俊介講師が、東京工業大学で開催された tpp 2023 において、招待講演 “簡易な検証器の実装を通じた形式証明の実践講義の可能性” をおこないました。