（投稿祭に参加していない動画は）初投稿です。

前半の10数分が事前知識の説明部分になってます。
（メインの内容が動画の半分無いってどういうことですかね）

投稿者本人は専門家ではないので説明不足な点や誤り等があればコメントでやさしく指摘や訂正、補足等してもらえると泣いて喜びます。

対象は以下のような人です。そういう人に伝わることを願ってます。
- Haskellと数学の関係に興味がある人
- 数学の抽象的な概念の実用例に興味がある人

最低限高校数学がわかれば問題無いと思います。
群論等を知っていたり、少しでもプログラミングをしたことがあるとわかりやすいかと。

前回の動画からオネちゃんの立ち絵を変更しました。
自分の中でオネちゃんは大学生のつもりでいたのに制服立ち絵を選ぶというよくわからないことをしていたので…

前編: ここ
後編: 10月中には…ちょっと忙しいのでしばらくかかります。どうにか今年中には…

■ 使用音声
すずきつづみ［CeVIO AI］
OИE［CeVIO AI］
小春六花［CeVIO AI］

■ お借りした素材
立ち絵: めじろーす 様、akihiyo 様、ふるすろっとる！ 様、戌田ハチ 様
BGM: DOVA-SYNDROME 様

その他お借りした素材等は上記に記載した物も含めコンテンツツリーに登録させていただきます。

■ 追記（2022-09-20）
コメントにて指摘して頂きましたが、動画内19:07あたりから表示しているプログラムの定義に誤りがありました。
投稿者コメントにて修正しました。
指摘してくださった方、ありがとうございました。

■ 追記（2022-09-22）
めじろーす 様、二人は幸せな接吻をして終了 様、rank 様、壁檸檬 様 広告ありがとうございます！