shigemi1014
(shigemi1014)

Usage start date: 06/25/2019

組み込み園児にあ

Your Groups

2021

07/28

（Wed）

19:00〜

Attending

Hack The Boxで学ぶペネトレーションテスト（入門編）　第３回 Ended

Hack The Boxで学ぶペネトレーションテスト勉強会

Hack The Boxで学ぶペネトレーションテスト（入門編）　第３回

ストーンビートセキュリティ ストーンビートセキュリティ

オンライン

133/135

2021

07/20

（Tue）

19:00〜

Attending

coqtokyo 第1回Ssreflect勉強会 Ended

coqtokyo

coqtokyo 第1回Ssreflect勉強会

yoshihiro503 yoshihiro503

オンライン

19

2021

07/03

（Sat）

13:00〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

9/10

2020

09/01

（Tue）

20:30〜

Attending

x86-TSO メモリモデルの分析 Ended

PRINCIPIA

x86-TSO メモリモデルの分析

hatsugai hatsugai

オンライン

29/30

2020

08/08

（Sat）

13:30〜

Attending

ARM入門勉強会 Ended

ARM入門勉強会

Takaya Saeki (@nullpo_head) Takaya Saeki (@nullpo_head) 他

YouTube Live

1341/2051

2020

07/26

（Sun）

15:00〜

Cancel

論理学友の会第二回 Ended

論理学友の会

論理学友の会第二回

論理学友の会 論理学友の会 他

オンライン

16/25

2020

07/21

（Tue）

21:00〜

Attending

並行システムの設計検証 第4回 内部遷移・隠蔽・非決定性・発散，振る舞いとは何か Ended

PRINCIPIA

並行システムの設計検証 第4回 内部遷移・隠蔽・非決定性・発散，振る舞いとは何か

hatsugai hatsugai

オンライン

10/15

2020

07/20

（Mon）

20:30〜

Attending

証明ドリル (1) プログラムの証明練習 in Isabelle Ended

PRINCIPIA

証明ドリル (1) プログラムの証明練習 in Isabelle

hatsugai hatsugai

オンライン

7/10

2020

07/16

（Thu）

20:30〜

Attending

プログラミング言語の基礎概念 in Isabelle (1) Ended

PRINCIPIA

プログラミング言語の基礎概念 in Isabelle (1)

hatsugai hatsugai

オンライン

7/10

2020

06/30

（Tue）

21:00〜

Attending

並行システムの設計検証 第1回 プロセスのモデル化 Ended

PRINCIPIA

並行システムの設計検証 第1回 プロセスのモデル化

hatsugai hatsugai

オンライン

10/15