tukejonny

tukejonny

(tukejonny)
利用開始日: 2015/03/03

かわいいものとミドルウェアが好き

所属グループ

2020

/

06/25

（木）19:00〜

申込済

Database Lounge Tokyo #6 終了

Database Lounge Tokyo

Database Lounge Tokyo #6

Masanori Oyama Masanori Oyama 他

オンライン

332人

2020

/

06/19

（金）21:00〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

7/10人

2020

/

06/14

（日）14:00〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

9/15人

2020

/

06/07

（日）13:00〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

14/15人

2020

/

06/06

（土）13:30〜

申込済

Kernel/VM/探検隊online part1 終了

Kernel/VM/探検隊online part1

satoru_takeuchi satoru_takeuchi

オンライン

475/1000010人

2020

/

06/04

（木）19:30〜

申込済

Isabelleチュートリアル 第2回 型と関数の定義・数学的帰納法 終了

PRINCIPIA

Isabelleチュートリアル 第2回 型と関数の定義・数学的帰納法

hatsugai hatsugai

オンライン

4/10人

2020

/

06/03

（水）19:30〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

3/10人

2020

/

05/29

（金）19:30〜

申込済

形式手法の紹介 終了

PRINCIPIA

形式手法の紹介

hatsugai hatsugai

オンライン

31/35人

2020

/

05/27

（水）19:00〜

申込済

（オンライン開催）OAuth & OIDC 勉強会 【認可リクエスト編】 #authlete 終了

Authlete, Inc.

（オンライン開催）OAuth & OIDC 勉強会 【認可リクエスト編】 #authlete

dodosuke0920 dodosuke0920 他

オンライン

135/250人

2020

/

05/15

（金）19:00〜

申込済

【オンライン開催】DMM.go #2 終了

DMM.com

【オンライン開催】DMM.go #2

Masato Ishigaki Masato Ishigaki 他

オンライン

407人

tukejonny

tukejonnyさんのフォロー 77

tukejonnyさんのフォロワー 14