tmiya_
(tmiya_)

利用開始日: 2013/05/10

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

2017

07/23

(日)

11:00〜

主催

申込済

Proof Summit 2017 開催前

Proof Summit

Proof Summit 2017

tmiya_ tmiya_

東京都中央区築地1丁目13−1 ADK松竹スクエア

58

2017

07/09

(日)

14:00〜

主催

"ベーシック圏論" 読書会 #10 開催前

readcoqart

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

tmiya_ tmiya_

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

2/20

2017

07/05

(水)

19:00〜

主催

2017

07/01

(土)

14:00〜

主催

Coq勉強会 - (SF読み進捗ダメです会議) -  #40 開催前

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #40

tmiya_ tmiya_

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

4

2017

06/28

(水)

2017

06/21

(水)

2017

06/14

(水)

2017

06/11

(日)

14:00〜

主催

申込済

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

readcoqart

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

tmiya_ tmiya_

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

5/20

2017

06/07

(水)

19:00〜

主催

2017

05/28

(日)

14:00〜

主催

Coq勉強会 - (SF読み進捗ダメです会議) -  #39 終了

readcoqart

Coq勉強会 - (SF読み進捗ダメです会議) - #39

tmiya_ tmiya_

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

5