- Web :
- -
- Twitter ID :
- -
▼管理しているイベント
管理しているイベントはありません。
▼参加しているイベント
|
2009/10/24 10:00 10:00 |
計算機言語で定理証明 | 8/ 10 人 |
|---|---|---|
|
2009/10/17 09:00 09:00 |
"CFG⊆PEG?" Proofathon | 18/ 2147483647 人 |
|
2009/09/05 18:00 18:00 |
決定不能問題勉強会準備ミーティング | 6/ 5 人 |
▼キャンセルしたイベント
|
2009/09/06 15:00 |
(tokyo-emacs #x02) : 観覧希望者用ページ | 28/ 30 人 |
|---|