秋津早苗
(akitsu_sanae)

Usage start date: 11/15/2014

2020

05/23

(Sat)

12:10〜

Attending

プログラム検証器を作って学ぶ Hoare 論理 中止

PRINCIPIA

プログラム検証器を作って学ぶ Hoare 論理

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

3/16

2020

04/28

(Tue)

19:00〜

Attending

2020

04/17

(Fri)

2020

03/01

(Sun)

15:00〜

Cancel

ユニプロM:tGシールド会 vol.21 Ended

ユニプロM:tG会定例

ユニプロM:tGシールド会 vol.21

SubaruG SubaruG

東京都世田谷区代田6-6-20 (マックハイツ下北沢W棟)

2/6

2020

02/29

(Sat)

12:15〜

Attending

トレース比較器を作って学ぶマルチスレッドプログラミング Ended

PRINCIPIA

トレース比較器を作って学ぶマルチスレッドプログラミング

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

12/16

2020

02/21

(Fri)

18:00〜

Cancel

型システム祭り 中止

Opt Technologies/オプトテクノロジーズ

型システム祭り

kmizu kmizu

東京都千代田区四番町6番 東急番町ビル

229/115

2020

02/16

(Sun)

15:00〜

Attending

ユニプロM:tGシールド会 vol.20 Ended

ユニプロM:tG会定例

ユニプロM:tGシールド会 vol.20

SubaruG SubaruG

東京都世田谷区代田6-6-20 (マックハイツ下北沢W棟)

6/6

2020

02/01

(Sat)

2020

01/25

(Sat)

12:15〜

Attending

モデル検査器を作って学ぶマルチスレッドプログラミング Ended

PRINCIPIA

モデル検査器を作って学ぶマルチスレッドプログラミング

hatsugai hatsugai

東京都千代田区神田神保町2-13-1 西遊ビル4F

9/16

2020

01/22

(Wed)

19:00〜

Attending

ユニプロM:tGシールド会 vol.19 Ended

ユニプロM:tG会定例

ユニプロM:tGシールド会 vol.19

SubaruG SubaruG

東京都世田谷区代田6-6-20 (マックハイツ下北沢W棟)

3/6