Jan
5
世界一やさしい圏論勉強会 #0 (Open β)
~ 数学知識 0 から "米田の補題" の理解を目指して ~
Organizing : Chatwork 株式会社
Registration info |
参加枠 Free
FCFS
|
---|---|
参加者への情報 |
(参加者と発表者のみに公開されます)
|
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://go.chatwork.com/ja/privacy/