keigoi
(keigoi)

利用開始日: 2012/11/15

Haskell programmer / OCaml programmer at IT Planning, Inc. Now lazily making OCaml on Android related stuffs. Finally got Ph.D. at Nagoya univ at March, 2012.

2017

05/20

(土)

14:30〜

キャンセル

第65回 ProofCafe 終了

ProofCafe

第65回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

5

2017

05/11

(木)

18:30〜

申込済

遺伝的有限集合勉強会 7 終了

遺伝的有限集合勉強会 7

t6s t6s

愛知県名古屋市中村区名駅2丁目35番22号 メビウス名古屋ビル2階

5

2017

04/20

(木)

18:30〜

申込済

遺伝的有限集合勉強会 6 終了

遺伝的有限集合勉強会 6

t6s t6s

愛知県名古屋市中村区名駅2丁目35番22号 メビウス名古屋ビル2階

5

2017

04/15

(土)

13:30〜

申込済

第64回 ProofCafe 終了

ProofCafe

第64回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

6

2017

03/29

(水)

18:30〜

申込済

遺伝的有限集合勉強会 5 終了

遺伝的有限集合勉強会 5

t6s t6s

愛知県名古屋市中村区名駅2丁目35番22号 メビウス名古屋ビル2階

5

2017

03/18

(土)

18:00〜

主催

申込済

よしひろさん壮行会 終了

よしひろさん壮行会

keigoi keigoi

名古屋市千種区東山通1-33

23/25

2017

03/18

(土)

14:30〜

申込済

第63回 ProofCafe 終了

ProofCafe

第63回 ProofCafe

yoshihiro503 yoshihiro503

名古屋市千種区不老町

12

2016

12/17

(土)

13:30〜

申込済

NGK2016B 昼の部 終了

NGK2016B

NGK2016B 昼の部

terurou terurou

名古屋市中村区名駅4-5-27 大一名駅ビル

84/100

2016

09/25

(日)

11:00〜

申込済

Proof Summit 2016 終了

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

2013

12/14

(土)

18:00〜

申込済

NGK2013B 夜の部 終了

NGK2013B

NGK2013B 夜の部

terurou terurou

愛知県名古屋市千種区千種2-24-10

96/96