終了 2020/06/30(火) 21:00〜
並行システムの設計検証 第1回 プロセスのモデル化
hatsugai
オンライン
10/15人
終了 2020/06/28(日) 21:00〜
“あとはゴミ集めだけ” Lisp キット
5/10人
終了 2020/06/19(金) 21:00〜
関数型言語の操作的意味論 in Isabelle
7/10人
終了 2020/06/17(水) 21:00〜
Isabelle によるシーケント計算
4/10人
終了 2020/06/14(日) 14:00〜
Isabelleチュートリアル 第4回 集合の帰納的定義
9/15人
終了 2020/06/07(日) 13:00〜
Isabelleチュートリアル 第3回 集合・関数・関係
14/15人
終了 2020/06/04(木) 19:30〜
Isabelleチュートリアル 第2回 型と関数の定義・数学的帰納法
終了 2020/06/03(水) 19:30〜
Isabelleチュートリアル 第1回 論理
3/10人
終了 2020/05/31(日) 14:00〜
17/20人
終了 2020/05/29(金) 19:30〜
形式手法の紹介
31/35人