注：既に募集は終了しました。参考：こちら twitterではぼそぼそとつぶやいていましたが、現在下記の本の翻訳を進めています。Software Abstractions: Logic, Language, and Analysis作者: Daniel Jackson出版社/メーカー: The MIT Press発売日: 2006/03/24…