計算機科学の学習教材作成の試み

(主に動画教材)

16th Oct. 2022 (update)
by Akihiko Koga, 15th Jul. 2022
トップページ
圏論を勉強しよう
束論を勉強しよう

目次

  1. 概要

  2. 圏論の教材(まずはここにいくつか)
  3. 束論(一般の順序集合も含む)の教材(多分ずっと後)
  4. 集合論の教材(散発的に作るかも)
  5. 計算機科学やプログラミングの教材
  6. その他の教材・教材でない動画

  7. 教材作成のメモ(作者用)

概要

最近,Youtube をよく見ていて,動画で教材を作るのも面白いのではないかと,遅まきながら 思い始めました(どんだけ流行にのるのが遅いんだろうね (^_^;)).

教材を,計画的・体系的に作っていくことは,私の性格的に無理なので,気が向いた項目についてお試しに作ってみようかと 思い,作成したものはここにリンクを貼ります.

最初は,Youtube で「公開」という勇気がなかなか起きないので,「限定公開」(URL を知っていれば再生できる)にしておこうと思います.

Youtube を使うのは初めてなので,なかなか使いこなせません.また,アカウントの確認を行わないと 15分を超える長い動画はアップロードできないなど,いろいろ制限もあるみたいです.当面,使い方を学習しながら,短い動画をアップロードしながら,また, どんな動画教材が良いかなども考えながら,やっていこうと思います.

追記: さっき,勢いで,アカウント確認やっちゃいましたので,15分超が可能になりました. 最初のいくつかは 15分以内で切るように努力したので,早口になっているものもあります. 2022.07.15 18:00

一応,Youtube 側のコメントは「可」にしておこうと思いますが,あまり辛辣なコメントは 書かないようにお願いします.結構,気が弱く,心が折れてしまいますから.

また,お試しにやっていることもあり,アップロードした動画は削除するかもしれませんし, 修正したものと置き換えたり,いくつかを纏めることもあると思いますので悪しからず.

下には,動画作成したもの,および,備忘録もかねて,作成しようと思っているもの(要は TO DO LIST)も載せておきます.Youtube にリンクが貼ってあるものができたものです.

2022年7月15日(金)


圏論(まずは,ここにいくつか作成してみる)

圏論に関する教材,主に動画(Youtube)のリストです.

  1. 間に合わせの圏論の基礎概念の導入

    圏論の基礎知識として,圏,関手,自然変換の説明をしています. 圏論の他の動画を見るための基礎知識用です.

    少し長くなったので,2部構成にしました.基本的に,圏論を知らない人や, 学習を始めてすぐの人を対象にしているので,若干くどく, 「これは,大事なことなので N 回言いました」的な動画になっています. 基礎は本当に重要なので,嫌になるくらい繰り返しやったら良いと思います.2022.07.27

  2. (計算機科学用の)圏論を学習するための他分野の基礎知識

    集合論や順序集合,半群・モノイドなど,圏論をやる上で基礎になっていたり,また,圏論の 題材になっているものに関する基礎知識の動画です.

  3. 2022.09.10

  4. 自然変換

    自然変換の定義自身は,上の「間に合わせの圏論の基礎概念の導入」を視聴してください.

  5. 計算機科学の学習者向けの圏論の基礎的概念を説明した動画です. 特に射をオブジェクトとした圏の構築補法について詳しく説明しています.


  6. 圏論の「極限」のポイント

    圏論における「極限」の概念は,学習者にとってなんとなく違和感を感じる概念ではないでしょうか. この一連の動画では,その違和感を解消することを目的とします.

    とは言っても,いきなり,解消フェーズに行くことはできませんので,まずは,型どおりの 定義と例の説明を行った後,学習者が感じるであろう違和感の話とその解消方法を話します.

    こちらは Youtube の動画です. 基礎知識としては,「圏」と「関手」を知っていれば,一応,原理的にはわかるように説明しています.


  7. 米田のレンマ

  8. ガロア接続 (TO DO 発生日 2022.07.17)

    大昔,一般向けに作りかけた説明資料があるので,補充して,しゃべりをつけてみる.


束論(一般の順序集合も含む)の教材(多分ずっと後)


集合論の教材(散発的に作るかも)


計算機科学やプログラミングの教材


その他の教材・教材でない動画

なにか思いついたら.


教材作成のメモ(作者用)

ここは私用のメモです.動画作成のとき,マウスを大きくするなどの TIPS を書いています. Windows 用です.



圏論を勉強しよう
束論を勉強しよう

ホームページトップ(Top of My Homepage)