@teyamagu: Topseに来年度から誰か参加できるようになんとかしよう。2016-09-10 20:12:58 via Facebook @teyamagu: リアクティブ系言語の普及で、モデル検査の需要が増えるかもなー、と話していて思った。2016-09-10 19:15:11 via Facebook @teyamagu: @snsk…