第75回 ProofCafe - connpass

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

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

Apr

21
第75回 ProofCafe

Registration info	参加枠1 Free Attendees 7

Description

The Software Foundations

VOLUME 2: PROGRAMMING LANGUAGE FOUNDATIONS

SMALL-STEP OPERATIONAL SEMANTICS の Multi-Step Reduction からです。

https://softwarefoundations.cis.upenn.edu/plf-current/Smallstep.html

前回の復習から始めます。可能ならば Coq 8.7 をインストールしたうえで、以下よりサンプルコードを入手しておいてください。

https://softwarefoundations.cis.upenn.edu/plf-current/index.html

インストール方法などについての質問も常に歓迎です。

以上

Media View all Media

Feed

SUHARA Hiromichi wrote a comment.

2018/04/21 14:34

#ProofCafe 建物が施錠されているので、これからこられたかたは、DM等で連絡してください。

SUHARA Hiromichi wrote a comment.

2018/04/05 21:50

ProofCafe は、2018年5月19日(土) のオープンソースカンファレンス名古屋に参加します。セミナーも予定しています。https://www.ospn.jp/osc2018-nagoya/

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

03/18/2018 17:44

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

03/18/2018 17:37

SUHARA Hiromichi published 第75回 ProofCafe.

03/17/2018 19:03

第75回 ProofCafe を公開しました！

Group

Number of events 86

Members 52

Public 第141回 ProofCafe

Ended

2018/04/21(Sat)

14:30 〜 17:30

Google Calendar iCal

Registration Period
2018/03/17(Sat) 19:03 〜
2018/04/21(Sat) 17:30

Event Organizer Contact

Location

名古屋市南生涯学習センター

南区東又兵ヱ町5-1-10

Organizer

Attendees（7）

第75回 ProofCafe に参加を申し込みました！

第75回 ProofCafeに参加を申し込みました！

第75回 ProofCafe に参加を申し込みました！

第75回 ProofCafe に参加を申し込みました！

SUHARA Hiromichi

第75回 ProofCafe に参加を申し込みました！

第75回 ProofCafe に参加を申し込みました！

第75回 ProofCafe に参加を申し込みました！