何とか morphism

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

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 に任意のペインを表示