お知らせ 「ESET INTERNET SECURITY」利用環境下での 不具合修正のお知らせ

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

Apr

24

第110回 ProofCafe

名古屋Coq勉強会

Registration info

Description

萩原、アフェルト 著 「Coq/SSReflect/MathCompによる定理証明」森北出版 の6.2節を読んでいきます。

参加をご希望のかたは、管理者までお問い合わせください。

可能ならば coq-mathcomp-fingroup を事前にインストールしておいてください。

予定:

  • 部分群の例、ラグランジュの定理が成り立つ例

  • テキストの説明の続き 6.2.3 から

  • Affeldt先生の「Mathematical Components入門」

  • 次回以降の相談

以上

Feed

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

04/24/2021 15:48

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

04/23/2021 23:58

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

04/17/2021 15:25

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

04/17/2021 15:24

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

04/17/2021 15:23

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

04/17/2021 15:21

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

04/10/2021 21:07

SUHARA Hiromichi

SUHARA Hiromichiさんが資料をアップしました。

04/10/2021 20:47

Group

ProofCafe

Number of events 74

Members 52

Ended

2021/04/24(Sat)

13:30
15:30

Registration Period
2021/03/27(Sat) 13:30 〜
2021/04/24(Sat) 15:30

Location

オンライン(skype)

オンライン(skype)