1月

17

λ Kansai in Winter 2026

主催 : λ Knasai

ハッシュタグ：#λ_Kansai

募集内容	招待講演無料先着順 2/2人 LT登壇枠無料先着順 5/6人一般参加枠無料先着順 10/32人
申込者	申込者一覧を見る
開催日時	2026/01/17(土) 14:00 ～ 20:00 Googleカレンダー icsファイル
募集期間	2025/11/04(火) 22:36 〜 2026/01/17(土) 20:00まで
会場	gusuku Ashibinaa OSAKA 大阪府大阪市北区大深町3-1 (グランフロント大阪タワーC 16階) マップで見る会場のサイトを見る
出席登録	(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

イベントの説明

λ ごあいさつ λ

λ Kansai は、2024年9月に生まれた、「関数型プログラミング愛好者のための交流の場」となることを目指して関西を拠点に活動している団体です。

λ Kansaiはでは、メインの活動として定期オフラインイベントを実施していきます。

5回目となるイベント

λ Kansai in Winter 2026

を、2026年01月17日(土)に実施いたします！！

関数型プログラミングに興味のある方、「関数型って聞いたことあるけど、なんか気になる。。。」という方から、「生まれ変わったらλ式になりたい！」という方まで、お気軽にご参加ください！

また、ご登壇いただける方を募集しております。

関数型プログラミングが好きな方、好きな技術や理論について発信したい方、どうぞお気軽に登壇にご応募ください！

🎤会場🎤

アールスリーインスティテュート様のイベントスペース gusuku Ashibinaa OSAKA をお借りします。

gusuku Ashibinaa OSAKA（アールスリーインスティテュート）

グランフロント大阪タワーCの16Fになります。アクセスはこちらを御覧ください。

🗒️募集要項🗒️

発表時間

以下を目安にしてください:

セッション: 30〜50分 (+質疑)
LT : 10〜20分

応募時に発表時間をお知らせ下さい。

発表形式

スライドを用いた講演スタイル, ライブコーディング, ハンズオンなど

ディスプレイ、ケーブル、電源、ホワイトボードは会場に設備がございます。

他に発表に必要な物品がある方は、極力各自でご持参いただけたら幸いです。

セッション・LTに共通する条件

以下のいずれかに該当する話題が推奨されます:

関数型プログラミングおよび関数型言語に関する話題
関数型言語に限らずとも、ソフトウェア技術全般の基盤を与える学理に関する話題
...... 数学・論理学・計算機アーキテクチャ・ハードウェア・etc...
必ずしも現代の関数型言語と直結しない過去・および未来的技術に関する話題
...... 関数型言語の歴史, 量子プログラミング, etc...
より広く「関数型プログラミングを愛好する者たちにとって少しでも有益な情報をもたらす話題」

初心者・上級者などは問いません！

ただし、特定の技術ならびに技術を使用する人・サービスについて、不当に攻撃し中傷する内容の話題はご遠慮いただけますようお願いいたします。

登壇者で参加登録された方は、こちらのフォームより発表内容をご入力いただきますようお願いいたします

登壇者事前アンケート

ご不明点や、発表しようか迷っているなど、なにかあればお気軽に運営者の - こと - Curiosity - えび - yuki - もとまでご連絡ください。

発表内容

発表者	タイトル	概要	枠
Yusuke Endoh	型システムを知りたい人のための型検査器作成入門	TypeScriptサブセット言語のおもちゃの型検査器の作り方を、書籍『型システムのしくみ』の内容に基づいて説明します。目標はセルフホスト、型検査器が自分自身を型検査できるようにすることです。（本発表は『関数型まつり』で発表した内容の再演です）	登壇(40分~50分)
井上亜星	Lean プロジェクトの依存関係を自動更新する	定理証明支援系Leanの簡単な紹介と、Leanプロジェクトの依存関係を自動更新するツールについて紹介	登壇(10分~20分)
Motoki KAMIMURA	Alloy6 (線形時相論理 + 有界モデル検査) でモデリングしてみた	形式手法を実務に組み込めるか試行錯誤した話	LT(10分~20分)
水島宏太	「型システムのしくみ」輪読会をやってみた結果	Japan Scala Associationの活動として『型システムのしくみ』読書会を開催し、型システム普及のための課題や知見を得ました。最終回は1月23日（金）ですが、この発表ではその開催経緯や説明の難所を共有します。	LT(5分~10分)
グミ	Recursion Scheme の紹介	再帰構造の抽象化である Recursion Scheme の概要と、その具体例である catamorphism （foldr の一般化）の紹介	LT(10分~20分)
えび	Leanはマクロでできている	Leanのメタプログラミングの話をします。ポール・グレアムのLisp愛を添えて	LT(20分~30分)
もと	λ計算を基盤としたOSの検討	既存のOS概念を一旦忘れて考えてみたい	LT(5分~10分)

※発表者敬称略
※表示順序は先着順であり、当日の発表順はこの通りではありません

⏱️タイムテーブル⏱️

時間	内容	備考
14:00 - 14:15	開場
14:15 - 14:30	オープニング
14:30 - 15:30	型システムを知りたい人のための型検査器作成入門 by Yusuke Endoh
15:30 - 15:40	休憩
15:40 - 16:10	Lean プロジェクトの依存関係を自動更新する by 井上亜星
16:10 - 16:15	休憩
16:15 - 18:00	LT（全員)
18:00 - 18:20	フリータイム	自由に交流しましょう。宣伝したいことなどあればどうぞ
18:20 - 18:30	クロージング・写真撮影
18:30 - 19:00	片付け・完全撤収
19:00 -	懇親会	希望者のみ

※随時更新します。
※セッション・LTの応募状況によって変化する場合があります

⚠️注意事項⚠️

以下に該当する行為は禁止とします
- 公序良俗に反する内容、特定の団体や人物に対する誹謗中傷など、明らかに不適切な内容の発表や言動を行うこと
- ハラスメント行為には厳重に対処し、場合によっては即時退出いただき今後の参加を拒否する場合があります。
- 会場において勧誘やリクルーティング目的の行為を行うこと
- 泥酔してのご来場や、会場設備を破壊し汚す行為
発表において「特定の営利サービスについて宣伝すること」は禁止はされませんが、もしそのような内容となる場合、以下２点をお守りいただけますようお願い申し上げます。
- 営利の宣伝を含む発表であることを、サービス名を明記したうえで始めに明らかにする
- サービスの有用性が技術的・学術的な観点から説明されていること (単に「このツボ買ったら人生変わりますよ！」的内容に終始する発表はご遠慮ください。)