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

Sep

5

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

Hashtag :#readcoq
Registration info

参加枠1

500(Pay at the door)

FCFS
8/10

Description

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

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

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

テキスト

参加費

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

進め方

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

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

開催履歴

隔週木曜日開催です。

※ 事情により前後することがあります。

ページ タイトル
今回 2019.09.05 63 2.5.4 述語論理の形式化(途中)
10 2019.08.22 59 2.5.3 論理記号の形式化(途中)
9 2019.08.08 54 2.5.2 論理式の形式化(途中)
8 2019.07.25 49 2.4.2 (0+1+2+…+n)×2=n(n+1)の形式化(途中)
7 2019.07.11 44 2.4.1 自然数の形式化(途中)
6 2019.06.27 38 2.3.2 別証明その1
5 2019.06.13 35 2.3.1 ヒルベルトの公理S
4 2019.05.30 27 2.2 モーダスポネンスの形式化
3 2019.05.16 12 1.2.2 カリー-ハワード同型対応の例(途中)
2 2019.04.18 9 1.2.1 (補足の次)
1 2019.04.04 i まえがき

Media View all Media

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

Feed

krxross

krxross さんが書き込みました。

2019/09/06 00:12

notation関連のkeenさんのやり取りを書きに書きます https://qiita.com/krxross/private/ee20a87dceee2b42e93e

7shi

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

08/23/2019 22:48

9/5(木)『Coq/SSReflect/MathCompによる定理証明』読書会(11) を公開しました!

Group

Coq読書会

Number of events 12

Members 35

Ended

2019/09/05(Thu)

20:00
22:00

開催日時が重複しているイベントに申し込んでいる場合、このイベントには申し込むことができません

Registration Period
2019/08/23(Fri) 22:15 〜
2019/09/05(Thu) 22:00

Location

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

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

Organizer

Attendees(8)

asya-kawai

asya-kawai

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

takarakasai

takarakasai

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

takumi-kato

takumi-kato

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

krxross

krxross

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

kagamiwari

kagamiwari

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

ymorii47

ymorii47

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

saikyouyakist

saikyouyakist

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

warabanshi

warabanshi

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

Attendees (8)

Canceled (1)