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

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

Aug

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

Hashtag ：#readcoq

Registration info	参加枠1 ￥500（Pay at the door） FCFS 8/12

Description

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

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

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

テキスト

Coq/SSReflect/MathCompによる定理証明

参加費

有料の会議室を借りるため、参加費にて分担をお願いします。

進め方

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

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

開催履歴

隔週木曜日開催です。

※ 事情により前後することがあります。

回	日	ページ	章	タイトル
今回	2019.08.22	59	2.5.3	論理記号の形式化（途中）
9	2019.08.08	54	2.5.2	論理式の形式化（途中）
8	2019.07.25	49	2.4.2	(0+1+2+…+n)×2=n(n+1)の形式化（途中）
7	2019.07.11	44	2.4.1	自然数の形式化（途中）
6	2019.06.27	38	2.3.2	別証明その1
5	2019.06.13	35	2.3.1	ヒルベルトの公理S
4	2019.05.30	27	2.2	モーダスポネンスの形式化
3	2019.05.16	12	1.2.2	カリー-ハワード同型対応の例（途中）
2	2019.04.18	9	1.2.1	（補足の次）
1	2019.04.04	i		まえがき