4月

12

λ Kansai in Spring 2025

主催 : λ Kansai

ハッシュタグ：#λ_Kansai

募集内容	登壇枠無料先着順 0/2人 LT登壇枠無料先着順 5/6人一般参加枠無料先着順 12/40人
申込者	申込者一覧を見る
開催日時	2025/04/12(土) 15:00 ～ 20:00 Googleカレンダー icsファイル
募集期間	2025/03/08(土) 00:00 〜 2025/04/12(土) 20:00まで
会場	gusuku Asibinaa 大阪市北区大森町3-1 グランフロント大阪タワーC 16F マップで見る
出席登録	(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

λ ごあいさつ λ

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

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

λ Kansai in Spring 2025

を、2025年4月12日(土)に実施いたします！

つきましては、ご登壇いただける方を募集いたします。

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

懇親会二次会参加の可否のアンケートを実施しております。お手数ですが、参加でご登録いただいた方は下記URLよりご回答をお願い申し上げます。

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

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

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

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

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

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

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

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

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

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

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

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

なお、今回は参加者によるアンケートで ベストLT賞 を決定します！🎊

見事獲得された登壇者の方には、運営よりささやかながら 記念品 を贈呈いたします🎁

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

発表者	タイトル	概要	枠
@kakkun61	PPL に行ってきた	「プログラミングおよびプログラミング言語ワークショップ」に参加してきたので、雰囲気などの紹介です	LT
あずにゃん	フロントエンドエンジニアが関数型プログラミングに出会った(仮)	ts-pattern・パターンマッチングについて	LT
ゆにねこ	neverthrow はいいぞ	TypeScript のライブラリ neverthrow の良さを、他の絵ハンドリング手法と比較して語ります。	LT
こと	てゆーか、関数型プログラミングって何？	関数型言語を数年触ってきて思い至った、わたしなりの「関数型言語って何？」に対する答えを語ります	LT
ken	圏論ってなんだ？対象と射で見る世界〜関数型プログラミングを支える基礎理論〜	関数型プログラミングの背後にある数学、圏論についてお話しできればと思います！！	LT
Shiro	Rust製L1ブロックチェーン作ったお話	みなさん資産どうやって管理してますか	LT
- ※発表者敬称略
- ※表示順序は先着順であり、当日の発表順はこの通りではありません

時間	内容	備考
14:30 - 15:00	開場
15:00 - 15:10	オープニング
15:10 - 17:30	セッション・LT（調整中)
17:30 - 17:50	フリータイム	自由に交流しましょう。宣伝したいことなどあればどうぞ
17:50 - 18:00	クロージング・写真撮影
18:00 - 19:30	懇親会
19:30 - 20:00	片付け・完全撤収
20:00 -	懇親会二次会	希望者のみ

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