Logic for Programmers New Release and Next Steps

プログラマーのための論理学の新バージョンv0.13がリリースされました。全章が書き直され、Alloyの章はデータモデリングからドメインモデリングへと根本的に変更されました。今後は編集、校正、レイアウト調整を経て、夏までに物理書籍として完成させる予定です。