Community for Functional Programming Enthusiasts
Organizing : λ Kansai
2026/02/01(Sun) 『ゼロから始めるLean言語入門』輪読会 #20
λ Kansai は、関西を拠点とする 関数型プログラミングを愛好する人々 のためのコミュニティです。
「関数型言語・関数型プログラミングが好きなひとたちが、楽しく語りあえる場を提供する」ことをテーマとして活動しています。
現在、共同運営者を募集しています！関数型プログラミングが好きな方、ぜひ一緒に盛り上げていきましょう！
Ended 2026/01/17（Sat） 14:00〜
大阪府大阪市北区大深町3-1 (グランフロント大阪 タワーC 16階)
Recursion Scheme の紹介
λ Kansai in Winter 2026Lean はマクロでできている
λ Kansai in Winter 2026LOSの検討（λ Kansai 2026 in Winter）
λ Kansai in Winter 2026Alloy6 (線形時相論理 + 有界モデル検査) でモデリングしてみた
λ Kansai in Winter 2026UI Collabo のご紹介（λ Kansai 2025 in Summer）
λ Kansai in Summer 2025PPL 2025 に行ってきた
λ Kansai in Spring 2025フロントエンドエンジニアが関数型プログラミングに出会った話
λ Kansai in Spring 2025ねこでも分かる 様相論理のお気持ち
λ Kansai in Spring 2025『モナドドリル』書いてます
λ Kansai in Winter 2025OCamlを始めるには時期が良い
λ Kansai in Winter 2025
えび
こと@HACK.BAR