もうすっかり放置してしまっているはてなですが、さすがにこの記事を書かないまま放置するのはまずい。ので一言だけ書いておきます。"Software Abstractions"（通称Alloy本）の邦訳しました。現在、全国各書店で発売中です。抽象によるソフトウェア設計−Allo…