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

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

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

Mar

27

第109回 ProofCafe

名古屋Coq勉強会

Registration info

Description

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

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

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

以上

Feed

SUHARA Hiromichi

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

03/07/2021 21:34

SUHARA Hiromichi

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

03/06/2021 11:05

SUHARA Hiromichi

SUHARA Hiromichi published 第109回 ProofCafe.

02/27/2021 17:00

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

Group

ProofCafe

Number of events 86

Members 52

Ended

2021/03/27(Sat)

13:30
15:30

Registration Period
2021/02/27(Sat) 17:00 〜
2021/03/27(Sat) 15:30

Location

オンライン(skype)

オンライン(skype)