Finished Events View all events (99)

Ended 2023/04/02(Sun) 13:00〜

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

hatsugai hatsugai

オンライン

4/10

Ended 2023/03/18(Sat) 16:00〜

強い数学的帰納法のひみつ

hatsugai hatsugai

オンライン

1

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

Members 246

Organizer

  • hatsugai

Other Members

  • nabexy
  • tomooda
  • tori3ocean
  • tsukimizake774
  • ryotarok
  • gaxiiiiiiiiiiii
  • Fumiyan
  • Lyrise
  • epnt
  • t-sin
  • HW_a_pythonista
  • Dattsun-Tofu
  • arui
  • hirumadevil666
  • kamada_tatuya
  • m_nshr
  • krxross
  • MtFuji3776
  • Akito Ito
  • yjszk

Media(0)

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