2011-06-03から1日間の記事一覧
最終章「プログラムの論証」続きです。まだ難しくはないです。 整数に対する数学的帰納法 再帰と帰納法は類似。再帰による関数の論証には数学的帰納法を利用する 有限の範囲だけを考える まだ「あたりまえ」の範疇 リストに対する数学的帰納法 [] (空リスト)…
最終章「プログラムの論証」続きです。まだ難しくはないです。 整数に対する数学的帰納法 再帰と帰納法は類似。再帰による関数の論証には数学的帰納法を利用する 有限の範囲だけを考える まだ「あたりまえ」の範疇 リストに対する数学的帰納法 [] (空リスト)…