tkob
(tkob)

Usage start date: 05/26/2016

Your Groups

2020

12/05

（Sat）

12:45〜

Bookmarked

Attending

ソフトウェアテスト自動化カンファレンス2020 Ended

テスト自動化研究会

ソフトウェアテスト自動化カンファレンス2020

teyamagu teyamagu 他

オンライン

969/960

2020

05/31

（Sun）

14:00〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

17/20

2020

05/24

（Sun）

14:00〜

Attending

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

PRINCIPIA

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

hatsugai hatsugai

オンライン

8/10

2020

04/19

（Sun）

15:00〜

Attending

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★ Ended

PRINCIPIA

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★メッセージ通信編★

hatsugai hatsugai

オンライン

5/10

2020

04/05

（Sun）

15:00〜

Attending

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★ Ended

PRINCIPIA

デッドロック発見器を作って学ぶマルチスレッドプログラミング ★共有変数編★

hatsugai hatsugai

オンライン

4/10

2020

04/04

（Sat）

16:00〜

Cancel

等式論理と関数7個で作る証明検査器 Ended

PRINCIPIA

等式論理と関数7個で作る証明検査器

hatsugai hatsugai

オンライン

9/30

2020

03/29

（Sun）

15:00〜

Attending

形式手法の紹介 Ended

PRINCIPIA

形式手法の紹介

hatsugai hatsugai

オンライン

31/35

2018

06/23

（Sat）

13:00〜

Attending

JVM Specification 読書会 Ended

JVM Specification 読書会

kmizu kmizu

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

53/65

2018

03/31

（Sat）

13:00〜

Attending

ML Day #1 Ended

ML勉強会

ML Day #1

インターネットの闇 インターネットの闇 他

東京都中央区築地１丁目１３−１ ＡＤＫ松竹スクエア

57/102

2017

07/22

（Sat）

13:00〜

Attending

ML勉強会 #2 Ended

ML勉強会

ML勉強会 #2

インターネットの闇 インターネットの闇 他

東京都中央区築地１丁目１３−１ ＡＤＫ松竹スクエア

59/108

tkob

tkob's followees 0

No followers.

tkob's followers 0

No followers