お知らせ ビープラウド、機械学習・データ分析の問題をオンライン学習サービスPyQにて提供開始

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

2月

7

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

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

主催 : kamekoopa

ハッシュタグ :#Hちょびよみ
募集内容

イベントの説明

参加方法

参加を希望される方は、管理者の誰かにTwittterでメンションを飛ばすなどして参加する旨をお伝え下さい。

概要

圏論から完全に理解とまでは言わないけれど、せめてプログラミングで使うのに不自由がない程度にはモナドとかファンクターとかその辺理解したいよねって言ったら @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には「内部へ」みたいな意味があるらしい
  • 直和
    • 直積の双対
  • 代数的データ型

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

cocoatomo

cocoatomo さんが 平日夜にすごいH本をネタにちょびちょび話す会 45回目 を公開しました。

2017/01/18 01:14

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

終了

2017/02/07(火)

20:00
22:00

募集期間
2017/01/18(水) 01:14 〜
2017/02/07(火) 22:00

会場

ルノアール 品川高輪口店

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

ルノアール 品川高輪口店