yf0fyf
(yf0fyf)

利用開始日: 06/27/2016

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

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Public

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

79/55

2019

09/20

(Fri)

19:30〜

Attending

2019

08/09

(Fri)

19:30〜

Attending

2019

07/19

(Fri)

19:30〜

Cancel

2019

07/05

(Fri)

20:00〜

Attending

2019

03/30

(Sat)

14:00〜

Attending

Gordon Plotkin先生に学ぶAlgebraic Effect Ended

Gordon Plotkin先生に学ぶAlgebraic Effect

κeen κeen

東京都新宿区新宿4丁目1−6(JR新宿ミライナタワー13階)

37/42

2019

02/28

(Thu)

19:30〜

Attending

現代数理論理学序説XXXX会第二回 Ended

現代数理論理学序説XXXX会第二回

1_hoc 1_hoc

5F, TOHMA Takadanobaba,, 2-1-2, Takadanobaba, Shinjuku

4/6

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