前回(2017/07/07)の内容 前回(2017/07/07)の内容 設計 「数学的な発想」とプログラミング プログラムが「正しく」動く事を保証するには、数学的な証明が必要 数学的な「証明」は、プログラムを作成するヒントになる 言語 浮動小数点数 : 実数(小数)を表現するデータ型 整数型と浮動小数点数の違い : 浮動小数点数には「誤差」がある