murakami_motokazu_1213

murakami_motokazu_1213

(murakami_motokazu_1213)
利用開始日: 2017/06/30

所属グループ

2020

/

12/21

（月）20:00〜

申込済

Software Design 1月号［第1特集］Goプログラミングスキルをレベルアップ執筆者座談会 終了

メルカリ／Mercari

Software Design 1月号［第1特集］Goプログラミングスキルをレベルアップ執筆者座談会

mercari_event mercari_event 他

オンライン

262人

2020

/

09/19

（土）10:00〜

申込済

XP祭り2020 参加&LT募集！ 終了

xpjug

XP祭り2020 参加&LT募集！

AyumiHOSOZAWA AyumiHOSOZAWA 他

オンライン

722/816人

2020

/

08/08

（土）13:30〜

申込済

ARM入門勉強会 終了

ARM入門勉強会

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

YouTube Live

1341/2051人

2020

/

07/27

（月）19:30〜

申込済

Rust LT Online #1 終了

Rust

Rust LT Online #1

dorayakikun dorayakikun 他

(場所未定)

343/1004人

2020

/

06/07

（日）13:00〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

14/15人

2020

/

05/31

（日）14:00〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

17/20人

2020

/

05/16

（土）14:00〜

申込済

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

9/15人

2020

/

04/14

（火）19:30〜

キャンセル

代数的データ型のひみつを暴いて関数型プログラムを攻略する 終了

PRINCIPIA

代数的データ型のひみつを暴いて関数型プログラムを攻略する

hatsugai hatsugai

オンライン

28/33人

2020

/

03/29

（日）15:00〜

申込済

形式手法の紹介 終了

PRINCIPIA

形式手法の紹介

hatsugai hatsugai

オンライン

31/35人

2020

/

03/12

（木）14:00〜

ブクマ済

申込済

[ライブ配信] DeNA TechCon 2020 Day2 -昼の部- 終了

DeNA Tech

[ライブ配信] DeNA TechCon 2020 Day2 -昼の部-

DeNA Tech DeNA Tech

オンライン

490/600人

murakami_motokazu_1213

murakami_motokazu_1213さんのフォロー 0

フォローはいません。

murakami_motokazu_1213さんのフォロワー 0

フォロワーはいません。