camloeba
(camloeba)

利用開始日: 2012/11/04

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

2018

11/09

(金)

19:00〜

申込済

IOSTワークショップ x  PopulStay CEO 参加! 終了

Blockchain Kyoto

IOSTワークショップ x PopulStay CEO 参加!

hide ogawa hide ogawa

600-8216 京都市下京区西洞院通塩小路下る

11/20

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