関数型まつりってどんなイベント？
「関数型まつり」は、関数型プログラミングに興味がある方なら誰でも大歓迎のイベントです。昨年は494名もの参加者が集まり、言語の壁を越えてたくさんの交流や学びが生まれたそう。普段から関数型言語を使っている方はもちろん、「なんだか面白そう！」と少しでも思った方は、ぜひ公式サイトをチェックしてみてくださいね。
イベント公式サイト：https://2026.fp-matsuri.org/
スリーシェイクのエンジニアが語る、型と設計の奥深さ
nwiizoさんのセッション「型は壁、Rustでもバグを直すな、表現できなくせよ」
「バグって、どうして起こるんだろう？」そんな疑問を抱いたことはありませんか？スリーシェイクのエンジニアであるnwiizoさんは、バグが生まれる根本原因は「ありえないはずの状態を型が表現できてしまうこと」にあると語ります。彼のセッションでは、Rustという言語を例に、型を使ってバグを未然に防ぐ具体的な手法を教えてくれます。
nwiizoさんは、インフラエンジニアとしてホスティングサービスの開発・運用に携わり、運用のあり方を深く考えるようになったそうです。技術書の翻訳も手がけるなど、常に学びを深めている方。「わかることが1つ増えるのと引き換えに、わからないことが3つ増えていく」という言葉に、共感する方も多いのではないでしょうか？
Rustの経験がなくても大丈夫！セッションでは登場する言語仕様も丁寧に解説してくれるそうなので、新しい言語に触れるきっかけにもなりそうですね。
-
登壇日時: 7月11日(土)14:00 – 14:50
-
セッション詳細: https://fortee.jp/2026fp-matsuri/proposal/48dabf60-2bcf-47f7-ada0-af638ee6af52
-
X (旧Twitter): https://x.com/nwiizo
芳賀雅樹さんのセッション「2026 年に読む “The Definition of Standard ML” 〜 現代の堅牢なソフトウェア設計の源流として」
もう一人の登壇者は、スリーシェイクの芳賀雅樹さんです。彼は、約30年前に書かれたプログラミング言語の仕様書「The Definition of Standard ML (Revised)」を読み解き、現代のソフトウェア設計に活かせるヒントを見つけるセッションを行います。
芳賀さんは、Webアプリケーションの開発・運用から、現在は開発プロセスのモダナイゼーション支援に従事されています。クラウドネイティブ技術や生成AIにも詳しく、好きな言語はStandard MLというから驚きです。今回の「関数型まつり」では、運営スタッフとしても活躍されているんですよ。
「難解な数式は避け、TypeScriptやRustなどのコードとの対比や図解を交えながら」解説してくれるそうなので、理論と実践の架け橋となる貴重な機会になりそうですね。ソフトウェア設計の奥深さに触れてみたい方は、ぜひ参加してみてください。
-
登壇日時: 7月12日(日)11:30 – 12:20
-
セッション詳細: https://fortee.jp/2026fp-matsuri/proposal/5fe03d91-00cc-476f-bfc3-073c6f44aa91
-
X (旧Twitter): https://x.com/silasolla
イベント概要
-
開催日時:
-
2026年7月11日（土）11:00〜18:30（開場 10:30、懇親会 19:00〜）
-
2026年7月12日（日）10:00〜18:30（開場 09:30）
-
-
会場: 東京都中野区中野4丁目10番2号 中野セントラルパークサウス
-
参加費: 事前申し込みが必要です。こちらからどうぞ！
スリーシェイクについて
株式会社スリーシェイクは、ITインフラ技術に強みを持つテクノロジーカンパニーです。彼らが提供する「Sreake（スリーク）」は、SRE（Site Reliability Engineering）の考え方に基づき、企業の技術導入から開発・運用までをサポートするコンサルティングサービスです。Google Cloud、AWS、Kubernetesなど、最先端の技術を活用して、企業の「インフラ」を整え、SREの内製化を支援しています。
もしあなたが最新の技術に触れたり、エンジニアとしてのスキルアップを目指しているのであれば、スリーシェイクのような会社が提供するサービスや、そこで働くエンジニアのセッションは、きっと大きな刺激になるはずです。
Sreakeサービスサイト：https://sreake.com/
まとめ
関数型プログラミングは、一見とっつきにくいかもしれませんが、その考え方は現代のソフトウェア開発においてますます重要になっています。「関数型まつり2026」は、そんな奥深い世界への第一歩を踏み出す絶好の機会です。
スリーシェイクのエンジニアさんたちのセッションを通して、きっと新しい発見や学びがあるでしょう。ぜひ会場に足を運んで、あなたの知的好奇心を満たしてくださいね！