yf0fyf
(yf0fyf)

Usage start date: 06/27/2016

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

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