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

Ishimoto Koji

(koji0817)

Not connected with Facebook

View on Github

Usage start date: 03/28/2019

Your Groups

2023

/

12/05

（Tue）19:30〜

Attending

Ended

ECMAScript 仕様輪読会

ECMAScript 仕様輪読会第47回

オンライン

8

2023

/

11/29

（Wed）19:30〜

Attending

Ended

TAPL.ts 〜TAPLとTSで型システムに入門！〜

TAPL.ts #19: 派生的な概念の導入4

(場所未定)

5

2023

/

10/25

（Wed）19:30〜

Attending

Ended

TAPL.ts 〜TAPLとTSで型システムに入門！〜

TAPL.ts #17: 派生的な概念の導入2

(場所未定)

3

2023

/

10/24

（Tue）19:30〜

Attending

Ended

ECMAScript 仕様輪読会

ECMAScript 仕様輪読会第44回

オンライン

7

2023

/

10/20

（Fri）12:00〜

Attending

Ended

虎の穴ラボ(とらのあな)

Deno Fest(ディノフェス)

虎の穴ラボ（株式会社とらのあな）他

東京都千代田区外神田1-7-5　フロントプレイス秋葉原 2階・3階

526/1100

2023

/

10/18

（Wed）19:30〜

Attending

Ended

TAPL.ts 〜TAPLとTSで型システムに入門！〜

TAPL.ts #16: 派生的な概念の導入

(場所未定)

4

2023

/

10/10

（Tue）19:30〜

Attending

Ended

ECMAScript 仕様輪読会

ECMAScript 仕様輪読会第43回

オンライン

8

2023

/

10/04

（Wed）19:30〜

Attending

Ended

TAPL.ts 〜TAPLとTSで型システムに入門！〜

TAPL.ts #15: Curry-Howard対応

(場所未定)

7

2023

/

09/27

（Wed）19:30〜

Attending

Ended

TAPL.ts 〜TAPLとTSで型システムに入門！〜

TAPL.ts #14: 型付きλ計算の型安全性

(場所未定)

6

2023

/

09/26

（Tue）19:30〜

Attending

Ended

ECMAScript 仕様輪読会

ECMAScript 仕様輪読会第42回

オンライン

9

1
2
3
4
5
6
Next>>

Ishimoto Koji's followees 4

Ishimoto Koji's followers 1