数学的ソフトウェアの評価研究会に出席して