計算機科学のための数学談話会7_商差法の応用