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