2011-06-06から1日間の記事一覧
最終章「プログラムの論証」の中盤です。今日読んだところはこの章でやってきたプログラムの証明の実用的な活用方法が示されていて、すっきりしました。 13.6 連結を除去する 前回までの reverse の定義には "++" によるリストの連結が利用されているので効…
最終章「プログラムの論証」の中盤です。今日読んだところはこの章でやってきたプログラムの証明の実用的な活用方法が示されていて、すっきりしました。 13.6 連結を除去する 前回までの reverse の定義には "++" によるリストの連結が利用されているので効…