tmiya- Web :
- -
- Twitter ID :
- -
▼管理しているイベント
|
2010/08/08 13:00 |
Steve AwodeyのCategory Theory読書会 | 8/ 10 人 |
|---|---|---|
|
2010/08/01 11:00 |
mzpさん迎撃オフ | 4 人 |
▼参加しているイベント
|
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/08/14 13:00 13:00 |
第8回FormalMethods勉強会 | 5/ 24 人 |
|
2010/08/08 13:00 13:00 |
Steve AwodeyのCategory Theory読書会 | 8/ 10 人 |
|
2010/08/06 19:00 19:00 |
わかる!JavaVM ― 2時間でわかる?JavaVM入門 | 216/ 180 人 |
|
2010/08/01 11:00 11:00 |
mzpさん迎撃オフ | 4 人 |
|
2010/07/19 13:00 13:00 |
第7回FormalMethods勉強会 | 8/ 24 人 |
|
2010/06/12 13:00 13:00 |
第6回FormalMethods勉強会 | 10/ 10 人 |
|
2010/05/28 19:00 19:00 |
ありえるえりあ勉強会@溜池山王 ～第1回ディープすぎるJava・・・～ | 86/ 80 人 |
|
2010/05/22 15:00 15:00 |
第5回FormalMethods勉強会 | 8/ 10 人 |
|
2010/04/29 13:00 13:00 |
第4回FormalMethods勉強会 | 9/ 10 人 |
|
2010/04/25 14:00 14:00 |
Proof Cafe (栄) | 15/ 15 人 |
|
2010/04/16 18:30 18:30 |
Haskellers Meeting 2010 Spring | 135/ 150 人 |
|
2010/04/10 13:00 13:00 |
第3回FormalMethods勉強会 | 12/ 10 人 |
|
2010/04/04 13:00 13:00 |
Immutable Object読書会 | 11/ 11 人 |
|
2010/03/13 13:00 13:00 |
計算機言語で定理証明 | 9/ 8 人 |
|
2010/03/09 19:00 19:00 |
第2回Formal Methods勉強会 | 3/ 10 人 |
|
2010/03/03 19:00 19:00 |
第4回Scala言語仕様輪読会@scala-be | 12/ 30 人 |
|
2010/02/08 19:00 19:00 |
第1回FormalMethods勉強会 | 10/ 20 人 |
|
2010/01/31 13:00 13:00 |
並カン | 105/ 120 人 |
|
2009/12/09 19:00 19:00 |
Step by Step Scala [vol.05]@scala-be | 16/ 20 人 |
|
2009/11/22 13:00 13:00 |
Scala Hack-a-thon #1 | 74/ 80 人 |
|
2009/11/11 19:00 19:00 |
第3回Scala言語仕様輪読会@scala-be | 12/ 20 人 |
|
2009/10/30 19:00 19:00 |
BPStudy#26 | 59/ 80 人 |
|
2009/10/22 19:00 19:00 |
Step by Step Scala [vol.02]@scala-be | 28/ 30 人 |
|
2009/10/07 19:00 19:00 |
Step by Step Scala [vol.01]@scala-be | 21/ 20 人 |
|
2009/10/02 19:00 19:00 |
第2回Scala言語仕様輪読会@scala-be | 19/ 25 人 |
|
2009/09/19 10:00 10:00 |
Haskell Annual Meeting Autumn.jp 2009 | 33 人 |
|
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/05/05 11:00 11:00 |
Pure Prolog Implementation...なんか | 10/ 11 人 |
|
2009/05/04 19:00 19:00 |
『本物のプログラマはHaskellを使う』読者の集い 懇親会 | 10/ 20 人 |
|
2009/05/04 12:00 12:00 |
『本物のプログラマはHaskellを使う』読者の集い | 24/ 40 人 |
▼キャンセルしたイベント
|
2010/02/20 10:00 |
Scala Hack-a-thon #2 | 64/ 70 人 |
|---|---|---|
|
2009/12/06 13:00 |
情報科学苦手の会 | 29/ 30 人 |
|
2009/08/14 18:30 |
第1回Scala言語仕様輪読会@scala-be | 17/ 30 人 |