タイムテーブル

11:30-11:55（25min）

関数型の考えをTypeScriptに持ち込んで、テストしやすい純粋関数を増やす—Functional Core, Imperative Shellの実践—

Shimmy

実践手法導入/活用事例

11:30-11:55（25min）

なぜ関数型プログラミングで「型」と「証明」が語られるのか

梶川琢馬

入門解説

12:00-12:25（25min）

モナディックPython — Resultモナドで型安全なAPI開発

12:00-12:25（25min）

型推論入門 ― Hindley-Milnerの仕組みと実装の違い

こまもか

言語理論言語処理系/開発ツール

14:00-14:25（25min）

PHPだって関数型したい 〜できること、できないこと〜

せきね じゅん

言語

14:00-14:50（50min）

型は壁、Rustでもバグを直すな、表現できなくせよ

nwiizo

言語実践手法入門解説

14:30-14:55（25min）

OCamlで作ったアプリを実運用している

Yuki Tajiri

言語導入/活用事例

15:00-15:50（50min）

速習FP in Scala with Flix: Flix言語で親しむ純粋関数型のコード設計

lagénorhynque/カマイルカ

理論実践手法入門解説

15:00-15:50（50min）

本物のプログラマーは unsafe と型システムを使う 〜拡張可能レコードを作って学ぶ黒魔術入門〜

konn

言語実践手法入門解説ライブラリ/フレームワーク言語処理系/開発ツール

16:30-17:20（50min）

Leanで学ぼう等式推論（証明もあるよ！）

井山梃子歴史館

理論入門解説言語処理系/開発ツール

16:30-17:20（50min）

「弱い」世界から分解する「データ型」の概念

Kory

言語理論

17:30-18:20（50min）

Lean 4をRTL開発の中核にする — Sparkle におけるJIT、検証、Reverse Synthesis(逆合成)

橋本順之

言語理論実践手法ライブラリ/フレームワーク言語処理系/開発ツール

17:30-18:20（50min）

Haskellと圏論：パフォーマンス改善からKan拡張へ

グミ

言語理論ライブラリ/フレームワーク

10:30-11:20（50min）

Rewriting Electrical Grid Modelling Software: Lessons in Functional Domain Modeling with F#

Almir Mesic

言語実践手法導入/活用事例

10:30-11:20（50min）

結局のところ「代数的」って何なの？ 〜霧の向こうの代数的エフェクト〜

10:30-11:20（50min）

ElixirのGenServerでアクタープログラミングしてみよう 〜Pub/Sub使って広域分散環境でマイグレーションも出来るよ〜

菊池 豊

言語実践手法入門解説

11:30-12:20（50min）

2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として

芳賀 雅樹 (silasolla)

言語理論実践手法

11:30-12:20（50min）

代数的エフェクトの高速化技法と発展的な機能

りよ

言語理論ライブラリ/フレームワーク

11:30-12:20（50min）

Rustで宣言的ストリームDSLを設計する: async boundary と island 実行モデル

かとじゅん

言語実践手法ライブラリ/フレームワーク

14:00-14:10（10min）

Haskell/Servantを通してWebミドルウェアを捉え直す

14:00-14:10（10min）

美しいコードを書くためにF#を学んでみた話

14:00-14:10（10min）

フロントエンド・バックエンド・アプリをClojureで揃えてみて分かったこと

14:15-14:25（10min）

なぜ多くの言語はHigher Kinded Typesをサポートしないのか

14:15-14:25（10min）

Robloxでのゲーム開発に使う言語「Luau」について

14:15-14:25（10min）

Scalaで作る型安全性を保持する暗号化ライブラリ

14:30-15:20（50min）

Welcome to the "Parametricity" 🏙️ − Generic だけど Specific な世界 −

TAKASE Kazuyuki

理論入門解説

14:30-15:20（50min）

音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用

松浦知也

言語理論

14:30-15:20（50min）

継続モナドとリアクティブプログラミング

ゆきくらげ

言語理論実践手法ライブラリ/フレームワーク

15:30-15:55（25min）

モナドっていうほど関数型プログラミング関係なさそうだよな

山本悠滋

理論入門解説

15:30-15:55（25min）

多段階計算によるコンパイル時テンソル形状検査

gfn (Takashi Suwa)

言語理論

15:30-15:55（25min）

壊れたパーサからはじめる関数型設計と構成的なパーサ

ライガー

実践手法入門解説言語処理系/開発ツール

16:30-16:55（25min）

パッケージマネージャー Nix はなぜ純粋関数型言語で設定を記述するのか

ryu

言語実践手法入門解説

16:30-16:55（25min）

入門ラムダ計算 with λ-1グランプリ！

うさみけんた

言語入門解説

16:30-16:55（25min）

LLMに書かせる前提で設計された言語の設計について議論して｡

びしょ～じょ

言語言語処理系/開発ツール

17:00-17:25（25min）

暗号実装における辛さを関数型によって解決してみよう

Curiosity

実践手法入門解説導入/活用事例

17:00-17:25（25min）

証明駆動競技プログラミング: セグメント木ライブラリの検証

水野 雅之

理論導入/活用事例ライブラリ/フレームワーク

17:00-17:25（25min）

ぼくのかんがえたさいきょうの alt TLA+

Show

言語言語処理系/開発ツール

17:30-17:55（25min）

証券システムを10年Scalaで作り続けるということ

Ken Kaizu

導入/活用事例

17:30-17:55（25min）

アルゴリズムは何を圧縮しているのか: Haskell から育った「圧縮代数」というメンタルモデル

naoya

言語理論実践手法

17:30-17:55（25min）

世界がない物理エンジン

Andrey Kuzmin

理論ライブラリ/フレームワーク