何とか morphism

代数的コンパクト性の十分条件
質料射と形相射
下方射と上方射の Haskell 実装
始代数の余極限による構成
代数と余代数と何とか morphism

レンズの圏論的考察

オプティックとモナド代数
レンズからオプティックへ
レンズの圏論的考察 (その 3)
レンズの圏論的考察 (その 2)
レンズの圏論的考察

Haskell

lens の仕組みを理解したい (その 2)
lens の仕組みを理解したい
MonadApplicative の違い
MonadArrowApply の同値性
CategoryArrow
モナドについて
Haskell との出会いとか guard とか

競技プログラミング

セグメント木
ABC073-D: 順列の全探索
ARC097-D: Union-Find 木
AGC023-C: 階乗の逆元
ARC091-F: グランディ数
ABC089-D: 累積和
AGC021-B: ギフト包装法

一般

Ruby での文字列のインデックスによる文字参照
院生室に置いてあったパズルを解いた話
ZpDIC の akrantiain 実装について
Groovy のループ速度比較
Groovy の AST 変換
Java の正規表現オプション
TableView に任意のペインを表示