2026年7月11日(土), 12日(日)
中野セントラルパーク カンファレンス
お知らせ
- 2026年5月31日
当日スタッフの募集を開始しました。
- 2026年5月3日
チケットの販売を開始しました。
- 2026年4月22日
公募セッションの採択結果を公開しました
- 2026年3月4日
公募セッションのCfPを開始しました
- 2026年1月15日
関数型まつり2026のスポンサーを募集しています
- 2026年1月4日
コアスタッフを募集中です
- 2026年1月1日
関数型まつり2026 開催決定！
関数型プログラミングのカンファレンス
「関数型まつり2026」を開催します！
昨年の「関数型まつり」では、参加者総数494名、登壇者48名による多様なセッションを実施し、言語コミュニティの垣根を越えた交流と学びが生まれました。 好評をいただき、今年も「関数型まつり2026」を開催します！
関数型プログラミングはメジャーな言語・フレームワークに取り入れられ、広く実践されるようになりました。 そしてその手法自体も進化し続けています。 その一方で「難しい・とっつきにくい」という声もあり、十分に普及しているとまではいえないかもしれません。
私たちは様々な背景の方々が関数型プログラミングを通じて新しい知見を得て、交流ができるような場を提供することを目指しています。 普段から関数型言語を活用している方や関数型プログラミングに興味がある方はもちろん、最先端のソフトウェア開発技術に興味がある方もぜひご参加ください！
チケット
| 種別 | 金額（税込） |
|---|---|
| 一般（懇親会なし）General Admission (Conference Only) | ¥10,000 |
| 一般（懇親会あり）General Admission (with After-party) | ¥16,000 |
| 学生（懇親会なし）Student (Conference Only) | ¥5,000 |
| 学生（懇親会あり）Student (with After-party) | ¥8,000 |
| 懇親会のみ ※締め切り注意After-party Only (*Please note the deadline) | ¥6,000 |
| 1日券（懇親会なし）1-Day Pass (Conference Only) | ¥5,000 |
当日スタッフ募集
関数型まつり2026の当日スタッフを募集しています。イベントを一緒に作り上げてくださる方のご応募をお待ちしております。
スポンサー募集
関数型まつり2026 のスポンサーを募集しています。関数型プログラミングのコミュニティを一緒に盛り上げてくださる企業・団体の皆様をお待ちしております。
詳細なスポンサープランや特典内容については、スポンサー向け資料をご確認ください。
プラチナスポンサー
株式会社FOLIO
株式会社FOLIOは、先端テクノロジーやAI予測を活用したユニークな資産運用サービスを提供するFinTechベンチャー企業です。
AI予測を活用したBtoC型の投資サービス「ROBOPRO」「おまかせ投資」を展開するロボアドバイザー事業、金融機関の“投資一任サービス”を実現するBtoBtoC型のSaaSプラットフォーム「4RAP」を提供する金融プラットフォーム事業、さらにAI運用エンジンを活用した投資助言を行うアドバイザリー事業など、多様な形でサービスを提供しています。
ITベンチャーならではのスピード感と、金融機関として求められる堅牢性。その両立を重視し、ScalaやAWS、Kubernetes、Datadog、ArgoCDなどを活用した開発を行っています。
Scalaで資産運用を、もっと身近に。
■FOLIOの開発環境
- Scala（Cats / fs2 / Play など）を用いたアプリケーション開発
- AWS・Kubernetes・Datadog・ArgoCDによるクラウドネイティブな基盤
- 長期運用を前提とした設計と継続的な改善プロセス
- Claude Code等の生成AIツールを活用した開発
持続可能な開発体制を重視し、技術的な学習や知見共有にも力を入れています。社内勉強会やナレッジ整備により、Scala未経験からでもスムーズにキャッチアップできる環境です。
■働き方
- 裁量労働制
- リモートワーク中心（国内であればフルリモート可）
- 必要に応じた出社も可能
現在、一都三県以外でリモートワークを行っている社員は全体の約20％。働く場所にとらわれず、資産運用をより身近で透明性の高いものにしたい方、関数型の力で堅牢なシステムを構築したい方を歓迎しています。
■関連情報
ゴールドスポンサー
株式会社HERP
株式会社HERPは、「採用を変え、日本を強く。」をミッションに掲げ、企業・人材紹介会社・求職者の三者に対し、テクノロジーを用いた最適なマッチングと意思決定を支援するHR Tech企業です。
業務効率化ツールとしてのSaaS提供に留まらず、AIとデータを活用して採用市場の構造そのものをアップデートする「SaaS × AI + マッチングプラットフォーム」構想を推進しています。
現在は、採用管理システム『HERP Hire』を主軸に、一連の採用プロセスをAIが支援する『HERP AI Recruiter』、人材紹介会社向け求人提案プラットフォーム『ジョブミル』、求人メディア『HERP Career』など、採用領域のあらゆるステークホルダーに向けたマルチプロダクトを展開しています。
◾️HERPと関数型言語
HERPは黎明期から、TypeScriptとHaskellを開発言語として採用し、型を中心に据えた開発に取り組んできました。現在はTypeScriptをメインの開発言語としつつ、人材紹介会社向けのサービスであるジョブミルでEffect-TSを採用するなど、関数型のパラダイムを取り入れる動きは今も活発です。関数型に知見の深いメンバーも多く、関数型特有の考え方を共通言語として議論できる環境があります。
◾️エンジニアの挑戦機会
0→1から10→100まで多様なフェーズのプロダクトに関われること、複数プロダクトの成長とスケールを支える設計・実装に挑戦できることが、大きな魅力のひとつです。
HERPでは「情報は原則オープン」という文化が根付いており、自ら考え、動き、意思決定できるエンジニアにとって、大きなやりがいがある環境です。
◾️採用情報
私たちと一緒に事業成長を牽引してくださるエンジニアを募集しています。
少しでもご興味のある方は求人ページからご連絡ください！
Jane Street
Work functionally
At Jane Street, we are big believers in functional programming. We use OCaml, a statically typed functional language, as our primary development platform. Jane Street’s technology group is small by design, which means we need to maximize the productivity of each person we hire; we believe functional programming helps us do that. But it’s not about productivity alone: programming in a rich and expressive language like OCaml is just more fun.
Functional programming isn’t a tool we reserve for some special set of problems. From systems automation to trading systems, from monitoring tools to research code, we write everything that we can in OCaml.
Learn more about Functional Programming at Jane Street.
エムスリー株式会社
ギークな集団だからこそ世界の医療を変えられる
ユニークなプロダクトで解決するからこそ
ユニークなエンジニアリング文化があるからこそ
ユニークなメンバーが集っているからこそ
3つのユニークを掛け合わせ
新しい世界を見通すからこそ
医療を変えていくことができる
挑み続けるギークなエンジニア組織で
世界の医療の変革に挑戦してみませんか？
さて、突然ですが、ここで OCaml クイズ！！
"Matsuri"|>fun s->Printf.sprintf"%c%d"s.[0]((String.fold_left(fun n _->n+1)0 s)/2);;"まつり"の先が分かったら、すぐエムスリーに連絡を！
Sotas株式会社
「素材を活かしつづけ、地球とともに、ひとりでも多くの末永い幸せを創出する」
私たちはこのミッションを掲げ、国内50兆円超の化学産業に対して、素材のプラットフォームを構築し、サプライチェーン全体の変革を目指すスタートアップです。
化学物質管理・法規制対応・素材情報の分断など、業界特有の深い課題に、複数の特化型プロダクトで向き合っています。
関数型まつりに参加される皆さまと、技術やものづくりについて交流できることを楽しみにしています。
ワンダーソフト株式会社
- 予約管理プラットフォーム「Wonder Reserve」の自社開発・運営
- Rust 製 OSS「mcp-server-hybrid-search」公開（BM25 + Embedding ハイブリッド検索・MCP 対応）
- Claude Code を活用した AI ペア開発を日常的に実践
シルバースポンサー
クラスメソッド株式会社
クラスメソッドは「オープンな発想と高い技術力により、すべての人々の創造活動に貢献し続ける。」という経営理念のもと、クラウド、モバイル、ビッグデータ、生成AIのコンサルティングやシステム開発、運用サービスを提供しています。
自社メディアDevelopersIO・Zennを通じて多くの技術情報を発信し、日本中のエンジニアの下支えを行っています。
モバイルアプリ開発・データ分析など幅広い技術分野で大手企業様向けの技術支援を専任チームで継続的に行っており、サーバサイドのエンジニアを絶賛募集中です。
これまでもお客様へ積極的に提案・アドバイスを行い、さまざまなシステム/アプリを共に作り上げてきました。お客様と一体となってのチーム開発・技術選定から関われる環境で、是非一緒に働きませんか？
カジュアル面談も可能ですので、ご興味のある方は以下からご連絡ください。
ファンズ株式会社
資本の流れを変え、『豊かさ』の総量を増やす。
ファンズ株式会社は、個人が企業へ間接的にお金を貸し出すことで資産形成ができる、貸付ファンドのオンラインマーケット「Funds」を運営する企業です。Funds では1円から投資可能で、投資未経験の方でも少額から資産形成を始められます。
日本には行き場を失った約1,000兆円の家計資産が滞留する一方、成長企業には十分な資金が届いていません。私たちは「資本の流れを変え、『豊かさ』の総量を増やす」というミッションのもと、個人と企業間における資産の循環を作っています。その先に目指すのは「世界的な直接金融プラットフォーム」というこれまでに存在しない新しい市場の創造です。
Funds と関数型言語
Funds のプロダクト開発では、スタートアップながらも持続可能性のある開発を重要視しています。関数型言語でもある Scala のもつ堅牢な型システムや表現力は、金融という複雑かつ正確性が要求されるドメインの表現に最適と考え、開発当初から Scala を採用しています。また技術研鑽についても奨励しており、業務時間内で Scala にまつわる勉強会を実施しています。
エンジニアの働き方
エンジニアメンバーは裁量労働制となっています。オフィスへの出社も可能ですが、ほとんどのメンバーは完全リモートで働いています（日本国内であれば遠隔地での就業も可能です）。
ファンズではエンジニアを募集しています
私たちと一緒に課題解決に携わっていただけるサーバサイドエンジニアを募集しています。少しでもご関心のある方は採用ページからご応募ください。まずはカジュアル面談をご案内いたします。採用特設ページもぜひご覧ください。
Idein株式会社
Idein (イデイン) は「ソフトウェア化された世界を創る」というビジョンのもと、物理世界で起きている現象をデータ化し、自在に制御可能にする事を目指すテックカンパニーです。
物理世界の知覚・制御のための先端AI技術開発と、エッジデバイスの大規模遠隔運用を実現するエッジAI/IoTプラットフォーム「Actcast」を中核とした事業を行っています。
当社の事業の特徴は、AIそのものだけでなく、その実装や大規模運用を重視して技術開発や事業開発に取り組んでいる事です。現場の課題解決とプロダクト成長の循環を回転させ、より多くのお客様のより難しい課題を解決できる企業へと成長し、より多くの現場のソフトウェアによる変革を実現していく事に私たちは取り組んでいます。
https://www.idein.jp/ja/recruit
株式会社ネクストビート
Tech Vision「全員CTO」を掲げ、技術的意思決定へ踏み込み、「技術的トライ」を個人任せにせず組織で支える開発文化です。
「変更に強く、長く運用できるコード」×「技術的トライ」の土台としてScalaを採用。Scala 3は2021年から早期採用。
● 技術的チャレンジ
・法改正耐性の高いドメインモデル設計:仕様変更を前提にしたアーキテクチャで、変更影響を局所化
・多重制約の最適化:法令・施設・運用の3制約が同時に絡むシフト管理の課題解決
・Scala 2→Scala 3への移行:国内でも数少ない、商用規模のリプレイス事例
・AI駆動開発:全員でClaude Team・Google Workspaceを活用
■ Scala開発プロダクト
・保育施設の業務効率化SaaS
・保育施設マネジメントSaaS
・保育士100％のシッターマッチング
■ 面談・応募はこちらから
・Scalaテックリード、Scalaエンジニア
・面談
株式会社スタンバイ
▼スタンバイについて
株式会社スタンバイは日本最大級の求人検索エンジン「スタンバイ」を運営しています。
私たちは現在提供しているサービスの先に、日本における「労働人口の減少」、「生産性向上」など大きな社会の課題解決を見据えています。
こういった大きな社会の課題に取り組むため、私たちはLINEヤフーが持つ様々なアセットや、Visionalグループが持つ求人・採用のノウハウ、技術力を掛け合わせた新たなチャレンジを進めています。
まず、求職者にとって「あらゆる求人情報をとり揃え、スタンバイでストレスなく安心して仕事を見つけられるようにする」 こと、求人募集企業様にとって簡単かつ効率的に人材を確保できること、その先には、よりライフスタイルに合わせた働き方の選択や、あらゆる人が自身のキャリアを向上させていくことなど、私たちが社会に提供する価値への挑戦はまだ始まったばかりです。
私たちは"UPDATE WORKSTYLES「はたらく」にもっと彩りを"をミッション掲げ、テクノロジーの力を通じて、様々な働き方を尊重、支援し、人々の「はたらく」の在り方をアップデートします。
ロゴスポンサー
応援団
Bytedrift_Limited
fun _ ->
HOSHINO Yūya
Kamenleon
