Ended 2020/08/04（Tue） 21:00〜

並行システムの設計検証 第6回 安定失敗集合による正当性検査

hatsugai

オンライン

6/10

Ended 2020/08/02（Sun） 16:00〜

余帰納法で無限リストを攻略する in Isabelle

hatsugai

オンライン

5/10

Ended 2020/08/01（Sat） 15:00〜

余帰納法で無限リストを攻略する

hatsugai

オンライン

20/30

Ended 2020/08/01（Sat） 13:00〜

代数的データ型のひみつを暴いて関数型プログラムを攻略する

hatsugai

オンライン

17/30

Ended 2020/07/29（Wed） 21:00〜

並行システムの設計検証 第5回 正当性，トレース集合による安全性検査

hatsugai

オンライン

4/10

Ended 2020/07/28（Tue） 21:00〜

並行システムの設計検証 第5回 正当性，トレース集合による安全性検査

hatsugai

オンライン

6/15

Ended 2020/07/27（Mon） 20:30〜

証明ドリル (2) プログラムの証明練習 in Isabelle

hatsugai

オンライン

0/10

Ended 2020/07/25（Sat） 15:00〜

“あとはゴミ集めだけ” Lisp キット

hatsugai

オンライン

3/10

Ended 2020/07/24（Fri） 13:00〜

プログラム検証器を作って学ぶ Hoare 論理

hatsugai

オンライン

5/10

Ended 2020/07/23（Thu） 12:00〜

プログラムの正しさを数学的に証明する形式検証への招待

hatsugai

オンライン

2/10