圏論 1.1: 動機と哲学 (Category Theory 1.1: Motivation and Philosophy)

関数型プログラミングや圏論の哲学って、どうなっているか気になりませんか？この動画では、それらの概念を深く掘り下げています。特に、CSを学ぶ学生さんが高度な語彙力や複雑な構文をマスターするのにぴったりですよ。合成可能性や現代プログラミングの理論的基盤について、面白い発見があるはずです！