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