テックブランチ: 関数型プログラミング編
飯田橋近くの少人数ブランチ会。関数型プログラミングと圏論、モノイドやファンクター、モナドとそのソフトウェア応用を語ります。
- 日時
- 6月26日(金) · 11:45〜12:45 JST
- 場所
- Beltempo, Hotel Metropolitan Edmont, 3 Chome-10-8 Iidabashi, Chiyoda City · 対面
- 地域
- 関東(東京)
- 主催者
- Guidable
- 言語
- EN
- 出典
- Meetup
概要
TechBrunchが関数型プログラミング編として戻ってきます。飯田橋近くのホテルメトロポリタンエドモント内にあるレストラン Beltempo で、開発者や数学に興味のある人々がリラックスしたブランチを囲みます。このセッションでは、関数型プログラミングと圏論の抽象概念を解きほぐし、ソフトウェアの数学的基盤に美しさを見出す人々を対象としています。
モノイド、ファンクター、アプリカティブ、モナドといった概念を深く掘り下げ、圏論が実際のソフトウェア設計にどう現れるかを議論します。話題は代数、グラフ理論、集合論、トポロジーといった関連分野にも広がります。参加者は Clojure、Haskell、OCaml、Scala の愛好家から、これらの考えを実践に活かす数学者やコンピュータ科学者まで多岐にわたります。
あえて少人数の集まりなので、大規模な集会は期待しないでください。初参加者で RSVP し参加者リストに確定した方は、コミュニティへの歓迎として食事が無料になります。
コミュニティについて
ソフトウェアの数学的基盤を楽しむ人々のための、定期開催の少人数ブランチ会です。リラックスした議論中心の会で、関数型プログラミングの愛好家、数学者、コンピュータ科学者が集まり、食事をしながら圏論とその実用的な応用について語り合います。
#functional-programming#category-theory#haskell#scala#software-engineering#meetup#brunch