プログラムを証明するには？at MATHプログラムを証明するには？ - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト8:１３２人目の素数さん 25/03/08 08:33:14.12 3yKaxuFZ.net 思い付きとは？ 9:１３２人目の素数さん 25/03/08 10:19:37.00 lUzSDHir.net たとえばFizzBuzzのプログラムが「正しい」ことはどうやって証明するのか 入力が固定なら、出力を正解と差分比較すればいいが 10:１３２人目の素数さん 25/03/08 10:32:47.02 3yKaxuFZ.net プログラムが仕様通り作られていることを形式的に証明する、のか 11:１３２人目の素数さん 25/03/08 10:33:31.33 3yKaxuFZ.net ホーア論理 12:１３２人目の素数さん 25/03/08 10:34:11.32 3yKaxuFZ.net ダイクストラのプログラム検証法 13:１３２人目の素数さん 25/03/08 10:36:11.90 3yKaxuFZ.net coq 14:１３２人目の素数さん 25/03/08 12:20:00.49 0f9oMeD6.net >>9 自然数が ・3の倍数だが5の倍数ではない ・5の倍数だが3の倍数ではない ・3の倍数かつ5の倍数 ・それ以外 の無縁和に分かれることの証明を表現する それぞれのケースに対する関数を定義する FizzBuzzの上限と下限を決める このようになっていれば形式的に証明できると思う 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch