t_uchida
(t_uchida)

利用開始日: 06/04/2015

ソフトウェア開発者です。興味:Coq/Isabelle/Rust/FPGA/SoC https://bitbucket.org/t_uchida

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Public

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

84/55

2018

09/02

(Sun)

11:00〜

Attending

Proof Summit 2018 Ended

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

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

80/100

2017

07/23

(Sun)

11:00〜

Attending

Proof Summit 2017 Ended

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

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

64/108

2016

03/03

(Thu)

2015

09/12

(Sat)

13:00〜

Attending

Proof Summit 2015 Ended

Proof Summit

Proof Summit 2015

tmiya_ tmiya_

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

56/72

2015

07/25

(Sat)

13:00〜

Attending

関数型Scalaの集い Ended

関数型Scalaの集い

pocketberserker pocketberserker

東京都中央区銀座4-12-15

85/106