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

ITO Kensei

(ScalaForMyLife)

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

Facebookと連携していません

GitHubを見る

利用開始日: 2021/12/26

Scalaでエンジニア人生を始めた数学徒
HTT/HoTT/Coq

所属グループ

広告

2025

/

07/24

（木）18:30〜

申込済

終了

【ハンズオン】【学生・若手歓迎】Scala 3で作る数式インタプリタ in 東京

東京都渋谷区恵比寿四丁目9番10号

2/10人

2025

/

07/18

（金）19:00〜

申込済

終了

Nextbeat Tech Bar：楽しい正規表現

オンライン

78/85人

2025

/

05/23

（金）19:00〜

申込済

終了

Nextbeat Tech Bar： Java/JVM祭り

オンライン

58/66人

2024

/

01/26

（金）19:00〜

申込済

終了

Nextbeat Tech Bar：第五回関数型プログラミング（仮）の会

オンライン

134/158人

2023

/

09/12

（火）19:00〜

キャンセル

終了

coqtokyo 第15回MathComp Book勉強会

オンライン

6人

2023

/

05/16

（火）19:00〜

申込済

終了

coqtokyo 第7回MathComp Book勉強会

オンライン

12人

2023

/

04/25

（火）19:00〜

申込済

終了

coqtokyo 第6回MathComp Book勉強会

オンライン

10人

2023

/

04/11

（火）19:00〜

申込済

終了

coqtokyo 第5回MathComp Book勉強会

オンライン

9人

2023

/

03/28

（火）19:00〜

申込済

終了

coqtokyo 第4回MathComp Book勉強会

オンライン

11人

2023

/

03/24

（金）18:30〜

申込済

終了

Opt Technologies/オプトテクノロジーズ

第四回関数型プログラミング（仮）の会

オンライン

208/261人

広告

ITO Kenseiさんのフォロー 2

ITO Kenseiさんのフォロワー 2

広告

広告

広告