関数型まつり
@fp-matsuri.bsky.social
📤 66
📥 1
📝 159
https://2026.fp-matsuri.org
【#関数型まつり 開催まであと5日!】 こんにちは! 開催まであと5日となりました😁 「関数型まつり2026」は、関数型プログラミングという手法の魅力を、初心者から愛好家まで言語の垣根を越えて学び、交流するカンファレンスです 皆様のお越しを是非お待ちしております!
#fp_matsuri
about 5 hours ago
0
1
1
【#関数型まつり 開催まであと7日!】 こんにちは 関数型まつりの開催一週間前となりました~😊 楽しみな関数型まつりは、以下のスポンサー様によって支えられています
2026.fp-matsuri.org/sponsors/
紹介ページをぜひ一読いただければ幸いです 当日をお楽しみに!
#fp_matsuri
loading . . .
スポンサー | 関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org/sponsors/
2 days ago
0
1
1
【協賛企業のご紹介🎉】 株式会社スタンバイ様にシルバースポンサーとしてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
4 days ago
0
0
0
【#関数型まつり 開催まであと10日!】 こんにちは 開催も迫ってきて、あと10日になりました! 今回の関数型まつりでは、Haskell、Scalaを始めとする5つの関数型言語に触れるハンズオンの開催を予定しています ご興味のある方は、続くポストにある事前準備を進めてもらえれば幸いです!
#fp_matsuri
5 days ago
1
2
2
【#関数型まつり 開催まであと15日!】 皆様こんにちは! 関数型まつりまで、あと15日となりました 荷物と心構えは準備したけど、チケットを買ってないという方はいらっしゃらないでしょうか? 以下のページで購入できますので、チケットの準備もお忘れなく!
fp-matsuri.doorkeeper.jp/events/196475
#fp_matsuri
loading . . .
関数型まつり2026
2026-07-11(土)11:00 - 2026-07-12(日)19:00 こちらは、関数型まつり 2026のチケット購入ページです。 詳しい情報は公式サイト(2026.fp-matsuri.org)をご覧ください。 開催日時 Day 1 : 2026年7月11日(土)11:00〜18:30(開場 10:30、懇親会 19:00〜) Day 2: 2026年7月12日(日)10:00〜1...
https://fp-matsuri.doorkeeper.jp/events/196475
10 days ago
0
0
0
【協賛企業のご紹介🎉】 Kamenleon様に応援団としてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
14 days ago
0
0
0
懇親会に参加するためのチケットの申し込みは本日までとなっています📅 参加をご検討の方はお忘れなく! チケットはこちらから
fp-matsuri.doorkeeper.jp/events/196475
#fp_matsuri
loading . . .
関数型まつり2026
2026-07-11(土)11:00 - 2026-07-12(日)19:00 こちらは、関数型まつり 2026のチケット購入ページです。 詳しい情報は公式サイト(2026.fp-matsuri.org)をご覧ください。 開催日時 Day 1 : 2026年7月11日(土)11:00〜18:30(開場 10:30、懇親会 19:00〜) Day 2: 2026年7月12日(日)10:00〜1...
https://fp-matsuri.doorkeeper.jp/events/196475
15 days ago
0
1
0
【協賛企業のご紹介🎉】 Idein株式会社様にシルバースポンサーとしてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
15 days ago
0
0
0
【協賛企業のご紹介🎉】 Sotas株式会社様にゴールドスポンサーとしてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
17 days ago
0
1
0
【協賛企業のご紹介🎉】 株式会社HERP様にゴールドポンサーとしてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
19 days ago
0
1
0
【協賛企業のご紹介🎉】 桑畑英資様に応援団としてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
21 days ago
0
0
0
【協賛企業のご紹介🎉】 Keisuke Ikeda様に応援団としてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
21 days ago
0
1
0
【協賛企業のご紹介🎉】 株式会社スタディスト様にロゴスポンサーとしてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
24 days ago
0
0
0
【協賛企業のご紹介🎉】 合同会社ザウエル様にシルバースポンサーとしてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
25 days ago
0
1
0
【協賛企業のご紹介🎉】 株式会社ネクストビート様にシルバースポンサーとしてご協賛いただきました。 公式サイトへロゴと広告を掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
26 days ago
0
2
0
【協賛企業のご紹介🎉】 エムスリー株式会社様にゴールドスポンサーとしご協賛いただきました。 公式サイトへロゴと広告を掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
about 1 month ago
0
0
0
関数型祭り、当日スタッフ募集中! あなたの力でイベントをさらに盛り上げてください🤝 詳細:
blog.fp-matsuri.org/entry/2026/0...
申込み:
forms.gle/hj3cWSqA7oib...
皆様と一緒にイベントを作れるのを楽しみにしています!
#fp_matsuri
loading . . .
関数型祭り2026 の当日スタッフを募集しています - 関数型まつり運営ブログ
イベントを動かす技術 「関数型まつり」という大きな式を正しく評価し、最高の体験を導き出すために。 当日スタッフとして、イベントの実行を支える力を貸してください! 開催日時 7/11 (土) Day1 08:00〜21:00 7/12 (日) Day2 09:00〜21:00 開催場所 中野セントラルパーク カンファレンス スタッフ業務 当日は、以下の役割をお願いする予定です。 スポンサーチームスポ...
https://blog.fp-matsuri.org/entry/2026/05/31/131337
about 1 month ago
0
0
0
【協賛企業のご紹介🎉】 クラスメソッド株式会社様にシルバースポンサーとしてご協賛いただきました。 公式サイトへロゴと広告を掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
about 1 month ago
0
0
0
スポンサー募集期間延長📣 2026年6月12日(金)までお申込を受け付けます!みなさまのご支援をお待ちしております🙏 お申し込み:
docs.google.com/forms/d/e/1F...
※ただし「ノベルティ配布権」は5/29(金)にて提供を終了いたします
add a skeleton here at some point
about 2 months ago
0
0
0
【協賛のご紹介🎉】 takasehideki様に応援団としてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
about 2 months ago
0
0
0
【協賛企業のご紹介🎉】 ファンズ株式会社様にシルバースポンサーとしてご協賛いただきました。 公式サイトへロゴと広告を掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
about 2 months ago
0
1
2
関数型まつり2026の詳細タイムテーブルを公開しました🎉 7/11(土)、7/12(日)両日の全体進行と全40セッションの配置をぜひご確認ください! スピーカーの皆様には運営事務局よりメールをお送りしていますので、 そちらもご確認お願いします。
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
タイムテーブル | 関数型まつり2026 #fp_matsuri - fortee.jp
https://fortee.jp/2026fp-matsuri/timetable
about 2 months ago
0
3
1
【協賛のご紹介🎉】 kazup0n様に応援団としてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
about 2 months ago
0
2
1
【チケット販売スタート!🎉】 「関数型まつり2026」参加チケット販売開始です! 今回はより柔軟に参加いただけるよう「1日券」をご用意しました。運営継続への挑戦と価格改定への想いもブログに込めています。 ブログ:
blog.fp-matsuri.org/entry/2026/0...
販売ページ:
fp-matsuri.doorkeeper.jp/events/196475
#fp_matsuri
loading . . .
【チケット販売開始】関数型まつり2026の参加登録がスタートしました!! - 関数型まつり運営ブログ
こんにちは、関数型まつり実行委員会kazup0nです。 本日より「関数型まつり2026」参加チケットの販売を開始いたしました! 今年は「より多様な参加スタイル」をサポートするため、1日券や懇親会のみのチケットなど、複数の種別をご用意しています。 開催概要 日時:2026年7月11日(土)・12日(日) 場所:中野セントラルパーク カンファレンス 採択された公募セッションがforteeにて公開されて...
https://blog.fp-matsuri.org/entry/2026/05/03/132149
2 months ago
0
4
6
【協賛のご紹介🎉】 新たに応援団としてご協賛いただきました。 公式サイトへロゴを掲載しております。 - Bytedrift_Limited 様 - Radish 様 - omiend 様 - 山本悠滋 様 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
2 months ago
0
3
1
【協賛企業のご紹介🎉】 合同会社コトイコンサルタンシー様にロゴスポンサーとしてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
2 months ago
0
0
0
🎉 関数型まつり2026 採択セッション一覧を公開しました! 採択結果はこちらからご確認いただけます👇
fortee.jp/2026fp-matsu...
今年もたくさんのご応募をありがとうございました🙌 応募者の皆さまにはご案内メールをお送りしていますので、あわせてご確認ください。
#fp_matsuri
loading . . .
トーク | 関数型まつり2026 #fp_matsuri - fortee.jp
https://fortee.jp/2026fp-matsuri/proposal
3 months ago
0
6
3
【協賛企業のご紹介🎉】 TAKAHASHI Osamu様に応援団としてご協賛いただきました。 公式サイトへロゴを掲載しております。 温かいご支援ありがとうございます!
#fp_matsuri
2026.fp-matsuri.org
loading . . .
関数型まつり2026
関数型まつりは関数型プログラミングをテーマとしたカンファレンスです
https://2026.fp-matsuri.org
3 months ago
0
1
0
関数型まつり2026 にプロポーザルが投稿されました! 「AIが書くコードにどうガードレールを敷くか - 関数型プログラミングの考え方で作る設計」 / 梶川琢馬さん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
AIが書くコードにどうガードレールを敷くか - 関数型プログラミングの考え方で作る設計
# セッションのテーマ - 実践手法 - 導入/活用事例 # 想定する聴衆/前提知識 - 普段PHP/TypeScript/Go/Javaなどで開発しており、関数型プログラミングに興味がある方 # 聴衆が得られるもの AIが生成するコードに対して、型と静的解析でどこまで誤りを早期に検出できるのかの実務的な感覚。副作用分離や型による設計を、AI時代の品質フィードバックの仕組みとして捉える視点。...
https://fortee.jp/2026fp-matsuri/proposal/466ab565-5507-447f-ae6a-733334ac19d0
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「Modular Explicits へのご招待〜OCaml 5.5から使える Modular Explicits の何がおいしいの?〜」 / Haochen Kotoi-Xieさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
Modular Explicits へのご招待〜OCaml 5.5から使える Modular Explicits の何がおいしいの?〜
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 - 実践手法 - 入門解説 # 想定する聴衆/前提知識 例: - OCaml というプログラミング言語に触れたことがある # 聴衆が得られるもの(目安: 100文字以内) OCaml 5.5 で導入される予定の Modular...
https://fortee.jp/2026fp-matsuri/proposal/33229194-f291-4283-be88-f6137c04cc24
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「多段階計算によるコンパイル時テンソル形状検査」 / gfn (Takashi Suwa)さん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
多段階計算によるコンパイル時テンソル形状検査
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 # 想定する聴衆/前提知識 - ML/Haskellの具象構文が読める - 型システムについて基礎的理解がある - 望ましい: 型つけ規則が読める # 聴衆が得られるもの(目安: 100文字以内) - 多段階計算という “...
https://fortee.jp/2026fp-matsuri/proposal/21ea9d66-0220-43b5-92bb-6ce79b18c209
3 months ago
0
1
0
関数型まつり2026 にプロポーザルが投稿されました! 「型推論入門 ― Hindley-Milnerの仕組みと実装の違い」 / こまもかさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
型推論入門 ― Hindley-Milnerの仕組みと実装の違い
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 - 言語処理系 # 想定する聴衆/前提知識 - TypeScriptなどを業務で書いている - 型推論がどのような物なのかは知っているが、どう実装されているかは知らない - Hindley-Milnerという単語を聞いたこと...
https://fortee.jp/2026fp-matsuri/proposal/e065afe0-326a-43ba-b12b-0805ac0cd1a9
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「フロントエンド・バックエンド・アプリをClojureで揃えてみて分かったこと」 / jyamakawaさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
フロントエンド・バックエンド・アプリをClojureで揃えてみて分かったこと
# セッションのテーマ - 言語 - 実践手法 - 導入/活用事例 # 想定する聴衆 / 前提知識 - Webフロントエンド、バックエンド、アプリ開発のいずれかに触れたことがある - 複数層をまたぐ設計や技術選定に関心がある - Clojureの経験は不要 # 聴衆が得られるもの 複数層を同じ技術系統で揃えて開発する実際の感触と、その判断材料を持ち帰れます。 # セッションの概要 本...
https://fortee.jp/2026fp-matsuri/proposal/4bf488b7-32f1-4544-8ea8-50e775133b65
3 months ago
0
0
1
関数型まつり2026 にプロポーザルが投稿されました! 「真にどこでも動く言語OCaml〜クラウドだろうがモバイルだろうがベアメタルだろうが関数型で書きたいんだ〜」 / Haochen Kotoi-Xieさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
真にどこでも動く言語OCaml〜クラウドだろうがモバイルだろうがベアメタルだろうが関数型で書きたいんだ〜
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 実践手法 - 導入/活用事例 - 言語処理系/開発ツール # 想定する聴衆/前提知識 例: - 誰でも # 聴衆が得られるもの(目安: 100文字以内) OCamlという関数型言語が如何に多様なプラットフォームで動作し、プロダクショ...
https://fortee.jp/2026fp-matsuri/proposal/6f148aac-0302-4ca1-989c-636805795dec
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「「弱い」世界から分解する「データ型」の概念」 / Koryさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
「弱い」世界から分解する「データ型」の概念
# セッションのテーマ - 言語 - 理論 # 想定する前提知識 - 「代数的データ型」を使って概念のモデリングをした経験がある - 「関数の停止性/全域性」というアイデアが分かる # 聴衆が得られるもの - 概念をモデリングする言語としての「代数的データ型」に対する、より深い理解 - 「再帰」「余再帰」概念への理解 - 「制限された体系から明らかだと思っていた概念を見つめ直すことで、より鮮や...
https://fortee.jp/2026fp-matsuri/proposal/faa34794-e581-4601-b6e1-5db20312aeec
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「なぜ関数型プログラミングで「型」と「証明」が語られるのか」 / 梶川琢馬さん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
なぜ関数型プログラミングで「型」と「証明」が語られるのか
# セッションのテーマ - 入門解説 # 想定する聴衆/前提知識 - 普段PHP/TypeScript/Go/Javaなどで開発しており、関数型プログラミングに興味がある方 - 型理論や証明がなぜ「関数型」の文脈で語られるのかピンと来ていない方 # 聴衆が得られるもの 副作用の分離や型による設計が、関数型プログラミングの理論とどうつながるのかを入門的に理解できる。関数型プログラミングの「型...
https://fortee.jp/2026fp-matsuri/proposal/fa95a020-5580-4b6b-9464-b12ea940d613
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「Gleamではじめる関数型プログラミング」 / こまもかさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
Gleamではじめる関数型プログラミング
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 実践手法 - 入門解説 # 想定する聴衆/前提知識 - 手続き型プログミングやオブジェクト指向プログミングに触れたことがある - TypeScript等でmap, reduce等の関数を使ったことがあるが、関数型プログラミング言語には...
https://fortee.jp/2026fp-matsuri/proposal/5e0d7fd4-fede-4651-9502-f45700496157
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「代数的エフェクトの高速化技法と発展的な機能」 / りよさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
代数的エフェクトの高速化技法と発展的な機能
# セッションのテーマ - 言語 - 理論 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 - エフェクトプログラミングの発展的な内容に興味のある方 - (特に Haskell や PureScript において)モナドと do 記法を用いたプログラミング、または Koka などのエフェクト系言語に触れたことのある方 - 触れたことのない方のためにも前提の簡単な解説は行います...
https://fortee.jp/2026fp-matsuri/proposal/6d74ce7f-c22b-444d-840f-edd5a88c0631
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用」 / 松浦知也さん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
音楽のための関数型プログラミング言語mimiumにおける多段階計算の活用
# セッションのテーマ - 言語 - 理論 # 想定する聴衆/前提知識 - プログラミング言語やDSLの芸術分野への応用に興味がある - 多段階計算(型安全マクロ)に興味がある - Rustでの現実的な言語開発に興味がある # 聴衆が得られるもの(目安: 100文字以内) ラムダ計算や多段階計算のような言語の理論を、音楽プログラミングという分野における現実の問題解決に接続する実例を提示しま...
https://fortee.jp/2026fp-matsuri/proposal/7327e938-850d-40b3-b6f5-dd3b5447523c
3 months ago
0
1
0
関数型まつり2026 にプロポーザルが投稿されました! 「Haskell/Servantを通してWebミドルウェアを捉え直す」 / ぴざきゃっとさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
Haskell/Servantを通してWebミドルウェアを捉え直す
# セッションのテーマ * 入門解説 * ライブラリ/フレームワーク # 想定する聴衆/前提知識 * Web開発者 * Servant未経験 # 聴衆が得られるもの Webアプリケーションを「API仕様を記述するコンビネータの合成」と捉えるServantの世界観に基づく「ミドルウェア」の再解釈 # セッションの概要 多くのWebフレームワークにおいてミドルウェアは、`(Req → RespWr...
https://fortee.jp/2026fp-matsuri/proposal/a114cef5-c18d-4ad5-ad34-ec7c8b6d5583
3 months ago
0
1
0
関数型まつり2026 にプロポーザルが投稿されました! 「証明駆動競技プログラミング: セグメント木ライブラリの検証」 / 水野 雅之さん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
証明駆動競技プログラミング: セグメント木ライブラリの検証
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 理論 - 導入/活用事例 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 - 関数プログラミング言語に触れた事がある - 競技プログラミングに触れた事がある - 定理証明支援系の知識は前提としません # 聴衆が得られるもの(目安...
https://fortee.jp/2026fp-matsuri/proposal/bbc88a7c-aa62-4909-9c33-f59b98cb54ff
3 months ago
0
0
0
関数型まつり2026 にプロポーザルが投稿されました! 「結局のところ「代数的」って何なの? 〜霧の向こうの代数的エフェクト〜」 / funnycatさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
結局のところ「代数的」って何なの? 〜霧の向こうの代数的エフェクト〜
# セッションのテーマ - 言語 - 理論 # 想定する聴衆/前提知識 【想定する聴衆】 - Kokaなどの言語やライブラリなどを通じて「代数的エフェクト」に興味がある方 - 使い方とかはわかるけど「結局代数的って何なの?」というモヤモヤがあり、その背後にある理論を知りたい方 【前提知識】 - インターフェース、副作用、木構造といった、一般的なプログラミングの基礎概念 - 「モナド」という概念に...
https://fortee.jp/2026fp-matsuri/proposal/68cb9035-4021-4260-8609-f3cd6b6b9569
3 months ago
0
3
1
関数型まつり2026 にプロポーザルが投稿されました! 「なぜ多くの言語はHigher Kinded Typesをサポートしないのか」 / Ryo Matsumotoさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
なぜ多くの言語はHigher Kinded Typesをサポートしないのか
# セッションのテーマ - 言語 - 理論 - 実践手法 # 想定する聴衆/前提知識 - 関数型言語(Scala, Haskell, OCaml、等)に触れたことがある - Generics/ジェネリクスの概念を理解している - 型クラスやトレイトなどの抽象化機構について基本的な知識がある # 聴衆が得られるもの 強力な型システムとシンプルな型システム、それぞれのメリット・デメリットの理解 ...
https://fortee.jp/2026fp-matsuri/proposal/a7a9001c-b880-49ac-b2c5-1a9fedbccc12
3 months ago
0
2
2
関数型まつり2026 にプロポーザルが投稿されました! 「型は値の集合か? 〜プログラミング言語の型の解釈を考える〜」 / ほとけ/Motoki Shakagoriさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
型は値の集合か? 〜プログラミング言語の型の解釈を考える〜
# セッションのテーマ - 言語 - 理論 # 想定する聴衆/前提知識 - TypeScript等で型を活用したプログラミングができる # 聴衆が得られるもの 「型は値の集合」という説明の限界と、型をプログラムに対する制約として捉え直す視点 # セッションの概要 本発表では、「プログラミング言語の型は値の集合である」というしばしば目にする解釈を1つの仮想敵として、型システムについてよりよい直...
https://fortee.jp/2026fp-matsuri/proposal/8dd70b5d-41f8-4072-bb5c-83a70f6bf33b
3 months ago
0
2
2
IO.puts "⚠️ 関数型まつり2026のCfP応募締め切り日です! まだ間に合います🚀🚀" (↑のコードの言語は何でしょう?🧐)
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
プロポーザル | 関数型まつり2026 #fp_matsuri - fortee.jp
https://fortee.jp/2026fp-matsuri/speaker/proposal/cfp
3 months ago
0
0
1
関数型まつり2026 にプロポーザルが投稿されました! 「世界がない物理エンジン」 / Andrey Kuzminさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
世界がない物理エンジン
# セッションのテーマ - 理論 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 - 関数型プログラミングの基礎知識を持っている # 聴衆が得られるもの - 物理を超えて応用できる実践的なFPテクニック - 表現力を犠牲にせず宣言的なAPIを設計する方法 - コンテナを取り除くことでAPIと思考モデルの両方がシンプルになる理由 # セッションの概要 elm-physicsは...
https://fortee.jp/2026fp-matsuri/proposal/fa09ce67-e97a-4c1f-bbf1-0006cdb85ed9
3 months ago
0
3
2
関数型まつり2026 にプロポーザルが投稿されました! 「「Haskell は Rust になれるのか?」2026 Edition 〜線型型や所有権と仲良く〜」 / konnさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
「Haskell は Rust になれるのか?」2026 Edition 〜線型型や所有権と仲良く〜
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 言語 - 理論 - 実践手法 - 入門解説 - ライブラリ/フレームワーク # 想定する聴衆/前提知識 - Haskell または Rust の構文の雰囲気を知っている - 代数的データ型や再帰がわかる - 所有権システムや線型型システムって何...
https://fortee.jp/2026fp-matsuri/proposal/b3a61ceb-8ef1-47ff-9766-511e4d9d1e55
3 months ago
0
4
1
関数型まつり2026 にプロポーザルが投稿されました! 「暗号実装における辛さを関数型によって解決してみよう」 / Quriosityさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
暗号実装における辛さを関数型によって解決してみよう
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 実践手法 - 入門解説 - 導入/活用事例 # 想定する聴衆/前提知識 例: - 誰でも - 暗号の知識(あれば良い) # 聴衆が得られるもの(目安: 100文字以内) 関数型の思想を活用して暗号実装やプロトコル設計の誤用を防ぐ具体的な設計パ...
https://fortee.jp/2026fp-matsuri/proposal/bcfb568b-11bc-43f4-91b0-7218c347df93
3 months ago
0
1
1
関数型まつり2026 にプロポーザルが投稿されました! 「アルゴリズムは何を圧縮しているのか: Haskell から育った「圧縮代数」というメンタルモデル」 / naoyaさん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
アルゴリズムは何を圧縮しているのか: Haskell から育った「圧縮代数」というメンタルモデル
# セッションのテーマ 言語 理論 実践手法 # 想定する聴衆/前提知識 - Haskell のコードや型シグネチャを見て雰囲気が追える - モノイドや fold など、基本的な代数的抽象に軽く親しみがある - 競技プログラミング経験は不要 # 聴衆が得られるもの アルゴリズムを「自由な入力を意味のある代数へ圧縮する操作」として捉える、新しい計算解釈のメンタルモデル # セッションの概...
https://fortee.jp/2026fp-matsuri/proposal/eac488c1-4297-43a2-b62d-317efe1cee7d
3 months ago
0
2
1
関数型まつり2026 にプロポーザルが投稿されました! 「抽象解釈から捉え直す仕様・検証・実装」 / 道下祐樹さん
fortee.jp/2026fp-matsu...
#fp_matsuri
loading . . .
抽象解釈から捉え直す仕様・検証・実装
# セッションのテーマ(該当するものを1つ以上選択してください。該当するものがなければ追加してください。運営側でテーマの分類/タグ付けに利用します) - 理論 - 入門解説 # 想定する聴衆/前提知識 例: - 誰でも - 型システムなどの形式手法に関心がある - 抽象解釈に関心がある # 聴衆が得られるもの(目安: 100文字以内) 抽象解釈の主要概念についての直感的理解。種々のソフトウェア...
https://fortee.jp/2026fp-matsuri/proposal/57d28b85-371f-4cfa-9280-833041aeffa4
3 months ago
0
1
1
Load more
feeds!
log in