このエントリーをはてなブックマークに追加

Apr

4

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

Hashtag ：#readcoq
Registration info

参加枠1

￥500（Pay at the door）

FCFS
14/25

Description

主に数学的な側面から定理証明支援系を勉強します。

お気軽にご参加ください。

【注】 一読者が私的に開催する会です。 著者へのお問い合わせはご遠慮願います。 また、主催者は定理証明支援系の専門家ではありません。 あまり凄いことは期待しないでください。

テキスト

参加費

有料の会議室を借りるため、参加費にて分担をお願いします。

進め方

本文を読みながら、出て来たトピックスについて議論します。

事前にスライド等は用意しません。

対象箇所

最初から読みます。

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

takarakasai

takarakasai wrote a comment.

2019/05/30 19:44

申し訳ありません、遅れての参加になります

ymorii47

ymorii47 wrote a comment.

2019/04/04 19:33

すいません遅れそうなので先はじめてください！

7shi

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

03/28/2019 01:10

4/4(木)『Coq/SSReflect/MathCompによる定理証明』読書会(1) を公開しました！

Group

Coq読書会

Number of events 12

Members 35

Ended

2019/04/04(Thu)

20:00 〜 22:00
Google Calendar iCal

You cannot RSVP if you are already participating in another event at the same date.

Registration Period
2019/03/28(Thu) 01:10 〜
2019/04/04(Thu) 22:00

Event Organizer Contact

Location

MS&BB 池袋西武横店 7号室

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

Organizer

Attendees（14）

ottocilindri

ottocilindri

『Coq/SSReflect/MathCompによる定理証明』読書会(1) に参加を申し込みました！

_miyake

_miyake

『Coq/SSReflect/MathCompによる定理証明』読書会(1)に参加を申し込みました！

ymorii47

ymorii47

I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(1)!

krxross

krxross

『Coq/SSReflect/MathCompによる定理証明』読書会(1) に参加を申し込みました！

JeongwonMin

JeongwonMin

『Coq/SSReflect/MathCompによる定理証明』読書会(1)に参加を申し込みました！

yoshihiro503

yoshihiro503

『Coq/SSReflect/MathCompによる定理証明』読書会(1) に参加を申し込みました！

wat_aro

wat_aro

『Coq/SSReflect/MathCompによる定理証明』読書会(1) に参加を申し込みました！

tanaka_akr

tanaka_akr

『Coq/SSReflect/MathCompによる定理証明』読書会(1) に参加を申し込みました！

takarakasai

takarakasai

I joined 『Coq/SSReflect/MathCompによる定理証明』読書会(1)!

lion

lion

『Coq/SSReflect/MathCompによる定理証明』読書会(1) に参加を申し込みました！

Attendees (14)

Canceled (1)