saitouena
(saitouena)

利用開始日: 09/04/2018

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

2019

09/29

(Sun)

11:00〜

Waitlist

Proof Summit 2019 Public

Proof Summit

Proof Summit 2019

tmiya_ tmiya_

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

82/55

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

2019

04/29

(Mon)

14:00〜

Attending

Coq勉強会 -  #1 Ended

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_

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

23

2019

04/24

(Wed)

19:00〜

Attending

ユニプロM:tGシールド会 vol.03 Ended

ユニプロM:tG会定例

ユニプロM:tGシールド会 vol.03

SubaruG SubaruG

東京都世田谷区代田6-6-20 (マックハイツ下北沢W棟)

6/6