yuchiki1000yen
(yuchiki1000yen)

Usage start date: 07/18/2017

関数型言語、検証などに興味があります

2020

05/20

(Wed)

2020

04/17

(Fri)

2020

04/03

(Fri)

2020

03/26

(Thu)

2020

02/21

(Fri)

18:00〜

Attending

型システム祭り 中止

Opt Technologies/オプトテクノロジーズ

型システム祭り

kmizu kmizu

東京都千代田区四番町6番 東急番町ビル

229/115

2019

11/25

(Mon)

19:30〜

Attending

2019

09/29

(Sun)

11:00〜

Cancel

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

66/69

2019

05/26

(Sun)

13:00〜

Attending

effect system勉強会 Ended

effect system勉強会

びしょ〜じょ びしょ〜じょ

東京都中央区日本橋2-7-1 東京日本橋タワー 27階

67/70

2018

09/16

(Sun)

13:00〜

Attending

ML Day#2 Ended

ML勉強会

ML Day#2

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

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

80/100

2018

09/02

(Sun)

11:00〜

Attending

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

80/100