数学の視点でプログラムを見たら　〜モノイドと準同型編〜 by ta_ka_tsu

数学の「代数学」と呼ばれる分野には「群」「環」「体」など、演算の性質に共通する性質を抽象化して考える枠組みが多くあります。
抽象化！まさにプログラマーが追い求めるものではありませんか！

本トークではその中でも「モノイド」および「準同型」という比較的シンプルな概念の紹介をします。
この視点で見てみるとプログラムの中にも同様の構造を持つものが数多く存在することがわかります。

この「モノイド」と「準同型」がどのようなものかについて、主にコードを例に挙げながら説明し、
・なぜ空配列をallSatisfyに渡すとtrueが返るのか？
・なぜCGRectにはCGRect.nullやCGRect.infiniteが存在するのか？
などのトピックについても触れたいと思います。

本セッションを聴くにあたり、数学の前提知識は必要ありません。
ぜひ一度、少し違った視点からプログラムを見てみませんか？