拙著『Logic for Programmers』がついに発売されたことを、心から嬉しく思います！詳細はリリースサイトはこちらからご覧いただくか、電子書籍や印刷版を直接ご購入いただけます。早期アクセス版をご購入いただいた方は、leanpubからバージョン1.0を無料で入手できます。

この本は長い時間をかけて作り上げてきました。形式論理はソフトウェアを理解するための驚くほど強力な道具です。「LEFT OUTER JOINとは何か」から「なぜSquareはRectを継承すべきでないのか」まで、論理の基礎を少し知るだけで、すべてがより腑に落ちるようになります。にもかかわらず、そうした基礎を実際に学ぶための、プログラマー向けのリソースは存在しませんでした。数学の専門書を自力で読み解くか、なんとなく雰囲気で身につけるしかないと思われていたのです。

しかし、雰囲気で身につくことなどありません。

そこで私は、この5年間をかけて、そのリソースを自ら作ることにしました。『Logic for Programmers』は、現役の開発者に向けて論理の基礎とその多様な応用を教える本で、プロパティベーステストやドメインモデリング、論理プログラミングといった幅広い分野をカバーしています。数学的な予備知識がない人向けに書かれており、ANDやORが分かれば読むことができます。各章のトピックは何ヶ月もかけてリサーチし、正確さを担保するためにその分野の専門家にチェックしてもらい、さらに分かりやすさを確認するために若手プログラマーにも目を通してもらいました。

とにかく、今はとても疲れましたが、ようやく完成してほっとしています。読んでいただき本当にありがとうございます。本書を楽しんでいただければ幸いです。