SPINの勉強本として、The Spin Model Checker: Primer and Reference Manual があるそうだが、なぜか「あわせて買いたい」にEclipse Modeling frameworkの本が。「この本を買った人はこんな本も買っています」を見ると、 # Eclipse Modeling Framework: A De…

WSDL 2.0 Working Draft part1 part2 デマシタ。最近、WS-ChoreographyとかRDF,OWLとかで文書が出まくっているのは、たぶんエディタさん達が今年度頭に会社にコミットした成果を明確化しなければならないからだろう。みなさん、お疲れ様。

気づいたら会社生活も次で9年目。 あれ、そういえば、同じ上司の下だ。つまり俺の社会人経験はそのままその上司の方の下の人生である。 今のところ学生 or その上司の人の下で働いているかの人生。 ちょっと長いな。