記号計算の高速化と産業課題解決への応用2 / Speeding up of symbolic computation and its application to solving industrial problems 2(2024/11/13(水)--14(木)開催)のお知らせ