世界一やさしい圏論勉強会 #0 (Open β)

新機能イベントの「参加者への情報」欄に Markdown をご利用いただけるようになりました。詳しくはこちらをご確認ください

Jan

5
世界一やさしい圏論勉強会 #0 (Open β)
～数学知識 0 から "米田の補題" の理解を目指して～

Organizing : Chatwork 株式会社

Registration info	参加枠 Free FCFS 79/70
参加者への情報	(参加者と発表者のみに公開されます)

Description

"世界一やさしい圏論勉強会" とは？ 🤔

追記1：ご好評につき、増枠しました！
追記2：ご好評につき、さらに増枠しました！

コンセプトは「😐 < ちょっと何言ってるか分からないっす」が気軽に言える学びの場

「圏論を勉強したいけど、まるで何もわからん 😇」という方にこそオススメです！
授業ではなく、私が知っていることを、対話を通じて掘り下げていきたいです 🙏
わからなくていいんです、じっくりわかるまで掘り下げちゃいましょう 🙌

■ 当面の目標

Scala 初心者が米田の補題を Scala で考えてみたを、1p ずつ読み解いていく
読み終わったら、Scala 関数型デザイン & プログラミングとかの圏論的解釈を見ていくなど 📚 (予定)

■ 必要となる事前知識

静的型付けプログラミング言語に関する経験
(Nice to Have) Scala に関する経験

日時・場所

日時：2021/01/05 (火) 21:00 〜 22:00
場所：オンライン開催 (Zoom Meeting)

当日の参加方法に関して

当日はオンラインでの開催となりますので、"参加者への情報" に記載の URL から、Zoom Meeting へご入室ください。

登壇者プロフィール

高瀬和之 (Kazuyuki TAKASE)

Twitter: @Guvalif

2019年に Chatwork 株式会社へフロントエンド・エンジニアとしてジョインし、現在はエンジニア採用広報としてインターンシップ・プログラムや勉強会運営を行っている。

個人でも、技術と教育をつなげることに興味があり、大人から子どもまで、技術を広める活動に従事している。

主催団体

Chatwork 株式会社

働くをもっと楽しく、創造的に

https://recruit.chatwork.com/

会議、電話、メール、訪問。誰もが当たり前と思っていたコミュニケーションを見直せば、より楽しく創造的な働き方にできる。社会が必要としていることを自分の得意分野で実現し、報酬が得られるような働き方をもっと増やしていきたい。私たちが目指す世界のビジョン「すべての人に、一歩先の働き方を」実現するために、チャレンジし続けています。