MoCo7- Web :
- -
- Twitter ID :
- -
▼管理しているイベント
管理しているイベントはありません。
▼参加しているイベント
|
2010/11/03 14:00 14:00 |
TAPL読書会@東京 第1回 | 12/ 15 人 |
|---|---|---|
|
2010/10/09 14:00 14:00 |
TAPL読書会@東京 第0回 | 13/ 14 人 |
|
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 人 |
▼キャンセルしたイベント
|
2011/05/04 10:00 |
Coqで圏論の会 | 13/ 14 人 |
|---|