正誤表を掲載しました＋α

[Takeo Imai]

今井です。

昨年はAlloy本が出版でき、おかげさまで多くの方に手に取っていただけました。
本年もAlloyと形式手法の普及に努めてまいりたいと思います。どうぞ本年も宜しくお願いします。

さて、いくつかお知らせを。

・ 以前こちらのメーリングリストでご指摘いただいた内容を元に、本書訂正箇所に関する正誤表をサポートページに掲載しました。
詳しくは以下のURLを参照下さい。
https://sites.google.com/site/softwareabstractionsja/errata

・ 先日、ジュンク堂書店 池袋本店で行われた 『新春座談会　このコンピュータ書がすごい！　2012年版』でAlloy本が紹介されました。
http://ustre.am/_1kTgI:Yxl

2011年７月の同書店売り上げランキング16位にランクインしていたそうです。
司会の方が紹介に困っておられたのが、少々申し訳なかったりもしましたが…（＾＾；

--
IMAI Takeo <takeo...@gmail.com>