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

cook-a-doodle-doo

(cook-a-doodle-doo)

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

Facebookと連携していません

GitHubを見る

利用開始日: 2018/06/08

所属グループ

2021

/

06/13

（日）13:00〜

申込済

終了

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

オンライン

5/10人

2020

/

11/14

（土）13:00〜

申込済

終了

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

オンライン

3/10人

2020

/

07/25

（土）15:00〜

申込済

終了

“あとはゴミ集めだけ” Lisp キット

オンライン

3/10人

2020

/

04/14

（火）19:30〜

申込済

終了

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

オンライン

28/33人

2020

/

04/04

（土）16:00〜

申込済

終了

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

オンライン

9/30人

2020

/

03/29

（日）15:00〜

申込済

終了

形式手法の紹介

オンライン

31/35人

2020

/

02/29

（土）12:15〜

申込済

終了

トレース比較器を作って学ぶマルチスレッドプログラミング

東京都千代田区神田神保町2-13-1　西遊ビル4F

12/16人

2019

/

05/18

（土）09:30〜

申込済

終了

Go Conference 2019 Spring

東京都千代田区丸の内1-9-2 (グラントウキョウサウスタワー 41F アカデミーホール)

566人

2019

/

02/09

（土）18:00〜

申込済

終了

TDDBC 長岡 2019-02 懇親会

masaru_b_cl 他

新潟県長岡市大手通2-6 フェニックス大手イースト

20/25人

2019

/

02/09

（土）10:00〜

申込済

終了

TDDBC 長岡 2019-02

masaru_b_cl 他

新潟県長岡市大手通2-6 フェニックス大手イースト

26/27人

cook-a-doodle-dooさんのフォロー 0

フォローはいません。

cook-a-doodle-dooさんのフォロワー 0

フォロワーはいません。