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

えび
(spinylobster)

View on Twitter

Not connected with Facebook

View on Github

Usage start date: 01/02/2014

えびです。京都在住のプログラミングオタクの一人。
仕事ではTypeScriptとかRubyとかを書いたことがあります。

最近の興味関心:
- NixOS
- データサイエンス
- Haskell, Algebraic Effects, Refinement Types
- F#とType Providers
- BDD, GOOS(本), Cypress
- ペアプロ, モブプロ
- Rust, RISC-V, OS自作
at 2022/6

Your Groups

2023

/

10/05

（Thu）20:00〜

Attending

Public

『並行プログラミング入門』読書会 #49

オンライン(Discord)

3/12

2023

/

09/25

（Mon）19:00〜

Attending

Ended

Kyoto.Mokumoku Vol.13

京都府京都市中京区壬生上大竹町22

4/10

2023

/

09/21

（Thu）20:00〜

Attending

Ended

『並行プログラミング入門』読書会 #48

オンライン(Discord)

4/12

2023

/

09/20

（Wed）19:30〜

Attending

Ended

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

TAPL.ts #13: λ計算における型

(場所未定)

6

2023

/

09/13

（Wed）19:30〜

Attending

Ended

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

TAPL.ts #12: 型安全性とは何か、λ計算への型導入

(場所未定)

7

2023

/

09/12

（Tue）19:00〜

Attending

Ended

coqtokyo 第15回MathComp Book勉強会

オンライン

6

2023

/

09/07

（Thu）20:00〜

Attending

Ended

『並行プログラミング入門』読書会 #47

オンライン(Discord)

5/12

2023

/

08/30

（Wed）19:30〜

Attending

Ended

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

TAPL.ts #11: 算術式への「型」の導入

(場所未定)

10

2023

/

08/24

（Thu）19:00〜

Attending

Ended

Kyoto.Mokumoku Vol.12

京都府京都市中京区壬生上大竹町22

7/10

2023

/

08/23

（Wed）19:30〜

Attending

Ended

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

TAPL.ts #10: λ計算の構文と操作的意味論の詳細

(場所未定)

6

1
2
3
4
5
6
Next>>

えび's followees 0

No followers.

えび's followers 1