訂正情報

本書「並行システムの検証と実装」の間違いを訂正するための情報です。