sm0kym0nkey
(sm0kym0nkey)

Usage start date: 07/05/2012

Scala / Haskell

Your Groups

2020

09/16

（Wed）

19:30〜

Attending

Data Engineering Study #3「分析基盤をうまく組織に浸透させる方法」 Ended

Forkwell

Data Engineering Study #3「分析基盤をうまく組織に浸透させる方法」

Forkwell Forkwell 他

オンライン

803

2020

09/16

（Wed）

12:00〜

Attending

開発ライブ実況 #5 デバッグしているところを見てみよう (メルペイBackendエンジニア) Ended

メルカリ／Mercari

開発ライブ実況 #5 デバッグしているところを見てみよう (メルペイBackendエンジニア)

mercari_event mercari_event 他

オンライン

291

2020

09/15

（Tue）

19:00〜

Attending

【増枠：オンライン開催】09/15(火) Scala関西勉強会 - 2020年09月版 Ended

Scala関西勉強会

【増枠：オンライン開催】09/15(火) Scala関西勉強会 - 2020年09月版

Yohei Tsuji Yohei Tsuji 他

オンライン

67/63

2020

09/12

（Sat）

13:00〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

4/10

2020

09/05

（Sat）

13:00〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

5/10

2020

09/01

（Tue）

20:30〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

29/30

2020

08/31

（Mon）

19:30〜

Attending

Infra Study Meetup #5「企業に必要とされているインフラ技術とこれから」 Ended

Forkwell

Infra Study Meetup #5「企業に必要とされているインフラ技術とこれから」

Forkwell Forkwell 他

オンライン

1124

2020

08/22

（Sat）

13:00〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

4/10

2020

08/20

（Thu）

19:30〜

Attending

TechFeed Summit#3 - コンテナ技術を語り尽くす！ Ended

TechFeed Pro

TechFeed Summit#3 - コンテナ技術を語り尽くす！

TechFeed TechFeed

オンライン

173

2020

08/18

（Tue）

15:30〜

Attending

Gophers Office Hours #8 〜自作コンパイラ、低レイヤ回〜 Ended

メルカリ／Mercari

Gophers Office Hours #8 〜自作コンパイラ、低レイヤ回〜

mercari_event mercari_event 他

オンライン

106