λ Kansai

Group Description

λ Kansai は、関西を拠点とする 関数型プログラミングを愛好する人々 のためのコミュニティです。

「関数型言語・関数型プログラミングが好きなひとたちが、楽しく語りあえる場を提供する」ことをテーマとして活動しています。

現在、共同運営者を募集しています！関数型プログラミングが好きな方、ぜひ一緒に盛り上げていきましょう！

Upcoming Events

Public 2026/07/26（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #13

こと@HACK.BAR

オンライン

Public 2026/09/20（Sun） 14:00〜

はじめての λ Kansai 2026

こと@HACK.BAR

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

10/20

Public 2026/09/20（Sun） 19:00〜

はじめての λ Kansai 2026

サブはじめての λ Kansai 2026 懇親会

こと@HACK.BAR

(場所未定)

Finished Events View all events (44)

Ended 2026/07/19（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #12

こと@HACK.BAR

オンライン

Ended 2026/07/05（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #11

こと@HACK.BAR

オンライン

Ended 2026/06/28（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #10

こと@HACK.BAR

オンライン

Ended 2026/06/21（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #9

こと@HACK.BAR

オンライン

Ended 2026/06/14（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #8

こと@HACK.BAR

オンライン

Ended 2026/06/13（Sat） 14:00〜

λ Kansai in Summer 2026

こと@HACK.BAR

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

Ended 2026/06/07（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #7

こと@HACK.BAR

オンライン

Ended 2026/05/31（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #6

こと@HACK.BAR

オンライン

Ended 2026/05/24（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #5

こと@HACK.BAR

オンライン

Ended 2026/05/17（Sun） 20:30〜

『Functional Programming in Lean』輪読会 #4

こと@HACK.BAR

オンライン

Group Description

Upcoming Events

Finished Events View all events (44)

Members （190）

Organizer

Other Members

Link

Media(20)