shigemi1014
(shigemi1014)

Usage start date: 06/25/2019

組み込み園児にあ

Your Groups

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

2020

06/19

（Fri）

21:00〜

Attending

関数型言語の操作的意味論 in Isabelle Ended

PRINCIPIA

関数型言語の操作的意味論 in Isabelle

hatsugai hatsugai

オンライン

7/10

2020

06/14

（Sun）

14:00〜

Attending

Isabelleチュートリアル 第4回 集合の帰納的定義 Ended

PRINCIPIA

Isabelleチュートリアル 第4回 集合の帰納的定義

hatsugai hatsugai

オンライン

9/15

2020

06/07

（Sun）

13:00〜

Attending

Isabelleチュートリアル 第3回 集合・関数・関係 Ended

PRINCIPIA

Isabelleチュートリアル 第3回 集合・関数・関係

hatsugai hatsugai

オンライン

14/15