第4回CSP研究会

行ってきた。
研究はXMOSでの実装ネタが多く、組込みの話が中心だった。
もうちょっと組込み業界の人が事例を出すようになればもっと面白くなりそう。
ロボットとか、制御系のネタで腰をすえてやりたいところ。

懇親会でAlloyの講習会やりませんか、というお話を受けた。
ぜひ！やりたい。