#中野 #関数型プログラミング #スリーシェイク

関数型まつり2026：スリーシェイクのエンジニアによる貴重なセッション

2026年7月11日（土）と12日（日）、中野セントラルパークで「関数型まつり2026」が開催されます。株式会社スリーシェイクからは、エンジニアの二人がこのイベントで登壇し、関数型プログラミングに関する先進的な知識を共有します。毎年多くの参加者が集まるこのイベントは、開発者同士の交流の場としても重要です。

関数型まつりについて

昨年の関数型まつりには494名が参加し、48名の登壇者から多彩なセッションが実施されました。参加者は設計や実装の新たな視点を得て、異なるコミュニティ間での知見共有が行われました。普段から関数型プログラミングを実践している人はもちろん、初めて興味を持った方にも最適な場です。また、技術の進化と共に、関数型プログラミングが日常の開発に与える影響はますます拡大しています。

スリーシェイクの登壇者情報

1. インフラエンジニア nwiizo

スリーシェイクのSreake事業部に所属するnwiizoは、インフラエンジニアとしてホスティングサービスの開発・運用に従事し、多くの経験を積んできました。彼のセッションでは
「型は壁、Rustでもバグを直すな、表現できなくせよ」と題し、型でバグを存在できなくする手法について詳しく解説します。特にRustを使用してなぜ型が重要なのかを強調し、具体的な実装方法を示します。

• - 登壇日時: 7月11日(土) 14:00 - 14:50
• - セッション概要: 多くのシステムに潜むデータの矛盾を解決するためのアプローチとなり得る「型」について、実践的な手法を交えて紹介します。型がどうバグを排除できるか、具体的に学べる良い機会です。

2. 開発プロセスモダナイゼーション芳賀雅樹

次に登壇するのは芳賀雅樹氏で、彼は開発プロセスのモダナイゼーションに取り組んでいます。今回のセッションは「2026年に読む “The Definition of Standard ML” 」です。型付き言語の課題解決に向け、現代のエンジニアに役立つ視点を提供します。

• - 登壇日時: 7月12日(日) 11:30 - 12:20
• - セッション概要: 30年前の文献が現代のソフトウェア設計にどのように役立つかを探求し、実用的な解釈を提示します。特に形式的な仕様の重要性や、モジュール設計の背後にある理論的知見を深く掘り下げます。

参加方法

関数型まつりへの参加を希望する方は、事前に申し込みが必要です。詳細は公式サイトで確認してください。このイベントは、関数型プログラミングへの理解を深められる良い機会ですし、最新技術を知る絶好の場でもあります。興味のある方は是非参加してみてください。

終わりに

関数型まつり2026は、エンジニアとしてのスキル向上や知見の拡充に向けた重要な機会です。スリーシェイクの登壇者が提供する内容は、高度な技術を駆使したセッションであり、参加者にはぜひとも新しい学びを得てほしいと思います。期待している方々と共に、素晴らしい時間を過ごせることを楽しみにしています。

関連リンク

サードペディア百科事典: 中野 関数型プログラミング スリーシェイク