コンピュータによる定理証明支援とその応用 / Computer Assisted Theorem Proving and Applications(2024/11/25(月)--26(火)開催)のお知らせ