お知らせ 【技術コミュニティ運営者の皆さま】成長し続けるエンジニアを支援する「Forkwell」と「connpass」が連携し、connpass上でイベントを開催する技術コミュニティを2020年3月末まで支援いたします。詳しくはこちら by Forkwell

このエントリーをはてなブックマークに追加

8月

23

平日夜にすごいH本をネタにちょびちょび話す会 36回目

いのちをだいじにしながらすごいH本をネタにいろんな話をする会

Organizing : kamekoopa

Hashtag :#Hちょびよみ
Registration info

参加枠1

Free/Pay at the door

FCFS
6/5

Description

概要

圏論から完全に理解とまでは言わないけれど、せめてプログラミングで使うのに不自由がない程度にはモナドとかファンクターとかその辺理解したいよねって言ったら @cocoatomo さんが「すごいH本でも一緒に読みながら勉強してみますかー」ってなったのですごいH本ちょびちょび読みながら勉強する会です。

  • 人が死なない
  • こわくない
  • ゆるさ
  • やさしさ

そんな感じを目指したい。 隔週火曜日に開催する予定です。(適宜調整する可能性はあります)

内容

とりあえず第一章は飛ばして第二章から順に読んでいきます。 本に書いてあるコードとか適宜実行して試せたほうが分かりやすいと思うので、実行環境とかが用意できる場合は持ってきた方がいいかなーと思っていた時期が僕にもありました。

気がついたらH本をたまに開きながら型談話する会と化していました。

!!! 開催場所が駅の反対側のルノアールに変わっています。ご注意ください !!!

やるところ

今回もアプリカティブヘの旅の続きです。モノイダル~コヒーレンス条件~。

型クラス  圏論
 

 
集合

注意

数学クラスタさんは( @cocoatomo さんとか)はいらっしゃいますが、hæskəlに詳しいクラスタは居ませんので、こわさやタフさを求めていらっしゃってもご希望に添えない可能性があります。 究極、僕のお守りをする会という感じになる可能性すらありますのでご了承ください。あと、本に書いてあることから派生したり書いてないことから派生したりしてすごいH本の内容じゃない事を延々やったりとかしてgdgdになる事が多いです。

その他

品川のルノアールでやります。あまり広くないので定員の5人で席を確保しますが、自力で席が確保できる場合は適当に来て混じってもらって構いません。会計は僕が一括で払うので皆さんは各々が頼んだもの分の金額僕にください。

@cocoatomo さんに聞きたいことリスト

何か思いついたら足していく。

  • 関数の定義(Done)
    • AからBへの関数は、以下の性質を満たすA×Bの部分集合Fである: 全てのa∈Aに対し(a,b)∈Fなるb∈Bが一つだけ存在するとは
  • p26 型変数辺り(Done)
    • ジェネリクスとちょっとだけ似ている->ちょっとだけしか似ていない->結構違いがある?
    • 多相とは、多相的関数とは
  • 自由群
    • なんぞこれ
  • Endo
    • 自己準同型
    • Endoには「内部へ」みたいな意味があるらしい
  • 直和
    • 直積の双対
  • 代数的データ型

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

cocoatomo

cocoatomo published 平日夜にすごいH本をネタにちょびちょび話す会 36回目.

08/02/2016 22:12

平日夜にすごいH本をネタにちょびちょび話す会 36回目 を公開しました!

Ended

2016/08/23(Tue)

20:00
22:00

Registration Period
2016/08/02(Tue) 22:11 〜
2016/08/23(Tue) 22:00

Location

ルノアール 品川高輪口店

東京都港区高輪3-25-22 (カネオビル 1F)

Attendees(5)

master_of_jimbocho

master_of_jimbocho

平日夜にすごいH本をネタにちょびちょび話す会 36回目に参加を申し込みました!

kamekoopa

kamekoopa

ワイワイ

cosmo0920

cosmo0920

平日夜にすごいH本をネタにちょびちょび話す会 36回目に参加を申し込みました!

tektek

tektek

平日夜にすごいH本をネタにちょびちょび話す会 36回目 に参加を申し込みました!

cocoatomo

cocoatomo

平日夜にすごいH本をネタにちょびちょび話す会 36回目 に参加を申し込みました!

Attendees (5)

Waitlist (1)

tsurumau

tsurumau

平日夜にすごいH本をネタにちょびちょび話す会 36回目 に参加を申し込みました!

Waitlist (1)