BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//connpass.com//Connpass//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-WR-CALDESC:connpass-平日夜にすごいH本をネタにちょびちょ
 び話す会 33回目
X-WR-CALNAME:connpass-平日夜にすごいH本をネタにちょびちょ
 び話す会 33回目
X-WR-TIMEZONE:UTC
BEGIN:VEVENT
SUMMARY:平日夜にすごいH本をネタにちょびちょび話す会 3
 3回目
DTSTART:20160705T110000Z
DTEND:20160705T130000Z
DTSTAMP:20261021T052115Z
CATEGORIES:
CREATED:20160621T132638Z
DESCRIPTION:## 概要\n\n圏論から完全に理解とまでは言わな
 いけれど、せめてプログラミングで使うのに不自由が
 ない程度にはモナドとかファンクターとかその辺理解
 したいよねって言ったら\n@cocoatomo さんが「すごいH本で
 も一緒に読みながら勉強してみますかー」ってなった
 のですごいH本ちょびちょび読みながら勉強する会です
 。\n\n  * 人が死なない\n  * こわくない\n  * ゆるさ\n  * や
 さしさ\n\nそんな感じを目指したい。 隔週火曜日に開催
 する予定です。(適宜調整する可能性はあります)\n\n## 
 内容\n\nとりあえず第一章は飛ばして第二章から順に読
 んでいきます。\n本に書いてあるコードとか適宜実行し
 て試せたほうが分かりやすいと思うので、実行環境と
 かが用意できる場合は持ってきた方がいいかなーと思
 っていた時期が僕にもありました。\n\n気がついたらH本
 をたまに開きながら型談話する会と化していました。\n
 \n!!! 開催場所が駅の反対側のルノアールに変わってい
 ます。ご注意ください !!!\n\n### やるところ\n\n今回もア
 プリカティブヘの旅の続きです。モノイダル～コヒー
 レンス条件～。\n\n    \n    \n    型クラス ← 圏論\n     ↑
 \n    型\n     ↑\n    集合\n    \n\n## 注意\n\n数学クラスタ
 さんは( @cocoatomo\nさんとか)はいらっしゃいますが、Haske
 ll詳しいクラスタは居ませんので、こわさやタフさを求
 めていらっしゃってもご希望に添えない可能性があり
 ます。\n究極、僕のお守りをする会という感じになる可
 能性すらありますのでご了承ください。あと、本に書
 いてあることから派生したり書いてないことから派生
 したりしてすごいH本の内容じゃない事を延々やったり
 とかしてｇｄｇｄになる事が多いです。\n\n## その他\n\n
 品川のルノアールでやります。あまり広くないので定
 員の5人で席を確保しますが、自力で席が確保できる場
 合は適当に来て混じってもらって構いません。会計は
 僕が一括で払うので皆さんは各々が頼んだもの分の金
 額僕にください。\n\n## @cocoatomo さんに聞きたいことリ
 スト\n\n何か思いついたら足していく。\n\n  * `関数`の定
 義(Done)\n    * `AからBへの関数は、以下の性質を満たすA×
 Bの部分集合Fである: 全てのa∈Aに対し(a\,b)∈Fなるb∈B
 が一つだけ存在する`とは\n  * p26 型変数辺り(Done)\n    * 
 ジェネリクスとちょっとだけ似ている->ちょっとだけし
 か似ていない->結構違いがある？\n    * 多相とは、多相
 的関数とは\n  * 自由群\n    * なんぞこれ\n  * Endo\n    * 自
 己準同型\n    * Endoには「内部へ」みたいな意味がある
 らしい\n  * 直和\n    * 直積の双対\n  * 代数的データ型\n\
 nhttps://hchobi.connpass.com/event/34529/
LOCATION:東京都港区高輪3-25-22 (カネオビル 1Ｆ) (ルノアー
 ル 品川高輪口店 )
URL:https://hchobi.connpass.com/event/34529/
END:VEVENT
END:VCALENDAR