終了

Lean言語(定理証明系)のWeb本の読書会[ゆるIT勉強会Discord]

Nakaishi__J

オンライン

9人

終了

λ Kansai in Summer 2026

こと@HACK.BAR 他

大阪府大阪市北区大深町3-1 (グランフロント大阪 タワーC 16階)

51人

終了

『Functional Programming in Lean』輪読会 #4

こと@HACK.BAR 他

オンライン

13人

終了

『Functional Programming in Lean』輪読会 #1

こと@HACK.BAR 他

(場所未定)

16人

終了

λ Kansai in Winter 2026

こと@HACK.BAR 他

大阪府大阪市北区大深町3-1 (グランフロント大阪 タワーC 16階)

17/40人

終了

「ベーシック圏論」読書会 第8回

reodon 他

オンライン

18人

終了

「ベーシック圏論」読書会 第7回

reodon 他

オンライン

22人

終了

「ベーシック圏論」読書会 第6回

reodon 他

オンライン

20人

終了

『ゼロから始めるLean言語入門』輪読会 #5

えび

(場所未定)

15人

終了

「ベーシック圏論」読書会 第5回

reodon 他

オンライン

21人