数学的ソフトウェアを考える④_数値積分に見る自動化と高速化の近況