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

4月

18

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

Hashtag :#readcoq
Registration info

参加枠1

500(Pay at the door)

FCFS
10/25

Description

前回とは隣の部屋のためご注意ください。

  • 同じ場所で予約が取れるとは限らないため、毎回会場をご確認ください。
  • 有料の会議室を借りるため、参加費にて分担をお願いします。

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

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

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

テキスト

進め方

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

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

開催履歴

隔週木曜日開催です。
※ 事情により前後することがあります。

ページ タイトル
今回 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

7shi

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

04/05/2019 01:28

4/18(木)『Coq/SSReflect/MathCompによる定理証明』読書会(2) を公開しました!前回とは隣の部屋のためご注意ください。

Ended

2019/04/18(Thu)

20:00
22:00

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

Registration Period
2019/04/05(Fri) 01:28 〜
2019/04/18(Thu) 22:00

Location

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

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

Organizer

Attendees(10)

warabanshi

warabanshi

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

krxross

krxross

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

kagamiwari

kagamiwari

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

ymorii47

ymorii47

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

_miyake

_miyake

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

ssmi

ssmi

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

takumi-kato

takumi-kato

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

jx7548469

jx7548469

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

takarakasai

takarakasai

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

saikyouyakist

saikyouyakist

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

Attendees (10)

Canceled (2)