何とか morphism
19/12/07
代数的コンパクト性の十分条件
19/11/29
質料射と形相射
19/11/28
下方射と上方射の Haskell 実装
19/11/23
始代数の余極限による構成
19/11/16
代数と余代数と何とか morphism
レンズの圏論的考察
22/01/03
オプティックとモナド代数
21/10/12
レンズからオプティックへ
21/10/10
レンズの圏論的考察 (その 3)
21/10/09
レンズの圏論的考察 (その 2)
21/07/07
レンズの圏論的考察
Haskell
19/04/29
lens の仕組みを理解したい (その 2)
19/04/25
lens の仕組みを理解したい
19/03/11
Monad と Applicative の違い19/03/11
Monad と ArrowApply の同値性19/03/11
Category と Arrow19/03/08
モナドについて
19/03/07
Haskell との出会いとか
guard とか競技プログラミング
18/07/07
セグメント木
18/05/23
ABC073-D: 順列の全探索
18/05/04
ARC097-D: Union-Find 木
18/04/28
AGC023-C: 階乗の逆元
18/03/13
ARC091-F: グランディ数
18/03/04
ABC089-D: 累積和
18/02/24
AGC021-B: ギフト包装法