Ended 2020/09/20（Sun） 13:00〜

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

hatsugai

オンライン

5/10

Ended 2020/09/12（Sat） 13:00〜

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

hatsugai

オンライン

4/10

Ended 2020/09/06（Sun） 13:00〜

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

hatsugai

オンライン

8/10

Ended 2020/09/05（Sat） 13:00〜

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

hatsugai

オンライン

5/10

Ended 2020/09/02（Wed） 20:30〜

並行システムの設計検証 正常終了と発散の拒否

hatsugai

オンライン

4/10

Ended 2020/09/01（Tue） 20:30〜

x86-TSO メモリモデルの分析

hatsugai

オンライン

29/30

Ended 2020/08/30（Sun） 13:00〜

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

hatsugai

オンライン

1/10

Ended 2020/08/23（Sun） 13:00〜

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

hatsugai

オンライン

6/10

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

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

hatsugai

オンライン

4/10

Ended 2020/08/19（Wed） 20:30〜

並行システムの設計検証 プロセスの正常終了と逐次合成

hatsugai

オンライン

5/15