終了 2020/07/22(水) 21:00〜
並行システムの設計検証 第4回 内部遷移・隠蔽・非決定性・発散,振る舞いとは何か
hatsugai
オンライン
2/10人
終了 2020/07/21(火) 21:00〜
10/15人
終了 2020/07/20(月) 20:30〜
証明ドリル (1) プログラムの証明練習 in Isabelle
7/10人
終了 2020/07/16(木) 20:30〜
プログラミング言語の基礎概念 in Isabelle (1)
終了 2020/07/15(水) 21:00〜
並行システムの設計検証 第3回 デッドロック
終了 2020/07/14(火) 21:00〜
8/10人
終了 2020/07/12(日) 16:00〜
帰納的に定義された集合と最小不動点の密な関係
終了 2020/07/08(水) 21:00〜
並行システムの設計検証 第2回 相互作用と並行合成
終了 2020/07/07(火) 21:00〜
9/15人
終了 2020/07/01(水) 21:00〜
並行システムの設計検証 第1回 プロセスのモデル化
4/10人