camloeba

camloeba

(camloeba)
利用開始日: 2012/11/04

Formal verification. Functional programming. OCaml.
Block chain. Cryptcurrency. Tezos. Kyoto.

2018

/

09/16

(日)13:00〜

申込済

ML Day#2 終了

ML勉強会

ML Day#2

インターネットの闇 インターネットの闇

東京都中央区銀座5-15-1 南海東京ビルディング3F

80/100

2016

/

09/25

(日)11:00〜

キャンセル

Proof Summit 2016 終了

Proof Summit

Proof Summit 2016

tmiya_ tmiya_

35.027611, 135.783778

39/60

2012

/

11/17

(土)18:00〜

申込済

わかめのビール浸し (懇親会) 終了

わかめのビール浸し (懇親会)

kyon_mm kyon_mm

名古屋市千種区不老町

23/50

2012

/

11/17

(土)13:00〜

申込済

わかめのモナド浸し 終了

わかめのモナド浸し

kyon_mm kyon_mm

名古屋市千種区不老町

35/50

camloeba

camloebaさんのフォロー 0

フォローはいません。