この記事はゆゆ式 Advent Calendar 2017の20日目の記事です 縁ちゃんの福笑い 縁ちゃんの福笑いを作りました 色々パーツを組み合わせてあなただけの縁ちゃんを作ってみよう！ FAQ 何でSHIROBAKOじゃなくてゆゆ式？ SHIROBAKOも好きですがゆゆ式も大好きなん…

16ページ 群の圏 18ページ モノイドの圏 前順序の圏 19ページ 双対圏 16ページ 群の圏 群も圏になる 整数の群を例として考える 対象： 射： 合成：との足し算（） 恒等射：群における単位元（今回の場合は0）圏の結合法則が満たされるのは群の結合法則から明…

概要 14ページ 定義域と値域 集合の圏が圏であることの証明 線形空間の圏が圏であることの証明 における同型射 における同型射 15ページ 圏論のメリット 概要 最近ベーシック圏論の勉強会をやっています。勉強会の中で学んだことをそのままにしておくのはも…

Atcoderの問題を解いていたら面白いなあと思う問題があったので書いておきます。 問題 AtCoder Beginner Contest 061 問題D 頂点 辺の重み付き有向グラフがあります。 番目の辺は 頂点 から 頂点 を重み で結びます。 このグラフと駒を利用して、次の1人ゲー…

ダイクストラは知ってるけどベルマンフォード法は知らなかったので自分用にまとめておきます。 ベルマンフォード法 目的 重み付きの有向グラフにおいてあるノードからその他のノードへの最短経路を見つける。 重みが負でもOK。 重みが負の場合、負の重みの閉…