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

tkob

(tkob)

X(Twitter)と連携していません

Facebookと連携していません

GitHubを見る

利用開始日: 2016/05/26

所属グループ

2020

/

12/05

（土）12:45〜

ブクマ済

申込済

終了

テスト自動化研究会

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

オンライン

969/960人

2020

/

05/31

（日）14:00〜

申込済

終了

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

オンライン

17/20人

2020

/

05/24

（日）14:00〜

申込済

終了

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

オンライン

8/10人

2020

/

04/19

（日）15:00〜

申込済

終了

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

オンライン

5/10人

2020

/

04/05

（日）15:00〜

申込済

終了

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

オンライン

4/10人

2020

/

04/04

（土）16:00〜

キャンセル

終了

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

オンライン

9/30人

2020

/

03/29

（日）15:00〜

申込済

終了

形式手法の紹介

オンライン

31/35人

2018

/

06/23

（土）13:00〜

申込済

終了

JVM Specification 読書会

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

53/65人

2018

/

03/31

（土）13:00〜

申込済

終了

インターネットの闇他

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

57/102人

2017

/

07/22

（土）13:00〜

申込済

終了

インターネットの闇他

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

59/108人

tkobさんのフォロー 0

フォローはいません。

tkobさんのフォロワー 0

フォロワーはいません。