- Web :
- -
- Twitter ID :
- -
▼管理しているイベント
|
2009/09/05 18:00 |
決定不能問題勉強会準備ミーティング | 6/ 5 人 |
|---|
▼参加しているイベント
|
2009/09/05 18:00 18:00 |
決定不能問題勉強会準備ミーティング | 6/ 5 人 |
|---|---|---|
|
2009/08/30 17:15 17:15 |
OCaml Meeting Tokyo 2009 懇親会 | 31/ 35 人 |
|
2009/08/30 09:30 09:30 |
OCaml Meeting Tokyo 2009 | 92/ 100 人 |
|
2009/04/18 18:45 18:45 |
型レベルプログラミングの会:懇親会 | 22/ 22 人 |
|
2009/04/18 12:00 12:00 |
型レベルプログラミングの会 | 32/ 30 人 |
▼キャンセルしたイベント
|
2009/10/24 10:00 |
計算機言語で定理証明 | 8/ 10 人 |
|---|