t_uchida
(t_uchida)

Usage start date: 06/04/2015

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

2020

04/17

(Fri)

2020

03/08

(Sun)

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