数学的ソフトウェアを考える②_やわらかいソフトとかたいソフト - 共立出版コンピュータサイエンス誌『bit』