記号計算の高速化と産業課題解決への応用2(2024/11/13(水)–14(木)開催)のお知らせ