Ended 2023/04/16（Sun） 13:00〜

Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法

hatsugai

オンライン

3/10

Ended 2023/04/02（Sun） 13:00〜

Isabelle チュートリアル 第1回 論理

hatsugai

オンライン

4/10

Ended 2023/03/18（Sat） 16:00〜

強い数学的帰納法のひみつ

hatsugai

オンライン

1

Ended 2021/07/03（Sat） 13:00〜

定理証明支援系 Coq チュートリアル

hatsugai

オンライン

9/10

Ended 2021/06/27（Sun） 13:00〜

Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法

hatsugai

オンライン

2/10

Ended 2021/06/19（Sat） 12:00〜

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

hatsugai

オンライン

3/10

Ended 2021/06/15（Tue） 20:30〜

ヒープソート siftup の正当性証明

hatsugai

オンライン

6/10

Ended 2021/06/13（Sun） 13:00〜

Isabelle チュートリアル 第1回 論理

hatsugai

オンライン

5/10

Ended 2021/06/02（Wed） 20:00〜

Coq ユーザのための Isabelle ガイド

hatsugai

オンライン

5/6

Ended 2021/05/30（Sun） 14:00〜

プロセス代数 CSP 構文と操作的意味論

hatsugai

オンライン

3/10