募集

現在、 @bonotake さん等と一緒に、以下の書籍の和訳を進めています。

Software Abstractions: Logic, Language, and Analysis

で、ご指示を頂きましたので翻訳のレビュアーを募集いたします。


- 募集人員：若干名
- 期間：3月初旬から3月いっぱいまで（予定）
- 応募方法： takeo.bono at gmail.com にメール または twitterで @bonotake にmentionしてください。
手を挙げていただいた方のうち何名かを選抜して、2/22以降にこちらから声をかけさせていただきます。（応募頂いても、残念ながらお願いしない場合がありますので、悪しからずご了承下さい）
Alloyの知識あるなしは問いません。ユーザー、あるいは入門者の視点で読んでくださる方歓迎です。


関係者でここを見ている人が何人居るか謎ですが、一応。