Haskell勉強会

関数型プログラミングの学習日記

2020-08-01から1ヶ月間の記事一覧

数学の教育系YouTuber

数学の動画コンテンツについてまとめた記事がありました。 数学系YouTubeコンテンツinfinitytopos.wordpress.com 圏論の動画も紹介されていました。 ●ゆる圏 YouTube チャンネル https://www.youtube.com/channel/UCyhP4s6961ebUp-jPv4yDwg/ 「ベーシック圏…

イラストで学ぶ 離散数学

ラムダ計算などを学ぶために「計算モデルとプログラミング」という本を読んでいたら、集合や論理など数学の基礎知識が必要でした。 集合や論理は「離散数学」という分野の話だったので、離散数学の分かりやすい本を読んでみることにしました。 イラストで分…