saitouena
(saitouena)

Usage start date: 09/04/2018

斉藤恵那 ブログ日記を書き始めた https://t.co/RewNdlESnW

2019

10/14

(Mon)

14:30〜

Cancel

Coq勉強会 -  #6 Ended

readcoqart

Coq勉強会 - #6

tmiya_ tmiya_

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

12

2019

09/29

(Sun)

11:00〜

Attending

Proof Summit 2019 Ended

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

66/69

2019

09/26

(Thu)

19:30〜

Attending

Shibuya.lisp lispmeetup #80 Ended

Shibuya.lisp

Shibuya.lisp lispmeetup #80

Shibuya.lisp Shibuya.lisp

東京都品川区西五反田2-27-3 (A-PLACE五反田 9F)

16/31

2019

08/31

(Sat)

14:00〜

Attending

Coq勉強会 -  #5 Ended

readcoqart

Coq勉強会 - #5

tmiya_ tmiya_

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

11

2019

08/29

(Thu)

19:30〜

Attending

Shibuya.lisp lispmeetup #79 Ended

Shibuya.lisp

Shibuya.lisp lispmeetup #79

Shibuya.lisp Shibuya.lisp

東京都港区芝4-3-5

14/24

2019

07/28

(Sun)

14:00〜

Attending

Coq勉強会 -  #4 Ended

readcoqart

Coq勉強会 - #4

tmiya_ tmiya_

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

10

2019

06/23

(Sun)

14:00〜

Attending

Coq勉強会 -  #3 Ended

readcoqart

Coq勉強会 - #3

tmiya_ tmiya_

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

10

2019

05/30

(Thu)

20:00〜

Attending

『Coq/SSReflect/MathCompによる定理証明』読書会(4) Ended

Coq読書会

『Coq/SSReflect/MathCompによる定理証明』読書会(4)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

8/12

2019

05/26

(Sun)

14:00〜

Cancel

Coq勉強会 -  #2 Ended

readcoqart

Coq勉強会 - #2

tmiya_ tmiya_

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

10

2019

05/16

(Thu)

20:00〜

Attending

『Coq/SSReflect/MathCompによる定理証明』読書会(3) Ended

Coq読書会

『Coq/SSReflect/MathCompによる定理証明』読書会(3)

7shi 7shi

東京都豊島区南池袋1-16-20 (ぬかりやビル2階)

13/25