『プログラマのための論理学』が1周年を迎えました

Hillel Wayne氏の書籍『Logic for Programmers』がリリースから1周年を迎えました。現在v0.10まで進化し、当初の19,000語から31,000語に拡大、TLA+や制約ソルバーなどの新章も追加されています。セルフパブリッシングで1,180冊を販売し、今後は最終版に向けてさらなる改訂と編集作業が計画されています。