kg6y_ucd- Web :
- -
- Twitter ID :
- kg6y_ucd
▼管理しているイベント
管理しているイベントはありません。
▼参加しているイベント
|
2011/04/23 13:00 13:00 |
第15回FormalMethods勉強会(ハッシュタグ #fm_forum) | 8/ 20 人 |
|---|---|---|
|
2011/03/05 13:00 13:00 |
第14回FormalMethods勉強会 | 6/ 20 人 |
|
2010/12/11 14:00 14:00 |
TAPL読書会@東京 第2回 | 7/ 15 人 |
|
2010/12/05 13:00 13:00 |
第12回FormalMethods勉強会 | 5/ 20 人 |
|
2010/11/13 13:00 13:00 |
第11回FormalMethods勉強会 | 3/ 24 人 |
|
2010/11/03 14:00 14:00 |
TAPL読書会@東京 第1回 | 12/ 15 人 |
|
2010/10/23 13:00 13:00 |
第10回FormalMethods勉強会 | 4/ 24 人 |
|
2010/09/23 13:00 13:00 |
第9回FormalMethods勉強会 | 6/ 24 人 |
|
2010/08/29 13:10 13:10 |
Coq庵 | 37/ 46 人 |
|
2010/08/28 18:00 18:00 |
OCaml Meeting 2010 in Nagoya懇親会 | 34/ 30 人 |
|
2010/08/28 09:50 09:50 |
OCaml Meeting 2010 in Nagoya | 71/ 100 人 |
|
2010/04/16 18:30 18:30 |
Haskellers Meeting 2010 Spring | 135/ 150 人 |
▼キャンセルしたイベント
キャンセルしたイベントはありません。