関数型まつり2025
2025年6月14日開催 / 発表資料 34 本
pojiro
Elixir製IoTプラットフォームNervesの仕組みとOTPの強みを紹介。サーバサイドの開発体験をIoTに広げる方法がデモで分かる。
遠藤侑介
TypeScriptの極小サブセットで型検査器を自作し、AST処理や型検査の基本、型システムの拡張とセルフホストまでの流れが分かる。
橋本順之
Haskellで型安全なディープラーニングを行うHasktorchの基本、環境構築、ニューラルネット構築、メモリ管理や最適化まで学べる。
konn
Rustでdo式を使えるqualified_doの紹介を通じ、モナド階層やGATsの活用、資源に敏感なdo式とLinear Haskellとの違いが分かる。
lagénorhynque/カマイルカ
Haskell、Scala、Clojure、Elixirを比較し、参照透過性や不変性など関数型プログラミングの中核と周辺は何かを考える手がかりが得られる。
いとひろ
CursorやDevinなどのAIエージェント開発で、形式手法と関数型プログラミングがコンテキスト最小化や品質向上にどう効くかを事例で検証する入門トーク。
山下伸夫
Haskellのinteractで副作用のI/Oを一箇所に隔離し、対話的ソートを例に関数的に書く方法が分かる。
松澤 有
ElixirとElmをフルスタック採用するSiiibo証券が、少人数組織で関数型言語を採用・維持・継続するための価値観と手法を紹介。
takasehideki
「ElixirでIoT」の5年超の取り組みを振り返り、Rclex、Zenohex、Giocciなどの成果と、他の関数型言語での可能性を考える。
- 関数プログラミングに見る再帰スライド
T.T
関数プログラミングにおける再帰を初心者向けに解説。ループとの違い、末尾呼び出し最適化、継続渡し、クイックソートへの応用が分かる。
- 産業機械をElixirで制御するスライド
菊池 豊
小水力発電所の制御にElixirを採用した事例。産業制御の課題、採用の経緯、専用ハードウェア開発や応用例が分かる。
- Excelで関数型プログラミングスライド
はけた
ExcelのLAMBDA、MAP、REDUCE関数で関数型プログラミングを実践する話。スピルや再帰、限界、JSONパーサの作り方まで分かる。
びしょ～じょ
継続の歴史からcall/ccやCPS変換、async/await、代数的効果までを整理し、言語設計と実装への影響や今後の可能性が分かる。
erin
Elixirが再束縛可を採用しても問題になりにくい理由を、束縛・代入・イミュータブルの整理を通じて理解できる。
MakKi
XSLTを関数型言語として捉えBrainfuck処理系を実装。パターンマッチや再帰での状態管理と、チューリング完全性が分かる。
山本悠滋 （igrep）
「Haskellは副作用がない」という通説の問題点を歴史から検討し、HaskellでのIOとの向き合い方や関数型への誤解の解き方が分かる。
上野雄大
SML#コンパイラを高速化する、タスク並列GC、ARM向け末尾呼び出し、部分評価器の開発経緯と理論、全体構成が分かる。
ayato-p
マイクロサービス内のAPIをF#で2年運用した知見。Web API開発や設計の進め方、運用上の困りごとと課題が分かる。
- Julia という言語についてスライド
後藤 俊介
Juliaを関数型プログラミングの観点で解説。多重ディスパッチやマクロ、FPに役立つパッケージなど、言語の特徴と使い方の入口が分かる。
井山梃子歴史館
Leanで正規表現エンジンを実装し正しさを証明した経験から、破壊的更新の活用や証明の課題、依存型の使いどころが分かる。
せきね じゅん
PHPからKotlinへ移った開発者向けに、問題集やペアプロで関数型の機能を学び教える方法を紹介。オンボーディング育成のコツが分かる。
鳥越 貴智 (piyo7)
トヨタ自動車のArkTwin開発を例に、Scala製Pekkoの型付きアクターモデルの利点と実装パターン、分散シミュレーションの展望が分かる。
ほとけ/Motoki Shakagori
数理論理学を経由して『型システム入門』に取り組む提案。論理の意味論・証明体系と型システムの対応関係が分かる。
竹下義晃/takezoux2
Scala歴10年超の開発者が、TypeScriptやPythonで感じる型やパフォーマンス面の物足りなさと、関数型ライブラリでの補い方を語る。
Andrey Kuzmin
Elmでデコーダーパターンを使いOBJ形式の3Dモデルを読み込む手法を解説。Blender製モデルをWebアプリで扱う実例も分かる。
Tomoki Mizogami
Scalaの関数型ライブラリで型安全な業務Webアプリを作る実践例。Refinement TypesやTagless Finalによる設計が分かる。
川頭信之
関数型プログラミングの土台であるラムダ計算を初心者向けに解説。関数型言語の基本的なイメージをつかむ入門になる。
Show
Java、Rust、OCamlなど実在言語の型システムに潜む健全性の穴を概観し、落とし穴の回避と言語理解を深められる。
チェシャ猫
AWSのポリシー言語CedarをLeanで証明しつつRustで実装する手法を解説。定理証明を実サービスに接続する方法が分かる。
- Lispは関数型言語(ではない)スライド
うさみけんた
Emacs Lispの利用経験から、Lisp族のどこが関数型的で、なぜ静的型や参照透過性を持つ関数型言語とは言えないのかが分かる。
kosui
OIDC認証基盤でTypeScriptの代数的データ型により、不正な状態遷移やバリデーション漏れを防ぐ設計と実装事例が分かる。
Hiroki Tokunaga
Coqの Program 機構で、インデックスがリスト長未満という前提を型で表し、option型やデフォルト値なしで要素取得する方法が分かる。
- Kotlinで学ぶ代数的データ型スライド
Kanon
Kotlinを使い、関数型の基礎となる代数的データ型(直積型・直和型)の考え方を初心者向けに解説し、安全な値の表現が分かる。
pizzacat83
F#製の静的サイトジェネレータFornaxでブログを構築した話。F#スクリプトによる自在な生成と、内部の仕組みが分かる。