新刊『定理証明手習い』と『Goならわかるシステムプログラミング』の発売を開始しました！新刊『定理証明手習い』と『Goならわかるシステムプログラミング』の発売を開始しました！ 2017年10月19日 ご来店ありがとうございます。 開店以来およそ6ヶ月、ここまで『プロフェッショナルSSL/TLS』と『RubyでつくるRuby』の2タイトルで営業していたラムダノートのWebサイトですが、 久しぶりに新刊の発売を開始します。しかも2タイトルの同時発売です！ 1つめの新刊タイトルは『定理証明手習い』です。 証明といっても、証明するのは数学の定理ではなくプログラムの正しさです。 プログラムの正しさというと、まだまだテストによる検証などが真っ先に思い浮かぶかもしれません。しかし、たとえば「定義した関数があらゆる入力に対して破綻せずに動作するか」をユニットテストだけで検証しつくすことはできません。 そこで、数学で公理から推論規則だけで命題の正しさを証明するように、プログラムでも公理からの等
