論文読み会 の変更点

• 追加された行はこの色です。
• 削除された行はこの色です。
• 論文読み会 へ行く。
• 論文読み会 の差分を削除

[[ocaml-nagoya]]

**第一回: 2010/04/08 [#vd4fe476]
-&ref(imai-places2010-preproceedings-submitted.pdf);
-&ref(places2010-imai-slides-final.pdf);

**第二回: 2010/04/22 [#oec93aa0]
-[[(PDF) Introduction to Generalized Type Systems:http://cs.anu.edu.au/student/comp3610/lectures/12-SystemF/intro-to-generalised-type-systems.pdf]]

**第三回: 2010/05/06 [#n2e3538e]
-[[(PDF) UML2Alloy: A tool for lightweight modelling of Discrete Event Systems:http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.110.1373&rep=rep1&type=pdf]]