yf0fyf
(yf0fyf)

Usage start date: 06/27/2016

構成的型理論とプログラミング言語理論が専門で証明論もちょっとできる情報系の博士課程院生

Your Groups

2019

09/29

（Sun）

11:00〜

Organizing

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_ 他

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

66/69

2016

09/25

（Sun）

11:00〜

Organizing

Attending

Proof Summit 2016 Ended

Proof Summit

Proof Summit 2016

tmiya_ tmiya_ 他

35.027611, 135.783778

39/60