Upcoming Events

Public 2019/09/23(Mon) 13:00〜

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

7shi 7shi

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

4/12

Finished Events View all events (12)

Ended 2019/09/05(Thu) 20:00〜

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

7shi 7shi

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

8/10

Ended 2019/08/22(Thu) 20:00〜

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

7shi 7shi

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

8/12

Ended 2019/08/08(Thu) 20:00〜

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

7shi 7shi

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

8/12

Ended 2019/07/25(Thu) 20:00〜

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

7shi 7shi

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

7/8

Ended 2019/07/11(Thu) 20:00〜

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

7shi 7shi

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

9/12

Ended 2019/06/27(Thu) 20:00〜

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

7shi 7shi

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

10/12

Ended 2019/06/13(Thu) 20:00〜

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

7shi 7shi

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

11/12

Ended 2019/05/30(Thu) 20:00〜

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

7shi 7shi

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

8/12

Ended 2019/05/16(Thu) 20:00〜

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

7shi 7shi

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

13/25

Ended 2019/04/18(Thu) 20:00〜

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

7shi 7shi

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

10/25