tmiya_
(tmiya_)

利用開始日: 2013/05/10

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

2018

01/13

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

2

2017

12/20

(水)

19:00〜

主催

2017

12/13

(水)

2017

12/09

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

3

2017

11/29

(水)

2017

11/22

(水)

2017

11/15

(水)

2017

11/04

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

4

2017

11/01

(水)

2017

10/28

(土)

14:00〜

主催

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

readcoqart

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

tmiya_ tmiya_

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

4/20