記号計算の高速化と産業課題解決への応用記号計算の高速化と産業課題解決への応用(Speeding up of symbolic computation and its application to solving industrial problems)(2023/11/14(月)–15(火)開催)のお知らせ