λ Kansai in Autumn 2024

2024/10/19(土)17:00 〜 20:00 開催
ブックマーク
#JavaScript, #LT（ライトニングトーク）, #ハンズオン

イベント内容

λ ごあいさつ λ

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

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

λ Kansai in Autumn 2024

を、2024年10月19日(土)に実施いたします！

内容といたしましては、 - 第１部: セッションミーティング、LT会 - 第２部: 懇親会 となります。

つきましては、第１部の登壇者を、セッション２名・LT４名の合計６名を募集いたします。

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

第２部（懇親会）参加の可否のアンケートを実施しております。
お手数ですが、参加でご登録いただいた方は下記URLよりご回答をお願い申し上げます
λ Kansai in Autumn 2024 懇親会 参加のアンケート

🎤会場🎤

さくらインターネット様によるオープンイノベーションのための施設「Blooming Camp」v内のカフェスペース「Blooming Kitchen」にて開催いたします。

当日は、同施設においてエンジニアの集まるバー「HACK.BAR」大阪店が営業しています。

イベント中は、ハックバーのドリンクを楽しんでいただけます！🍸

🗒️募集要項🗒️

発表時間

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

  • セッションミーティング: 30分 (+質疑)
  • LT会 : 10分

発表形式

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

ディスプレイ、ケーブル 、電源は会場に設備があります。

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

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

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

  • 関数型プログラミングおよび関数型言語に関する話題

  • 関数型言語に限らずとも、ソフトウェア技術全般の基盤を与える学理に関する話題
    ...... 数学・論理学・計算機アーキテクチャ・ハードウェア・etc...

  • 必ずしも現代の関数型言語と直結しない過去・および未来的技術に関する話題
    ...... 関数型言語の歴史, 量子プログラミング, etc...

  • より広く「関数型プログラミングを愛好する者たちにとって少しでも有益な情報をもたらす話題」

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

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

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

発表内容

発表者 タイトル 概要 枠
kmizu 関数型プログラミング入門（仮） 関数型プログラミングの基本をJavaScriptによるコード例を使ってわかりやすく解説します。純粋関数や不変性といった主要概念の説明から始まり、テスタビリティの向上やコードの保守性改善など、実務での利点を具体的なコード例とともに紹介します セッション
えび 推し言語 Lean について語ります Leanでコードを書く上で個人的に気に入っている文法や機能を実演を交えて紹介します！ セッション
λyuki 変な関数 OCaml には幾つか変な関数がありますが、個人的に面白いなと思った printf 関数について簡単に喋ります。 LT
Motoki KAMIMURA Nix入門（Not NixOS） Nixによる再現性のある開発環境の構築について説明します.　 LT
おぬし （確率）論理型プログラミング言語のすすめ パーサや型推論などの実装が容易な言語として知られている論理型プログラミンとその確率版の実装であるPRISMを紹介します． LT
kotauchisunsun 小話 小話 LT
  • ※発表者敬称略
  • ※表示順序は先着順であり、当日の発表順はこの通りではありません

⏱️タイムテーブル⏱️

時間 内容 備考
16:30 - 17:00 開場
17:00 - 17:10 オープニング
17:10 - 17:50 セッション① (発表30分・質疑10分)
17:50 - 18:30 セッション② (発表30分・質疑10分)
18:30 - 18:40 休憩
18:40 - 19:10 LTセッション
19:10 - 19:20 フリータイム（宣伝したいことある人)
19:20 - 19:30 クロージング　
  • ※随時更新します。
  • ※登壇登録いただいた方は、お手数ですが下記URLより発表内容をご連絡いただけると幸いです。
    λ Kansai in Autumn 2024 登壇者事前アンケート
  • ※セッション・LTの応募状況によって変化する場合があります

⚠️注意事項⚠️

  • 以下に該当する行為は禁止とします

    • 公序良俗に反する内容、特定の団体や人物に対する誹謗中傷など、明らかに不適切な内容の発表や言動を行うこと
    • ハラスメント行為には厳重に対処し、場合によっては即時退出いただき今後の参加を拒否する場合があります。
    • 会場において勧誘やリクルーティング目的の行為を行うこと
    • 泥酔してのご来場や、会場設備を破壊し汚す行為

  • 発表において「特定の営利サービスについて宣伝すること」は禁止はされませんが、もしそのような内容となる場合、 以下２点をお守りいただけますようお願い申し上げます。

    • 営利の宣伝を含む発表であることを、サービス名を明記したうえで始めに明らかにする
    • サービスの有用性が技術的・学術的な観点から説明されていること (単に「このツボ買ったら人生変わりますよ！」的内容に終始する発表はご遠慮ください。)

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。
情報提供元ページ（connpass）へ

新規会員登録

このイベントに申し込むには会員登録が必要です。
アカウント登録済みの方はログインしてください。

※ ソーシャルアカウントで登録するとログインが簡単に行えます。

※ 連携したソーシャルアカウントは、会員登録完了後にいつでも変更できます。

関連するイベント