お知らせ 【グループ管理者の皆さま】成長し続けるエンジニアを支援する「Forkwell」と「connpass」が連携し、connpass上でイベントを開催するグループを2020年3月末まで支援いたします。詳しくはこちら by Forkwell

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

1月

20

第72回 ProofCafe

Registration info

参加枠1

Free

Attendees
6

Description

今回(72回)から、Software Foundations から、型付ラムダの章と、Hoare論理の章を読んでいく予定です。

その他の今後予定されるテーマについては、以下を参照してください。 これを取り上げて欲しい、という意見は常に歓迎しています。

https://sites.google.com/site/suharahiromichi/themas

以上

Feed

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/01/19 20:04

keigoi さん了解しました。morita さんがとてもよろこぶと思います。

keigoi

keigoi さんが書き込みました。

2018/01/19 14:37

時間があれば Verifast についても紹介させてください。 Hoare logic + separation logic で C言語の検証ができるのが良いです。Coq が使える方なら使えるのではないかと思います。

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/01/14 22:42

型付ラムダ計算ならPLFのSmallstepから、Hoare論理ならLFのImpからになりそうですが、今回(第72回)は導入とすすめかたの相談からしたいと思います。 #ProofCafe

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/01/14 22:36

Software Foundations は英語の最新版を使いたいとおもいます。日本語版は古すぎて実行できないです。 https://softwarefoundations.cis.upenn.edu/ #ProofCafe

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/01/02 12:37

ホーア論理の資料をアップしました。 #ProofCafe

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2018/01/02 12:36

ホーア論理の資料をアップしました。

SUHARA Hiromichi

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

01/02/2018 12:34

SUHARA Hiromichi

SUHARA Hiromichi さんが書き込みました。

2017/12/31 18:07

suharahiromichi さんが 第72回 ProofCafe を公開しました。

SUHARA Hiromichi

SUHARA Hiromichi published 第72回 ProofCafe.

12/31/2017 17:56

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

Group

ProofCafe

Number of events 39

Members 38

Ended

2018/01/20(Sat)

14:30
17:30

Registration Period
2017/12/31(Sun) 17:56 〜
2018/01/20(Sat) 17:30

Location

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

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

Attendees(6)

morita_hm

morita_hm

第72回 ProofCafe に参加を申し込みました!

hitbit

hitbit

第72回 ProofCafeに参加を申し込みました!

SUHARA Hiromichi

SUHARA Hiromichi

第72回 ProofCafe に参加を申し込みました!

keigoi

keigoi

第72回 ProofCafe に参加を申し込みました!

ahuglajbclajep

ahuglajbclajep

第72回 ProofCafeに参加を申し込みました!

Frédéric Bour

Frédéric Bour

I joined 第72回 ProofCafe!

Attendees (6)