🎉 関数型まつり2026 採択セッション一覧を公開しました！

採択結果はこちらからご確認いただけます👇
fortee.jp/2026fp-matsu...

今年もたくさんのご応募をありがとうございました🙌
応募者の皆さまにはご案内メールをお送りしていますので、あわせてご確認ください。

#fp_matsuri

【協賛企業のご紹介🎉】
TAKAHASHI Osamu様に応援団としてご協賛いただきました。
公式サイトへロゴを掲載しております。

温かいご支援ありがとうございます！ #fp_matsuri

2026.fp-matsuri.org

AIが書くコードにどうガードレールを敷くか - 関数型プログラミングの考え方で作る設計 # セッションのテーマ - 実践手法 - 導入/活用事例 # 想定する聴衆/前提知識 - 普段PHP/TypeScript/Go/Javaなどで開発しており、関数型プログラミングに興味がある方 # 聴衆が得られるもの AIが生成するコードに対して、型と静的解析でどこまで誤りを早期に検出できるのかの実務的な感覚。副作用分離や型による設計を、AI時代の品質フィードバックの仕組みとして捉える視点。...

関数型まつり2026 にプロポーザルが投稿されました！
「AIが書くコードにどうガードレールを敷くか - 関数型プログラミングの考え方で作る設計」 / 梶川琢馬さん

fortee.jp/2026fp-matsu...
#fp_matsuri

Modular Explicits へのご招待〜OCaml 5.5から使える Modular Explicits の何がおいしいの?〜 # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 - 実践手法 - 入門解説 # 想定する聴衆/前提知識 例: - OCaml というプログラミング言語に触れたことがある # 聴衆が得られるもの(目安: 100文字以内) OCaml 5.5 で導入される予定の Modular...

関数型まつり2026 にプロポーザルが投稿されました！
「Modular Explicits へのご招待〜OCaml 5.5から使える Modular Explicits の何がおいしいの?〜」 / Haochen Kotoi-Xieさん

fortee.jp/2026fp-matsu...
#fp_matsuri

多段階計算によるコンパイル時テンソル形状検査 # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 # 想定する聴衆/前提知識 - ML/Haskellの具象構文が読める - 型システムについて基礎的理解がある - 望ましい： 型つけ規則が読める # 聴衆が得られるもの(目安: 100文字以内) - 多段階計算という “...

関数型まつり2026 にプロポーザルが投稿されました！
「多段階計算によるコンパイル時テンソル形状検査」 / gfn (Takashi Suwa)さん

fortee.jp/2026fp-matsu...
#fp_matsuri

型推論入門 ― Hindley-Milnerの仕組みと実装の違い # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 - 言語処理系 # 想定する聴衆/前提知識 - TypeScriptなどを業務で書いている - 型推論がどのような物なのかは知っているが、どう実装されているかは知らない - Hindley-Milnerという単語を聞いたこと...

関数型まつり2026 にプロポーザルが投稿されました！
「型推論入門 ― Hindley-Milnerの仕組みと実装の違い」 / こまもかさん

fortee.jp/2026fp-matsu...
#fp_matsuri

フロントエンド・バックエンド・アプリをClojureで揃えてみて分かったこと # セッションのテーマ - 言語 - 実践手法 - 導入/活用事例 # 想定する聴衆 / 前提知識 - Webフロントエンド、バックエンド、アプリ開発のいずれかに触れたことがある - 複数層をまたぐ設計や技術選定に関心がある - Clojureの経験は不要 # 聴衆が得られるもの 複数層を同じ技術系統で揃えて開発する実際の感触と、その判断材料を持ち帰れます。 # セッションの概要 本...

関数型まつり2026 にプロポーザルが投稿されました！
「フロントエンド・バックエンド・アプリをClojureで揃えてみて分かったこと」 / jyamakawaさん

fortee.jp/2026fp-matsu...
#fp_matsuri

真にどこでも動く言語OCaml〜クラウドだろうがモバイルだろうがベアメタルだろうが関数型で書きたいんだ〜 # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 実践手法 - 導入/活用事例 - 言語処理系/開発ツール # 想定する聴衆/前提知識 例: - 誰でも # 聴衆が得られるもの(目安: 100文字以内) OCamlという関数型言語が如何に多様なプラットフォームで動作し、プロダクショ...

関数型まつり2026 にプロポーザルが投稿されました！
「真にどこでも動く言語OCaml〜クラウドだろうがモバイルだろうがベアメタルだろうが関数型で書きたいんだ〜」 / Haochen Kotoi-Xieさん

fortee.jp/2026fp-matsu...
#fp_matsuri

「弱い」世界から分解する「データ型」の概念 # セッションのテーマ - 言語 - 理論 # 想定する前提知識 - 「代数的データ型」を使って概念のモデリングをした経験がある - 「関数の停止性/全域性」というアイデアが分かる # 聴衆が得られるもの - 概念をモデリングする言語としての「代数的データ型」に対する、より深い理解 - 「再帰」「余再帰」概念への理解 - 「制限された体系から明らかだと思っていた概念を見つめ直すことで、より鮮や...

関数型まつり2026 にプロポーザルが投稿されました！
「「弱い」世界から分解する「データ型」の概念」 / Koryさん

fortee.jp/2026fp-matsu...
#fp_matsuri

なぜ関数型プログラミングで「型」と「証明」が語られるのか # セッションのテーマ - 入門解説 # 想定する聴衆/前提知識 - 普段PHP/TypeScript/Go/Javaなどで開発しており、関数型プログラミングに興味がある方 - 型理論や証明がなぜ「関数型」の文脈で語られるのかピンと来ていない方 # 聴衆が得られるもの 副作用の分離や型による設計が、関数型プログラミングの理論とどうつながるのかを入門的に理解できる。関数型プログラミングの「型...

関数型まつり2026 にプロポーザルが投稿されました！
「なぜ関数型プログラミングで「型」と「証明」が語られるのか」 / 梶川琢馬さん

fortee.jp/2026fp-matsu...
#fp_matsuri

Gleamではじめる関数型プログラミング # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 実践手法 - 入門解説 # 想定する聴衆/前提知識 - 手続き型プログミングやオブジェクト指向プログミングに触れたことがある - TypeScript等でmap, reduce等の関数を使ったことがあるが、関数型プログラミング言語には...

関数型まつり2026 にプロポーザルが投稿されました！
「Gleamではじめる関数型プログラミング」 / こまもかさん

fortee.jp/2026fp-matsu...
#fp_matsuri

代数的エフェクトの高速化技法と発展的な機能 # セッションのテーマ - 言語 - 理論 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 - エフェクトプログラミングの発展的な内容に興味のある方 - （特に Haskell や PureScript において）モナドと do 記法を用いたプログラミング、または Koka などのエフェクト系言語に触れたことのある方 - 触れたことのない方のためにも前提の簡単な解説は行います...

関数型まつり2026 にプロポーザルが投稿されました！
「代数的エフェクトの高速化技法と発展的な機能」 / りよさん

fortee.jp/2026fp-matsu...
#fp_matsuri

音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用 # セッションのテーマ - 言語 - 理論 # 想定する聴衆/前提知識 - プログラミング言語やDSLの芸術分野への応用に興味がある - 多段階計算(型安全マクロ)に興味がある - Rustでの現実的な言語開発に興味がある # 聴衆が得られるもの(目安: 100文字以内) ラムダ計算や多段階計算のような言語の理論を、音楽プログラミングという分野における現実の問題解決に接続する実例を提示しま...

関数型まつり2026 にプロポーザルが投稿されました！
「音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用」 / 松浦知也さん

fortee.jp/2026fp-matsu...
#fp_matsuri

Haskell/Servantを通してWebミドルウェアを捉え直す # セッションのテーマ * 入門解説 * ライブラリ/フレームワーク # 想定する聴衆/前提知識 * Web開発者 * Servant未経験 # 聴衆が得られるもの Webアプリケーションを「API仕様を記述するコンビネータの合成」と捉えるServantの世界観に基づく「ミドルウェア」の再解釈 # セッションの概要 多くのWebフレームワークにおいてミドルウェアは、`(Req → RespWr...

関数型まつり2026 にプロポーザルが投稿されました！
「Haskell/Servantを通してWebミドルウェアを捉え直す」 / ぴざきゃっとさん

fortee.jp/2026fp-matsu...
#fp_matsuri

証明駆動競技プログラミング: セグメント木ライブラリの検証 # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 理論 - 導入/活用事例 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 - 関数プログラミング言語に触れた事がある - 競技プログラミングに触れた事がある - 定理証明支援系の知識は前提としません # 聴衆が得られるもの(目安...

関数型まつり2026 にプロポーザルが投稿されました！
「証明駆動競技プログラミング: セグメント木ライブラリの検証」 / 水野 雅之さん

fortee.jp/2026fp-matsu...
#fp_matsuri

結局のところ「代数的」って何なの？ 〜霧の向こうの代数的エフェクト〜 # セッションのテーマ - 言語 - 理論 # 想定する聴衆/前提知識 【想定する聴衆】 - Kokaなどの言語やライブラリなどを通じて「代数的エフェクト」に興味がある方 - 使い方とかはわかるけど「結局代数的って何なの？」というモヤモヤがあり、その背後にある理論を知りたい方 【前提知識】 - インターフェース、副作用、木構造といった、一般的なプログラミングの基礎概念 - 「モナド」という概念に...

関数型まつり2026 にプロポーザルが投稿されました！
「結局のところ「代数的」って何なの？ 〜霧の向こうの代数的エフェクト〜」 / funnycatさん

fortee.jp/2026fp-matsu...
#fp_matsuri

なぜ多くの言語はHigher Kinded Typesをサポートしないのか # セッションのテーマ - 言語 - 理論 - 実践手法 # 想定する聴衆/前提知識 - 関数型言語（Scala, Haskell, OCaml、等）に触れたことがある - Generics/ジェネリクスの概念を理解している - 型クラスやトレイトなどの抽象化機構について基本的な知識がある # 聴衆が得られるもの 強力な型システムとシンプルな型システム、それぞれのメリット・デメリットの理解 ...

関数型まつり2026 にプロポーザルが投稿されました！
「なぜ多くの言語はHigher Kinded Typesをサポートしないのか」 / Ryo Matsumotoさん

fortee.jp/2026fp-matsu...
#fp_matsuri

型は値の集合か？ 〜プログラミング言語の型の解釈を考える〜 # セッションのテーマ - 言語 - 理論 # 想定する聴衆/前提知識 - TypeScript等で型を活用したプログラミングができる # 聴衆が得られるもの 「型は値の集合」という説明の限界と、型をプログラムに対する制約として捉え直す視点 # セッションの概要 本発表では、「プログラミング言語の型は値の集合である」というしばしば目にする解釈を1つの仮想敵として、型システムについてよりよい直...

関数型まつり2026 にプロポーザルが投稿されました！
「型は値の集合か？ 〜プログラミング言語の型の解釈を考える〜」 / ほとけ/Motoki Shakagoriさん

fortee.jp/2026fp-matsu...
#fp_matsuri

IO.puts "⚠️ 関数型まつり2026のCfP応募締め切り日です! まだ間に合います🚀🚀"

(↑のコードの言語は何でしょう?🧐)

fortee.jp/2026fp-matsu...
#fp_matsuri

世界がない物理エンジン # セッションのテーマ - 理論 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 - 関数型プログラミングの基礎知識を持っている # 聴衆が得られるもの - 物理を超えて応用できる実践的なFPテクニック - 表現力を犠牲にせず宣言的なAPIを設計する方法 - コンテナを取り除くことでAPIと思考モデルの両方がシンプルになる理由 # セッションの概要 elm-physicsは...

関数型まつり2026 にプロポーザルが投稿されました！
「世界がない物理エンジン」 / Andrey Kuzminさん

fortee.jp/2026fp-matsu...
#fp_matsuri

「Haskell は Rust になれるのか？」2026 Edition 〜線型型や所有権と仲良く〜 # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 - 実践手法 - 入門解説 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 - Haskell または Rust の構文の雰囲気を知っている - 代数的データ型や再帰がわかる - 所有権システムや線型型システムって何...

関数型まつり2026 にプロポーザルが投稿されました！
「「Haskell は Rust になれるのか？」2026 Edition 〜線型型や所有権と仲良く〜」 / konnさん

fortee.jp/2026fp-matsu...
#fp_matsuri

暗号実装における辛さを関数型によって解決してみよう # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 実践手法 - 入門解説 - 導入/活用事例 # 想定する聴衆/前提知識 例: - 誰でも - 暗号の知識（あれば良い） # 聴衆が得られるもの(目安: 100文字以内) 関数型の思想を活用して暗号実装やプロトコル設計の誤用を防ぐ具体的な設計パ...

関数型まつり2026 にプロポーザルが投稿されました！
「暗号実装における辛さを関数型によって解決してみよう」 / Quriosityさん

fortee.jp/2026fp-matsu...
#fp_matsuri

アルゴリズムは何を圧縮しているのか: Haskell から育った「圧縮代数」というメンタルモデル # セッションのテーマ 言語 理論 実践手法 # 想定する聴衆/前提知識 - Haskell のコードや型シグネチャを見て雰囲気が追える - モノイドや fold など、基本的な代数的抽象に軽く親しみがある - 競技プログラミング経験は不要 # 聴衆が得られるもの アルゴリズムを「自由な入力を意味のある代数へ圧縮する操作」として捉える、新しい計算解釈のメンタルモデル # セッションの概...

関数型まつり2026 にプロポーザルが投稿されました！
「アルゴリズムは何を圧縮しているのか: Haskell から育った「圧縮代数」というメンタルモデル」 / naoyaさん

fortee.jp/2026fp-matsu...
#fp_matsuri

抽象解釈から捉え直す仕様・検証・実装 # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 理論 - 入門解説 # 想定する聴衆/前提知識 例: - 誰でも - 型システムなどの形式手法に関心がある - 抽象解釈に関心がある # 聴衆が得られるもの(目安: 100文字以内) 抽象解釈の主要概念についての直感的理解。種々のソフトウェア...

関数型まつり2026 にプロポーザルが投稿されました！
「抽象解釈から捉え直す仕様・検証・実装」 / 道下祐樹さん

fortee.jp/2026fp-matsu...
#fp_matsuri

ぼくのかんがえたさいきょうの alt TLA+ # セッションのテーマ - 言語 - 言語処理系/開発ツール # 想定する聴衆/前提知識 - TLA+ に興味がある方 - コンパイラに興味がある方 TLA+ の事前知識は必要ありません。コンパイラについては、大学の講義で登場するような入門的な内容（e.g. 構文木、コード生成）を理解していることが望ましいです。 # 聴衆が得られるもの 以下の大まかな理解が得られる想定です: - T...

関数型まつり2026 にプロポーザルが投稿されました！
「ぼくのかんがえたさいきょうの alt TLA+」 / Showさん

fortee.jp/2026fp-matsu...
#fp_matsuri

Rewriting Electrical Grid Modelling Software: Lessons in Functional Domain Modeling with F# Topic F#, (Functional) Domain Driven Design, System Design Case study: rewriting electrical grid modelling software Target Audience Interest in FP, F#, and DDD Prerequisites Basic understanding of f...

関数型まつり2026 にプロポーザルが投稿されました！
「Rewriting Electrical Grid Modelling Software: Lessons in Functional Domain Modeling with F#」 / Almir Mesicさん

fortee.jp/2026fp-matsu...
#fp_matsuri

「手続き型」な私が「関数型」を覗いてみたら、設計の視界が少しクリアになった話 # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 入門解説 # 想定する聴衆/前提知識 - これから関数型プログラミングを勉強しようと思っている方 # 聴衆が得られるもの(目安: 100文字以内) - 関数型設計による「これは楽になるかも」という感覚 - 関数型プログラミングを学習するキッカ...

関数型まつり2026 にプロポーザルが投稿されました！
「「手続き型」な私が「関数型」を覗いてみたら、設計の視界が少しクリアになった話」 / 田中ノリヒロさん

fortee.jp/2026fp-matsu...
#fp_matsuri

エコシステムがない言語をLLMで踏み倒す方法 - MoonBit の場合 # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 実践手法 # 想定する聴衆/前提知識 例: - 誰でも # 聴衆が得られるもの(目安: 100文字以内) - LLMを使った言語間移植のプラクティス - AIに最適化されたプログラミング言語の設計 # セッションの概要(目安: ...

関数型まつり2026 にプロポーザルが投稿されました！
「エコシステムがない言語をLLMで踏み倒す方法 - MoonBit の場合」 / mizchiさん

fortee.jp/2026fp-matsu...
#fp_matsuri

継続モナドとリアクティブプログラミング # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 - 実践手法 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 例: - 誰でも # 聴衆が得られるもの(目安: 100文字以内) - 継続モナドについて - リアクティブプログラミングについて - 継続モナドを使...

関数型まつり2026 にプロポーザルが投稿されました！
「継続モナドとリアクティブプログラミング」 / ゆきくらげさん

fortee.jp/2026fp-matsu...
#fp_matsuri

AI Agent時代を生き抜くプログラミング言語の選定や関数型言語機能の活用とは # セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 導入/活用事例 - AI Agent # 想定する聴衆/前提知識 例: - 誰でも # 聴衆が得られるもの(目安: 100文字以内) - AI Agent を活用したソフトウェア開発において考えなければいけないこと - これまで良し...

関数型まつり2026 にプロポーザルが投稿されました！
「AI Agent時代を生き抜くプログラミング言語の選定や関数型言語機能の活用とは」 / がくぞ(gakuzzzz)さん

fortee.jp/2026fp-matsu...
#fp_matsuri