パソコンで数学　シミュレーションによる推測と証明　下