tkobさんのプロフィール（申し込みイベント一覧） - connpass

tkob
(tkob)

Not connected with Twitter

Not connected with Facebook

View on Github

Usage start date: 05/26/2016

Your Groups

2020

/

12/05

（Sat）12:45〜

Bookmarked

Attending

Ended

テスト自動化研究会

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

オンライン

969/960

2020

/

05/31

（Sun）14:00〜

Attending

Ended

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

オンライン

17/20

2020

/

05/24

（Sun）14:00〜

Attending

Ended

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

オンライン

8/10

2020

/

04/19

（Sun）15:00〜

Attending

Ended

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

オンライン

5/10

2020

/

04/05

（Sun）15:00〜

Attending

Ended

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

オンライン

4/10

2020

/

04/04

（Sat）16:00〜

Cancel

Ended

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

オンライン

9/30

2020

/

03/29

（Sun）15:00〜

Attending

Ended

形式手法の紹介

オンライン

31/35

2018

/

06/23

（Sat）13:00〜

Attending

Ended

JVM Specification 読書会

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

53/65

2018

/

03/31

（Sat）13:00〜

Attending

Ended

インターネットの闇他

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

57/102

2017

/

07/22

（Sat）13:00〜

Attending

Ended

インターネットの闇他

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

59/108

1
2
Next>>

tkob

tkob's followees 0

No followers.

tkob's followers 0

No followers