関手とは?たとえば [ ] リスト — プログラマ向け圏論入門 3

圏論における「関手」を数学、プログラミングの両側面から話しました。 00:00 関手 05:27 Functorという言葉の歴史 06:13 数学的な説明 25:17 プログラミングの関手 44:03 HaskellのFunctor(関手) 49:51 感想 53:18 次回について #圏論 #関手 #プログラミング #プログラマ 前回 →    • プログラミング世界に見る圏 — プログラマ向け圏論入門 2   前々回 →    • 圏とは?プログラマに人気と噂の圏について話します。 プログラマ向け圏論入門 1   🦜 X フォローお願いします! ムー https://x.com/moo_is_gone zaru https://x.com/zaru 👨‍💻 ムーザルについて ムーザルは、ムーとzaru(ざる)の現役プログラマな二人のコンビです。 技術や物作りが好きで、楽しんで開発ができるような動画を投稿しています。 チャンネル登録やグッドボタンで応援してくれると嬉しいです。 「この技術の解説動画が見たい!」などのリクエストコメントもお待ちしております!

圏とは?プログラマに人気と噂の圏について話します。 プログラマ向け圏論入門 1
▶︎

圏とは?プログラマに人気と噂の圏について話します。 プログラマ向け圏論入門 1

#46 Next.jsでもRailsでもない第3の道, Cloudflareにデプロイしたい, 上司に提案しても却下される, AI時代に言語の学習するか否か, チーム開発のAI
▶︎

#46 Next.jsでもRailsでもない第3の道, Cloudflareにデプロイしたい, 上司に提案しても却下される, AI時代に言語の学習するか否か, チーム開発のAI

微分積分I 260604
▶︎

微分積分I 260604

【ほぼハンバーグで数学「圏論」を語ります】数学者・加藤文元/関係性に注目し必要な物事を浮かび上がらせる/「部署と社長の間に調整役が必要だ」/マスターしたらカルボナーラの作り方を数式で描ける【1on1】
▶︎

【ほぼハンバーグで数学「圏論」を語ります】数学者・加藤文元/関係性に注目し必要な物事を浮かび上がらせる/「部署と社長の間に調整役が必要だ」/マスターしたらカルボナーラの作り方を数式で描ける【1on1】

An Ethicist Speaks Out Against "Casual Philosophy"
▶︎

An Ethicist Speaks Out Against "Casual Philosophy"

プログラミング世界に見る圏 — プログラマ向け圏論入門 2
▶︎

プログラミング世界に見る圏 — プログラマ向け圏論入門 2

#44 AIコーディングでプランモードはもう使わない grill-meで曖昧さを排除しよう, いつできる?に答える方法 見積もりの難しさ, 胃を傷めないフィードバック方法, 圏論動画振り返り
▶︎

#44 AIコーディングでプランモードはもう使わない grill-meで曖昧さを排除しよう, いつできる?に答える方法 見積もりの難しさ, 胃を傷めないフィードバック方法, 圏論動画振り返り

まず数学コントって何だよ【10^4人登録記念】
▶︎

まず数学コントって何だよ【10^4人登録記念】

なぜ日本人は英語が聞き取れないのかワシが解説したる!
▶︎

なぜ日本人は英語が聞き取れないのかワシが解説したる!

この動画が問題になったら非公開にします。
▶︎

この動画が問題になったら非公開にします。

real numbers that cannot be written without i
▶︎

real numbers that cannot be written without i

海外「日本のゲームキャラ、美形でうらやましい」エースコンバット8のターシャとfableのキャラの違いに海外ニキ絶望/ペルソナ6突如発表、完全版はどうなる/学者「高齢者向けゲーム作るべき」←やめとけ
▶︎

海外「日本のゲームキャラ、美形でうらやましい」エースコンバット8のターシャとfableのキャラの違いに海外ニキ絶望/ペルソナ6突如発表、完全版はどうなる/学者「高齢者向けゲーム作るべき」←やめとけ

なぜ"主食の違い"によって 国家の運命も国民の性格まで決まるのか【ゆっくり解説】
▶︎

なぜ"主食の違い"によって 国家の運命も国民の性格まで決まるのか【ゆっくり解説】

The "TPU" developed by Google has some very unorthodox features...
▶︎

The "TPU" developed by Google has some very unorthodox features...

One second to find the BILLIONth PRIME
▶︎

One second to find the BILLIONth PRIME

リーマン多様体とその極限 (JAPANESE) 本多 正平
▶︎

リーマン多様体とその極限 (JAPANESE) 本多 正平

【衝撃】日本人が使いがちな英語、米英で失礼度が全然違いすぎた30選!
▶︎

【衝撃】日本人が使いがちな英語、米英で失礼度が全然違いすぎた30選!

Die Zombie-Simulation, die niemand erklären kann
▶︎

Die Zombie-Simulation, die niemand erklären kann

ニュートン法と美しきフラクタルの世界
▶︎

ニュートン法と美しきフラクタルの世界

Mathe-News 🚨 KI löst das Erdős-Einheitsabstand-Problem!
▶︎

Mathe-News 🚨 KI löst das Erdős-Einheitsabstand-Problem!