開催概要 プログラム https://www.math.nagoya-u.ac.jp/~garrigue/tpp2024 11月25日（月）【公開】 12:50-17:55 12:50-13:00:Opening 13:00-14:00 Pierre-Marie Pédrot (INRIA)A Kernel of Truth (Invit … 続きを読む コンピュータによる定理証明支援とその応用｜2024a024