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

Ken Sonoda

(ken_sonoda)

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

Facebookと連携していません

GitHubを見る

利用開始日: 2015/09/26

所属グループ

2020

/

08/01

（土）15:00〜

申込済

終了

余帰納法で無限リストを攻略する

オンライン

20/30人

2020

/

07/01

（水）19:00〜

申込済

終了

（オンライン開催）OAuth & OIDC 勉強会【クライアント認証編】 #authlete

dodosuke0920 他

オンライン

143/250人

2020

/

06/25

（木）19:00〜

キャンセル

終了

Think ! FrontEnd by DMM #01 [オンライン開催]

オンライン

537人

2020

/

06/14

（日）14:00〜

申込済

終了

Isabelleチュートリアル第4回集合の帰納的定義

オンライン

9/15人

2020

/

06/07

（日）13:00〜

申込済

終了

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

オンライン

14/15人

2020

/

05/31

（日）14:00〜

申込済

終了

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

オンライン

17/20人

2020

/

05/24

（日）14:00〜

申込済

終了

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

オンライン

8/10人

2020

/

05/02

（土）14:00〜

申込済

終了

プログラム検証器を作って学ぶ Hoare 論理

オンライン

10/10人

2020

/

04/28

（火）19:00〜

申込済

終了

下町.rs #1 (オンライン）

MasashiSalvador 他

下町

102/1002人

2020

/

04/10

（金）22:00〜

申込済

終了

オンライン上であいましょう

34/40人

<<前へ
2
3
4
5
6
7
8
9
次へ>>

Ken Sonodaさんのフォロー 5

Ken Sonodaさんのフォロワー 2