開催前 2024/06/15（土） 13:00〜

リファインメント検査器を作って学ぶマルチスレッドプログラミング

hatsugai

オンライン

0/10人

開催前 2024/06/08（土） 13:00〜

トレース比較器を作って学ぶマルチスレッドプログラミング

hatsugai

オンライン

0/10人

開催前 2024/06/01（土） 13:00〜

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★

hatsugai

オンライン

0/10人

開催前 2024/05/25（土） 13:00〜

CTL モデル検査器を作って学ぶマルチスレッドプログラミング

hatsugai

オンライン

0/10人

開催前 2024/05/18（土） 13:00〜

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★

hatsugai

オンライン

0/10人

開催前 2024/05/11（土） 13:00〜

Isar チュートリアル / 定理証明支援系 Isabelle

hatsugai

オンライン

2/10人

開催前 2024/05/06（月） 13:00〜

Isabelle チュートリアル 第4回 集合の帰納的定義

hatsugai

オンライン

0/10人

開催前 2024/05/05（日） 12:00〜

Isabelle チュートリアル 第3回 集合・関数・関係

hatsugai

オンライン

0/10人

開催前 2024/05/04（土） 13:00〜

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

hatsugai

オンライン

0/10人

開催前 2024/05/03（金） 13:00〜

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

hatsugai

オンライン

0/10人