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

Haskellを習得するコツが提案されていました。 １．純粋な関数と値 ２．パターンマッチング ３．直和型と直積型 ４．副作用を作るためにIOをつなぐ方法 williamyaoh.com Haskellを習得するために、最初は難しいことを学ばなくても大丈夫、とのこと。 In part…

LaTeXで圏論の可換図式を描くとき、TikZというツールがよく使われているようですが、他にも選択肢として「Ipe」というツールもあるそうです。 ja.wikipedia.org IpeはフリーのドローソフトでPDFおよびEPS形式の図形を作成できる。グラフィクス処理ライブラリ…

素朴な疑問として、本やネットの記事にある圏論の図はどうやって描いているのだろう？と思いました。 検索したら、LaTeXで可換図式を書くツールが提供されているみたいです。 世の中には、こういう便利なものがあるんですね！ www.google.com ywatanabevltma…

Haskellの勉強をするついでに、圏論の勉強もちょこっとやっています。 分かりやすそうな圏論の本がありました。 「圏論の道案内」という本です。 圏論の道案内 ~矢印でえがく数学の世界~ (数学への招待シリーズ) 作者: 西郷甲矢人,能美十三 出版社/メーカー:…

YouTubeでモナド（圏論）の動画を見ていたら、興味深い説明がありました。 www.youtube.com 上記動画のスライド speakerdeck.com 動画だと5分35秒あたり、スライドだと19ページ目に、モナドの使いどころの説明がありました。 ダイクストラの構造化プログラミ…

モナドの説明図で分かりやすい図がありました。（メモ） 後で深掘りしてみたいと思います。 www.cs-study.com １．モナド (Monads) モナドは，関数型言語で副作用を閉じ込めるのに使われているという触れ込みなどでプログラマの関心を集めています． ここで…

Haskellの本を読みつつ、興味が湧いたのでLispの本も読んでいました。 型の話抜きで、関数型プログラミングの基礎を学ぶ場合、Lispもあり？ Lispは関数型言語の先祖であり、マクロという便利な道具もあるので、今でも学ぶ価値はあると思います。 haskell.hat…