新機能 イベントメッセージの予約機能を追加しました。イベント主催者様は、参加者へのメッセージ送信を事前に予約できます。詳しくはこちらをご確認ください。

新機能 イベント詳細画面に「参加者への情報」欄を追加しました。イベント管理者、発表者、参加者(抽選中や補欠は除く)だけに表示されるフィールドです。詳しくはこちら

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

Aug

22

第102回 PoofCafe

名古屋Coq勉強会

Registration info

Description

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

資料は改訂していますから、申し訳ありまあせんが、再度ダウンロードしなおしてください。

4.6 bigop.v

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

問題

任意のnについて、以下が成り立つことを証明してください。

2 * (\sum_(0 <= x < n.+1) x) = n * n.+1

6 * (\sum_(0 <= x < n.+1) x^2) = n * n.+1 * n.*2.+1

解答は説明のなかでおこないます。

以上

Feed

SUHARA Hiromichi

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

08/01/2020 08:00

SUHARA Hiromichi

SUHARA Hiromichi published 第102回 PoofCafe.

07/25/2020 18:18

第102回 PoofCafe を公開しました!

Group

ProofCafe

Number of events 47

Members 42

Public

2020/08/22(Sat)

13:30
15:30

Please see the event description for how to join this event.

Registration Period
2020/07/25(Sat) 18:18 〜
2020/08/22(Sat) 15:30

Location

オンライン

詳細調整中