{"product_id":"9784908686023","title":"定理証明手習い","description":"あるプログラムが、考えられるあらゆる入力に対して誤った動作を引き起さないことは、テストを書いても確かめられません。それを確かめるには、公理と式の等価な書き換えだけで恒真を導いたり、再帰的なプログラムの構造に照した帰納法による証明が必要です。\u003cbr\u003e\u003cbr\u003eなんだか難しそうに聞こえるかもしれませんが、その世界観を丁寧にときほぐして解説したのが、本書の原書にあたる \"The Little Prover\" です。","brand":"ラムダノート","offers":[{"title":"Default Title","offer_id":48563716555056,"sku":"","price":3960.0,"currency_code":"JPY","in_stock":true}],"url":"https:\/\/www.maruzenjunkudo.co.jp\/products\/9784908686023","provider":"丸善ジュンク堂書店ネットストア","version":"1.0","type":"link"}