開催前 2024/06/22(土) 13:00〜
CTL モデル検査器を作って学ぶマルチスレッドプログラミング
hatsugai
オンライン
0/10人
開催前 2024/06/15(土) 13:00〜
リファインメント検査器を作って学ぶマルチスレッドプログラミング
開催前 2024/06/08(土) 13:00〜
トレース比較器を作って学ぶマルチスレッドプログラミング
開催前 2024/06/01(土) 13:00〜
デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★
開催前 2024/05/18(土) 13:00〜
デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★
開催前 2024/05/11(土) 13:00〜
Isar チュートリアル / 定理証明支援系 Isabelle
2/10人
開催前 2024/05/06(月) 13:00〜
Isabelle チュートリアル 第4回 集合の帰納的定義
開催前 2024/05/05(日) 12:00〜
Isabelle チュートリアル 第3回 集合・関数・関係
開催前 2024/05/04(土) 13:00〜
Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法
開催前 2024/05/03(金) 13:00〜
Isabelle チュートリアル 第1回 論理