tmiya_
(tmiya_)

利用開始日: 2013/05/10

関数型言語と定理証明に興味があります。Formal Methods Forumに所属。

2018

09/02

(日)

11:00〜

主催

申込済

Proof Summit 2018 開催前

Proof Summit

Proof Summit 2018

tmiya_ tmiya_

東京都中央区銀座5-15-1(南海東京ビル)

83/100

2018

08/01

(水)

19:00〜

主催

2018

07/29

(日)

14:00〜

主催

Coq勉強会 -  #50 開催前

readcoqart

Coq勉強会 - #50

tmiya_ tmiya_

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

5

2018

07/19

(木)

2018

07/16

(月)

14:00〜

主催

"ベーシック圏論" 読書会 #19 終了

readcoqart

"ベーシック圏論" 読書会 #19

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

3/20

2018

07/12

(木)

2018

07/05

(木)

2018

06/28

(木)

2018

06/27

(水)

2018

06/24

(日)

14:00〜

主催

"ベーシック圏論" 読書会 #18 終了

readcoqart

"ベーシック圏論" 読書会 #18

tmiya_ tmiya_

東京都渋谷区恵比寿西1-7-7 (EBSビル8階)

5/20