数学的ソフトウェアを考える①総論