Ended 2020/12/19(Sat) 12:00〜
プログラムの正しさを数学的に証明する形式検証への招待
hatsugai
オンライン
4/15
Ended 2020/12/12(Sat) 13:00〜
Isabelle チュートリアル 第4回 集合の帰納的定義
2/10
Ended 2020/11/28(Sat) 13:00〜
Isabelle チュートリアル 第3回 集合・関数・関係
Ended 2020/11/14(Sat) 13:00〜
Isabelle チュートリアル 第2回 型と関数の定義・数学的帰納法
3/10
Ended 2020/10/31(Sat) 13:00〜
Isabelle チュートリアル 第1回 論理(全4回)
Ended 2020/10/04(Sun) 13:00〜
リファインメント検査器を作って学ぶマルチスレッドプログラミング
4/10
Ended 2020/09/20(Sun) 13:00〜
トレース比較器を作って学ぶマルチスレッドプログラミング
5/10
Ended 2020/09/12(Sat) 13:00〜
Ended 2020/09/06(Sun) 13:00〜
デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★
8/10
Ended 2020/09/05(Sat) 13:00〜
Isabelleチュートリアル 第3回 集合・関数・関係
If you add media to group events the most recent 10 media items are shown.