t_uchida
(t_uchida)

Usage start date: 06/04/2015

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

2020

/

04/17

(Fri)18:30〜

2020

/

03/08

(Sun)19:00〜

2019

/

09/29

(Sun)11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

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

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

t_uchida