機能改善 領収データ発行機能にてインボイス制度の書式での出力に対応しました。 詳しくはこちらをご覧ください。

新機能 参加者によるイベント出席機能をリリースしました。今までは主催者による出席管理機能はありましたが、大規模イベント等での受付処理が大変とのフィードバックをいただいてました。今後はイベント作成時に発行される「出席コード」を会場現地や配信で共有してもらうことで、参加者自身でイベント出席登録を行うことができるようになります。これにより受付処理が容易になりますので、イベント主催者の皆様はぜひご活用ください。詳しくはこちらのニュース特集ページ をご確認ください。

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

Jan

29

第120回 ProofCafe

名古屋Coq勉強会

Registration info

Description

定理証明支援システムCoqの勉強会です。

NGK2022S と重なるため、日程を変更しました。

以下の 第7回 の練習問題 3.1 2 le_list の一般化 からです。

https://www.math.nagoya-u.ac.jp/~garrigue/lecture/2020_AW/index.html

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

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

資料は以下にあります。ただし参加者限定です。お問い合わせください。

https://gitlab.com/proofcafe/nu 

以上

https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq7_3_sort.v https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq7_3_sort_no_anser.v

https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq8_2_sort2.v https://gitlab.com/proofcafe/nu/-/blob/master/nu_ssrcoq8_2_sort2_no_anserv

Media View all Media

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

Feed

SUHARA Hiromichi

SUHARA Hiromichi published 第120回 ProofCafe.

12/25/2021 16:56

第120回 ProofCafe を公開しました!

Group

ProofCafe

Number of events 86

Members 52

Ended

2022/01/29(Sat)

13:30
15:30

Registration Period
2021/12/25(Sat) 16:55 〜
2022/01/29(Sat) 15:30

Location

オンライン(skype)

オンライン(skype)