Finished Events View all events (96)

Ended 2021/07/03(Sat) 13:00〜

定理証明支援系 Coq チュートリアル

hatsugai hatsugai

オンライン

9/10

Ended 2021/06/15(Tue) 20:30〜

ヒープソート siftup の正当性証明

hatsugai hatsugai

オンライン

6/10

Ended 2021/06/13(Sun) 13:00〜

Isabelle チュートリアル 第1回 論理

hatsugai hatsugai

オンライン

5/10

Ended 2021/06/02(Wed) 20:00〜

Coq ユーザのための Isabelle ガイド

hatsugai hatsugai

オンライン

5/6

Ended 2021/05/30(Sun) 14:00〜

プロセス代数 CSP 構文と操作的意味論

hatsugai hatsugai

オンライン

3/10

Ended 2021/05/19(Wed) 19:30〜

等式論理と関数7個で作る証明検査器

hatsugai hatsugai

オンライン

3/10

Ended 2021/05/12(Wed) 20:00〜

条件変数のモデル化と分析の例

hatsugai hatsugai

オンライン

3/10

Ended 2021/05/11(Tue) 20:30〜

並行システムの設計と検証ツアー

hatsugai hatsugai

オンライン

5/10

Members 243

Organizer

  • hatsugai

Other Members

  • t-sin
  • HW_a_pythonista
  • Dattsun-Tofu
  • arui
  • hirumadevil666
  • kamada_tatuya
  • m_nshr
  • krxross
  • MtFuji3776
  • Akito Ito
  • yjszk
  • eri
  • josh_kwt
  • itleigns
  • nsyee
  • wint
  • glacier345
  • protocol-42tokyo
  • enagatomy26
  • yugui

Media(0)

    If you add media to group events the most recent 10 media items are shown.